post-doc position on statistical model checking

by Stephan Merz, April 24, 2018

16-month post-doctoral position at Inria Nancy / LORIA on statistical model checking for SimGrid

A post-doctoral position (duration: 16 months) is available within the HAC-SPECIS project involving research groups in high-performance computing and in formal verification. The successful candidate will adapt and implement statistical model checking techniques for the SimGrid platform for the simulation and analysis of distributed programs. He or she will work at Inria Nancy / LORIA with Marie Duflot-Kremer and Stephan Merz, in cooperation with the partners of the HAC-SPECIS project. A detailed description of the position is available at

Applications must be received by June 6, 2018 at the latest. The post-doctoral researcher is expected to start between November 1 and December 31, but these dates may be negotiable. Candidates should have received their PhD on or after September 1, 2016, or be preparing their PhD at the time of application. In the latter case, the date of the PhD defense and the composition of the PhD committee should be indicated.

An application consists of the following documents:

  • a cover letter explaining your interest in the position,
  • a CV explaining your research activities (max. 2 pages),
  • a short description (max. 1 page) of what you consider to be your best contributions (max. 3) – these can be theoretical results, implementations or transfer activities,
  • the external reports on your thesis (if available),
  • if you have not yet defended your thesis, the expected defense date and the composition of the PhD committee,
  • your best publications (max. 2).

These documents should be provided as two pdf files, one containing the publications and the other one all remaining documents. They should be uploaded at It is recommended that you also send them by email to [email protected] Moreover, a letter of reference from your PhD adviser(s) and at most two more letters of recommendation should be sent directly from the recommenders to [email protected]

Please feel free to contact me for any questions that you may have regarding this position.