Logic List Mailing Archive

Tenure-track assistant professorship in theoretical computer science, Stockholm (Sweden), Deadline: 24 Feb 2014

The Theory Group at KTH Royal Institute of Technology invites applications
for a tenure-track assistant professorship 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 strong
track record of publishing in leading 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 this position is just one of several new openings.

For this position we are looking for candidates in all areas of
theoretical computer science, broadly construed, and in particular for
candidates in areas that complement our existing research areas, such as
theory of algorithms, parallel and distributed computing, programming
languages and program verification, and theorem proving/SAT solving.

The application deadline is February 24, 2014. More information and
instructions how to apply can be found at
http://www.csc.kth.se/tcs/jobs/D-2013-0772.php . Informal enquiries are
welcome and may be sent to Mads Dam at mfd@kth.se or Johan Hastad at
johanh@kth.se.