Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by September 29, 2018.
The Theory Group at KTH Royal Institute of Technology is looking for one postdoc and one PhD student in SAT solving.
The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.
The Constraint Reasoning and Optimization group, led by Dr. Matti Jarvisalo at the University of Helsinki, Finland, is looking for one or more talented and highly motivated postdoctoral researchers to work with us.