[bull-ia] Associate professorship in computer science (including SAT solving)

The School of Computer Science and Communication at KTH Royal Institute
of Technology invites applications for a tenured associate professorship
in computer science with a broad profile, covering all research areas
currently represented at the school (thus including SAT solving).

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 computational
complexity theory, SAT solving, 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 application deadline is February 17, 2017. See
http://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:96024/where:4/
for the full announcement with more information and instructions how to
apply. Informal enquiries about this position (and possibly about how to
navigate the application procedure at KTH) are welcome and may be sent
to Jakob Nordstrom at jakobn@kth.se.

Jakob Nordström, Associate Professor

KTH Royal Institute of Technology

Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell)

http://www.csc.kth.se/~jakobn/

———————————————————————
Desinscription: envoyez un message a: bull-ia-unsubscribe@gdria.fr
Pour obtenir de l’aide, ecrivez a: bull-ia-help@gdria.fr