News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Postdoc positions in SAT solving at KTH Royal Institute of Technology, Stockholm (Sweden)

Deadline: Sunday 15 January 2017

The TCS Group at KTH Royal Institute of Technology invites applications for a postdoc position in computer science focused on SAT solving.

The postdoctoral researcher will be working in the research group of Jakob Nordstrom. Much of the activities of this research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers --- in particular, solvers using conflict-driven clause learning (CDCL). We are even more interested in exploring new techniques that hold out the theoretical possibility of exponential improvements over CDCL, but seem hard to implement efficiently in practice, e.g., algebraic methods such as Groebner bases or geometric methods such as pseudo-Boolean solving.

This postdoc position is a full-time employed position for one year with a possible one-year extension. The expected starting date is in August-September 2017, although this is to some extent negotiable.

For more information, see http://www.csc.kth.se/~jakobn/openings/D-2016-0872-Eng.php or contact Jakob Nordstrom at .

Please note that this newsitem has been archived, and may contain outdated information or links.