Saturday, January 17, 2015

[DMANET] Postdoc position at KTH (deadline Jan 25)

The Theory Group at KTH Royal Institute of Technology invites applications for
a postdoctoral position in computational complexity and/or 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 researcher will be working in the research group of Jakob
Nordstrom ( Much of the activities of this
group revolve around the themes of proof complexity and SAT solving. On the
theoretical side, proof complexity has turned out to have deep, and sometimes
surprising, connections to other topics such as, e.g., circuit complexity,
communication complexity, and hardness of approximation, and therefore
researchers in these or other related areas are more than welcome to apply. 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.

The research project is financed by a Breakthrough Research Grant from the
Swedish Research Council and a Starting Independent Researcher Grant from the
European Research Council. In addition to the research group leader, the group
currently consists of one postdoc and four PhD students. Travel funding is
included, and the group also receives short-term and long-term visitors on a
regular basis.

This is a full-time employed position for one year with a possible one-year
extension. The successful candidate is expected to start in August-September
2015, although this is to some extent negotiable.

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

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.