The two open positions are within the new MSCA PhD program LogiCS@TUWien, are for 4 years each, and come with an attractive full-time salary and traveling allowance.
Successful applicants will work under the supervision of Prof. Stefan Szeider on one of the research topics:
* Computer Search in Discrete Mathematics
* Formal Methods in Computational Social Choice
* SAT-Based Methods for Explainable AI
* Speeding up Algorithms with Machine Learning
See http://www.vcla.at/msca/topics/(projects 10-13) for details on these topics.
Interested applicants can find instructions on how to apply at
http://www.vcla.at/msca/apply/
The application deadline is December 30, 2021.
Informal inquiries are welcome and should be directed to Stefan Szeider <sz@ac.tuwien.ac.at>.
--
Stefan Szeider, professor
https://www.ac.tuwien.ac.at/people/szeider/
Technische Universität Wien
Vienna, Austria
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
