Email Gateway (Aug 18 2022 at 12:50): Email Gateway (Aug 18 2022 at 12:50):From: Mueller Peter <peter.mueller@inf.ethz.ch>
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:
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@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.
Last updated: Nov 21 2024 at 12:39 UTC