Two post-doctoral research fellow positions in the area of SAT/CP/AI are
available at the School of Computing (http://www.comp.nus.edu.sg),
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,
modeling, and machine learning for CP/SAT. The positions will be for one
year from 2018/19 but a more extended period may be possible.
Job requirements:
1. A Ph.D. in Computer Science (preferably related to SAT/CP).
2. Preferably research experience in implementing solvers, modeling
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 (m...@comp.nus.edu.sg) or Roland Yap
(r...@comp.nus.edu.sg). 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.
_______________________________________________
uai mailing list
uai@ENGR.ORST.EDU
https://secure.engr.oregonstate.edu/mailman/listinfo/uai