Associate professorship in computer science (including SAT solving) at KTH Royal Institute of Technology

The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for a tenured associate professorship in computer science with a broad profile, covering all research areas currently represented at the school (thus including 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 computational complexity theory, SAT solving, 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 application deadline is February 17, 2017. See < jobb/what:job/jobID:96024/where:4/> for the full announcement with more information and instructions how to apply. Informal enquiries about this position (and possibly about how to navigate the application procedure at KTH) are welcome and may be sent to Jakob Nordstrom at

Jakob Nordström, Associate Professor

KTH Royal Institute of Technology

Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell)