News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

(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/.

Please note that this newsitem has been archived, and may contain outdated information or links.