AISB opportunities Bulletin Item
Postdoctoral position in proof complexity and SAT solving, Stockholm, SWEDEN
The Theory Group at KTH Royal Institute of Technology invites applications for two postdoctoral positions in theoretical computer science. KTH is the leading technical university in Sweden. The Theory Group at KTH (http://www.csc.kth.se/tcs/) 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. We are now set to expand further, and these positions are just two of several new openings. The postdoctoral researchers will be working in the research group of Jakob Nordstrom (http://www.csc.kth.se/~jakobn). Much of the activities of this group revolve around the themes of proof complexity and SAT solving. However, these areas have also 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. 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 project leader, the group currently consists of one postdoc and two PhD students. Travel funding is included, and the group also receives short-term and long-term visitors on a regular basis. These are full-time employed positions for one year with a possible one-year extension. The successful candidates are expected to start in August-September 2014, although this is to some extent negotiable. The application deadline is December 15, 2013. More information and instructions how to apply can be found at http://www.csc.kth.se/~jakobn/openings/D-2013-0712-Eng.php . Informal enquiries are welcome and may be sent to Jakob Nordstrom.