post-doc positions at VERIMAG

Post-doc positions in software verification open at VERIMAG, Grenoble, France, for work on the STATOR project with David Monniaux.

Applications are invited for postdoctoral positions at the VERIMAG laboratory in Grenoble, France. The positions are open for a duration of up to 2.5 years; shorter durations are possible. The postdocs will work under the supervision of David Monniaux in the area of static analysis of software and decision procedures, within the STATOR grant, funded by the European Research Council (ERC).

More information on STATOR is available here:
http://stator.imag.fr/

The candidate should have, or expect to obtain shortly, a PhD in Computer Science, preferably with expertise in verification, programming languages and/or static analysis. A track record of publications in selective international venues (e.g. CAV, POPL, PLDI, SAS, VMCAI...) is expected.

The candidate would be expected to develop research questions within a specific context, to undertake original individual research, and to prepare research papers.

VERIMAG is a joint laboratory of CNRS, a French national research organization, and the University of Grenoble. Grenoble, located in a valley in the Alps (coincidentally, close to major ski and paragliding facilities) is a major scientific center, hosting international organizations such as the European Synchrotron Radiation Facility and the ILL neutron facility. VERIMAG is known internationally for works on synchronous programming languages, hybrid systems and verification, which were recognized by the Joseph Sifakis' Turing Award.

Interested applicants are encouraged to contact David Monniaux (David DOT Monniaux AT imag DOT fr) for inquiries.