Khoa Công nghệ Thông tin của Đại học Uppsala tuyển một nghiên cứu sinh tiến sĩ về kiểm chứng hình thức và kỹ thuật ngôn ngữ lập trình áp dụng cho hệ lượng tử, bắt đầu từ ngày 15/1/2027 hoặc theo thỏa thuận.
Công việc
- Đề tài nhằm kiểm chứng độ tin cậy của chương trình lượng tử ở quy mô lớn, kể cả các kiến trúc lai lượng tử và cổ điển có sửa lỗi lượng tử, bằng cách kết hợp kiểm chứng cổ điển, lý thuyết ngôn ngữ lập trình và kỹ thuật tính toán số phức.
- Dành phần lớn thời gian cho đào tạo tiến sĩ; công việc giảng dạy và hành chính của khoa tối đa 20%.
- Nhóm nghiên cứu mạnh về kiểm chứng và ngôn ngữ lập trình, công bố tại các hội nghị như POPL, PLDI, ICALP và CAV.
Yêu cầu
- Bằng thạc sĩ khoa học máy tính, toán hoặc ngành gần; hoặc tối thiểu 240 tín chỉ đại học trong đó có 60 tín chỉ bậc thạc sĩ và một đồ án độc lập từ 15 tín chỉ; hoặc kiến thức tương đương.
- Nền tảng toán học, kỹ năng giải quyết vấn đề tốt, động lực bền bỉ với bài toán khó, quan tâm đến lập trình.
- Tiếng Anh nói và viết đủ tốt; làm việc được độc lập và theo nhóm.
- Được cộng điểm: phương pháp hình thức, ngữ nghĩa ngôn ngữ lập trình, logic, lý thuyết automata, chứng minh định lý tự động, tính toán lượng tử.
- Hồ sơ gồm thư trình bày (tối đa 2 trang), CV, bằng và bảng điểm (dịch sang tiếng Anh hoặc tiếng Thụy Điển), luận văn thạc sĩ và các công bố. Trang tin ghi vị trí có thể phải qua kiểm tra an ninh.
Về đơn vị
Khoa Công nghệ Thông tin là khoa lớn thứ ba của Đại học Uppsala, khoảng 350 nhân viên và 120 nghiên cứu sinh. Nhóm kiểm chứng của khoa phát triển các công cụ như UPPAAL, Concuerror và Nidhugg.
Lương và hạn nộp
- Hợp đồng có thời hạn, toàn thời gian (100%), làm việc tại Uppsala. Trang tin ghi lương cố định, không nêu số tiền.
- Hạn nộp: 15/11/2026, mã tham chiếu UFV-PA 2026/2571. Nộp qua hệ thống tuyển dụng của Đại học Uppsala.
Nguồn: Department of Information Technology, Uppsala University, tin “PhD student focusing on Scalable Quantum Program Verification”, đọc ngày 25/10/2026. Tóm tắt do AVIDE biên soạn; nội dung đầy đủ và cập nhật xem tại trang gốc.