Within the new Cluster of Excellence "Bilateral AI" (https://www.bilateral-ai.net/), we seek to fill a 4-year PhD position.
The successful candidate will work on integrating symbolic computational reasoning techniques (such as SAT, MaxSAT, #SAT, QBF, and CP) with cutting-edge machine learning approaches, including generative methods like transformer models and predictive techniques like reinforcement learning. The goal is to develop algorithms that surpass traditional methods in efficiency. The ideal candidate has a strong background in both areas (symbolic and subsymbolic techniques). However, we will also consider candidates with a strong background in one area who are willing to gain expertise in the other. Excellent programming skills in languages such as Python and the ability to design efficient algorithms are required.
Detailed information on the position and on how to apply can be found here:
https://www.vcla.at/2024/08/open-positions-cluster-of-excellence/#szeider
Informal inquiries about the position are welcome and should be sent directly to Stefan Szeider.
Best regards,
Stefan Szeider
-----
Stefan Szeider, Professor
TU Wien, Vienna, Austria
Algorithms and Complexity Group
https://www.ac.tuwien.ac.at/people/szeider/
**********************************************************
*
* 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
