Cơ hội tham gia & đề tài nghiên cứu

SATLab liên tục nhận sinh viên đại học (K69-K71), thạc sĩ và nghiên cứu sinh đam mê lĩnh vực lý giải tự động, biểu diễn SAT, toán rời rạc và thuật toán tối ưu.

Các đề tài mở & vị trí nghiên cứu

NHẬN HỒ SƠ LIÊN TỤC ĐẠI HỌC / THẠC SĨ / NCS

1. Phép mã hóa SAT & Pseudo-Boolean

Thiết kế phép mã hóa đếm Cardinality (AMO/AMK/ALK) và Pseudo-Boolean mới cho các bài toán thỏa mãn ràng buộc khó.

Ứng tuyển qua Email ↗

NHẬN HỒ SƠ LIÊN TỤC ĐẠI HỌC / THẠC SĨ / NCS

2. Lập lại lịch tàu hỏa bằng MaxSAT-DDD

Phát triển thuật toán lập lại biểu đồ chạy tàu thời gian thực kết hợp MaxSAT và suy luận Dynamic Decoupled Domain (DDD).

Ứng tuyển qua Email ↗

NHẬN HỒ SƠ LIÊN TỤC ĐẠI HỌC / THẠC SĨ / NCS

3. Đóng gói 2D & tối ưu dây chuyền sản xuất

Xây dựng bộ giải chính xác cho bài toán đóng gói dải 2D, Bin Packing, cắt cuộn và tối ưu công suất tiêu thụ trong cân bằng dây chuyền.

Ứng tuyển qua Email ↗

Quy trình ứng tuyển

Tìm hiểu về các Hướng nghiên cứu và danh mục Công bố khoa học của nhóm.
Chuẩn bị CV cá nhân, bảng điểm học tập và mô tả ngắn gọn về hướng nghiên cứu quan tâm.
Gửi hồ sơ về email của TS. Tô Văn Khánh: khanhtv@vnu.edu.vn hoặc trao đổi trực tiếp tại Phòng 404, Nhà E3, UET-VNU.