Wednesday, December 16, 2015

Postdoc positions in SAT solving at KTH Royal Institute of Technology

The Theory Group at KTH Royal Institute of Technology invites applications for postdoctoral positions in SAT solving.


KTH is the leading technical university in Sweden. The Theory Group at KTH ( offers a strong research environment covering a wide range of research topics such as complexity theory and approximation algorithms, computer and network security, cryptography, formal methods and natural language processing. The group has a consistent track record of publishing in the leading theoretical computer science conferences and journals worldwide, and the research conducted here has attracted numerous international awards and grants in recent years.


The postdoctoral researchers will be working in the research group of Jakob Nordstrom ( Much of the activities of this research group revolve around the themes of proof complexity and SAT solving. On the practical side, some interesting problems are to gain a better understanding of the performance of current state-of-the-art SAT solvers — in particular, solvers using conflict-driven clause learning (CDCL) — and to explore techniques that would go beyond CDCL, such as approaches based on algebraic or geometric reasoning.


These are full-time employed positions for one year with a possible one-year extension. The expected start date is August-September 2016, although this is to some extent negotiable.


The application deadline is January 24, 2016. More information and instructions how to apply can be found at . Informal enquiries are welcome and may be sent to Jakob Nordstrom.