PhD student positions in Computing Science (automated theorem proving), Chalmers University of Technology, Sweden

The Division has about 80 researchers, half being faculty members and half PhD students. Our focus is on algorithms, bioinformatics, distributed systems and computing, functional programming, formal methods, interaction design, language technology, language based security, parallel and high performance computing, programming logic and type theory, but research is not restricted to these topics.

Knowledge of Swedish is not a prerequisite for application. English is our working language for research. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students are native Swedes; the rest come from more than 20 different countries.

The last date for your full application to arrive is March 9, 2007. For more information, see http://chalmersnyheter.chalmers.se/chalmers03/english/ or contact Philippas Tsigas at tsigas at cs.chalmers.se. For more information on the Division, see http://www.chalmers.se/cse/EN/research/research-groups.