[isabelle] Researcher position for two years



[Sorry for multiple copies, please redistribute to any interested parties]

Researcher position for two years (extension by one year possible)
at Technische Universitaet Berlin in the project VATES
http://swt.cs.tu-berlin.de/research/projects/vates.html?lversion=english&;

We are looking for someone to collaborate in the development and combination
of foundations and methods for the construction and verification of
embedded, reactive, real-time software-systems. A concrete example is the
specialized run-time system BOSS already used in a working satellite.
Verification and Validation in this project is to be performed using
model-checking and theorem proving techniques.

The position is paid according to BATIIa, the German salary scheme for
public service. The salary varies according to age and martial status, for
your individual case you may calculate the monthly paycheck here
http://paul.schubbi.org/cgi-bin/bat-rechner.

The applicant must have a masters or diploma in computer science.
A strong background in quality assurance, experiences in one of the fields model checking, theorem proving, embedded systems, real-time, pi-calculs or
CSP, are necessary.









This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.