Within our new Marie Skłodowska-Curie Ph.D. program, there is an opening for a fully-funded Ph.D. position on
SAT-based Methods for explainable AI The position is for four years and comes with an attractive salary and traveling allowance. See http://www.vcla.at/msca/topics/ (project 12) for details on the research topic. In particular, we seek applicants who have completed are about to complete their Master’s degree in Mathematics, Computer Science, or in a related field, and have programming skills. Background in machine learning or SAT solving is of advantage. Interested applicants can find instructions on how to apply at http://www.vcla.at/msca/apply/ The application deadline is December 30, 2021 (strict!) Informal inquiries are welcome and should be directed to Stefan Szeider <s...@ac.tuwien.ac.at> -- Stefan Szeider, professor https://www.ac.tuwien.ac.at/people/szeider/ Technische Universitaet Wien Vienna, Austria _______________________________________________ uai mailing list uai@engr.orst.edu https://it.engineering.oregonstate.edu/mailman/listinfo/uai