Join SATLab & Research Opportunities

SATLab welcomes motivated undergraduate (K69-K71), Master’s, and PhD students seeking research mentorship, thesis topics, and international publication co-authorship.

Open Thesis & Research Topics

ROLLING ADMISSION BS / MS / PHD

1. SAT & Pseudo-Boolean Encodings

Designing novel cardinality (AMO/AMK/ALK) and Pseudo-Boolean encodings for hard constraint satisfaction problems.

Apply via Email ↗

ROLLING ADMISSION BS / MS / PHD

2. Railway Rescheduling & MaxSAT-DDD

Building real-time train rescheduling algorithms combining MaxSAT and Dynamic Decoupled Domain (DDD) reasoning.

Apply via Email ↗

ROLLING ADMISSION BS / MS / PHD

3. 2D Packing & Industrial Line Balancing

Developing exact decision solvers for 2D Strip Packing, 2D Bin Packing, Cutting Stock, and Power Peak Line Balancing.

Apply via Email ↗

How to Apply

Explore our Research Domains and catalog of Publications.
Prepare a brief academic CV, transcript, and a short statement of research interest.
Send your application email to Dr. To Van Khanh at khanhtv@vnu.edu.vn or visit Room 404, E3 Building, UET-VNU.