News and Events: Open Positions

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

PhD position in SAT solving at KTH Royal Institute of Technology

Deadline: Friday 31 March 2017

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

The PhD student 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). This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The successful candidate is expected to start at the latest in August-September 2017, although this is to some extent negotiable. The position is fully funded and comes with a competitive salary.

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

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