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.
Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.
The Theory Group at KTH Royal Institute of Technology is looking for one postdoc and one PhD student in SAT solving.