We seek a postdoc to work with us on one of the following topics:
(1) using SAT-solving techniques to solve combinatorial problems, and
(2) speeding up SAT solving (or related problems) with ML techniques.
The research-only position is for up to 2 years.
Applications can be made until October 23, 2024, using the following link
https://form.jotform.com/szeider/satpostdoc
Informal inquiries are welcome.
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
