[Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods

[Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods

[Wolfgang Ahrendt]

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)