Post-Doctoral Position in the area of SAT/CP/AI

One post-doctoral research fellow position in the area of SAT/CP/AI is available at the School of Computing (, National University of Singapore, Singapore.

The research will be primarily in the broad areas of SAT and CP with relevance to Artificial Intelligence. Some areas of focus include sampling and discrete integration techniques, optimization techniques, modelling, and machine learning for CP/SAT. The positions will be for 1 year with appointment date in 2019 but a longer period may be possible.

Job requirements:
1. A PhD in CS or related disciplines such as ECE, Mathematics, and OR.
2. Research experience in implementing solvers, modelling problems and applying SAT/CP techniques.

Jointly supervised by Kuldeep S. Meel and Roland Yap.

How to apply:
Interested candidates should send their resume and statement about their research to Kuldeep Meel ( or Roland Yap ( Please also include a plan of research. While there is flexibility in research direction, please also take into account the areas of focus listed above.