(Associate) Professorship in Formal Methods, Gothenburg (Sweden)

The Department of Computer Science and Engineering at Chalmers University of Technology (Gothenburg, Sweden) has an opening for a Professor/Associate professor in Formal Methods.

The scientific area of the new position is Formal Methods, interpreted broadly so as to include at least
- formal specification, development and verification of software,
- automatic theorem-proving and model-checking,
- lightweight formal methods, including testing,
- program semantics and analysis.

For more information see that full advertisement at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx (Select "Professor/Associate professor in formal methods", published 17/02/2012)

Application deadline: March 22nd For more information, see http://web1.reachmee.com/i003/chalmers/eng/.