Logic List Mailing Archive

(Associate) Professorship in Formal Methods, Gothenburg (Sweden), Deadline: 22 March 2012

CHALMERS University of Technology, Gothenburg, Sweden
Department of Computer Science and Engineering

Professor/Associate professor in Formal Methods

The Department has 76 faculty members and enrols about 70 PhD students from 
more than 30 countries. The research spans the whole spectrum, from theoretical 
underpinnings to applied systems development. There is extensive national and 
international collaboration with academia and industry all around the world.

The Division of Software Technology has around 15 faculty members and 25 
postdocs and PhD students. We conduct successful research in functional 
programming, automatic theorem-proving, hardware design and verification, 
property-based testing of software, language-based security,  and software 
verification.

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.

Application deadline: March 22nd

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)