Wednesday, February 29, 2012

Professor/Associate professor in Formal Methods

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
(Select "Professor/Associate professor in formal methods", published