[TYPES/announce] Professor/Associate professor in Formal Methods at Chalmers

Gerardo Schneider gerardo at ifi.uio.no
Wed Feb 29 11:17:19 EST 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)

---
Gerardo Schneider
Dept. of Computer Science and Engineering
Chalmers | University of Gothenburg
SE 412 96 Göteborg, Sweden
http://www.cse.chalmers.se/~gersch/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20120229/435e98dd/attachment-0001.html>


More information about the Types-announce mailing list