[TYPES/announce] Tenure-track position in CS at KTH Royal Institute of Technology

[Mads Dam]

The Theory Group at KTH Royal Institute of Technology invites applications
for a tenure-track assistant professorship in computer science with 
specialization 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 23, 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 at kth.se or Johan Hastad at
johanh at kth.se.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20131227/3bfecd04/attachment.html>