[isabelle] Postdoc Position in Program Verification

Postdoc Position in Program Verification

The Chair of Programming Methodology at ETH Zurich is recruiting a
postdoc to work on a research project with Dassault Aviation on the
automatic verification of C programs. The goal of the project is to
improve the strength and automation of an existing verifier, especially
for C programs that manipulate pointer structures.

Mandatory requirements for successful applications are: 

* Strong interest in research 
* Excellent PhD in Computer Science
* Knowledge in formal methods, especially verification using automatic
theorem provers
* Proficiency in English and excellent communication skills, both oral
and written 
* Publications in international conferences or journals 

A postdoc position is a regular job with social benefits. The project
is funded for one year, but the employment at the Chair of Programming
Methodology can be extended to at most six years. Postdocs at ETH
receive an attractive salary and have access to excellent facilities
in one of the world's top computer science departments. Zurich has
just been voted #1 again in the world for quality of life.

For the preliminary web site of the Chair of Programming Methodology
consult http://pm.inf.ethz.ch. Questions on the positions and
applications should be sent to jobs-pm at inf.ethz.ch. Applications
should include a curriculum vitae, a brief description of research
interests, and two letters of recommendation from scientific staff
members. Applications will be considered until the position is
filled. The start date is negotiable.

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