[Job-offers-cs] Postdoc position in SAT solving at TU Wien, Vienna, Austria

[Pekka Orponen]

Dear Colleagues,


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/