post-doc position: statistical verification of distributed programs – Nancy, France
Within the Inria project lab HAC SPECIS , we offer a post-doctoral position on statistical verification
of distributed programs, integrated in the SimGrid platform .
• start of post-doctoral position: between November 1, 2017 and January 1, 2018 (somewhat flexible),
• duration: 18 months (somewhat flexible),
• deadline for application: September 30, 2017,
• expression of interest: July 18, 2017.
Description of the position:
SimGrid is an API for modeling and simulating distributed systems that has been used extensively for
analyzing the performances of such systems deployed on various execution platforms. SimGrid also contains
a model checking component, but it is limited by combinatorial explosion and can only be used for checking
small system instances. Moreover, it is sometimes more interesting to quantify the probability of an error
arising in an execution than to know that some error may happen.
The objective of the present project is to adapt techniques for statistical model checking to distributed
programs that can be modeled in SimGrid, and to implement these techniques within SimGrid. Specifically,
subjects of interest are the identification of probabilistic parameters that can be represented in SimGrid
and of properties to be verified, the implementation of a generic API for statistical verification within
the platform, and the evaluation of scalability and of synergies with the existing techniques for performance
evaluation within SimGrid. A more detailed description of the subject is available at
Funding is available for 18 months, and the position should be filled between November 1, 2017 and
January 1, 2018 (these dates are somewhat negotiable). The candidate must hold a PhD thesis (or expect
to hold one at the starting date), defended on or after September 1, 2015. If the thesis has not yet
been defended when applying for the position, the composition of the PhD committee and the defense date
should be indicated in the application.
The post-doctoral researcher will join the VeriDis research group  of Inria Nancy and LORIA in Nancy,
France, and will work with Marie Duflot-Kremer and Stephan Merz. He or she will regularly interact with
the groups MExICO of Inria Saclay and LSV , and with MYRIADS of Inria Rennes and IRISA .
Pre-requisites are solid knowledge of formal verification techniques, experience in C programming, and
fundamental knowledge of statistical techniques.
The following documents are required for applying:
• a curriculum vitae describing your research experience (max. 2 pages),
• a short description of your best research contributions (max. 1 page and 3 contributions),
• your best publications so far (max. 2),
• external reviews of your PhD thesis (if available),
• a letter of reference by your PhD advisor and possibly one or two more recommendation letters.
The documents other than the letters of reference should be uploaded on Inria's recruitment platform ,
and all documents should be sent directly to email@example.com.
The official application deadline is September 30, 2017. However, interested candidates are required to
express their interest by July 18, 2017 via email.
For informal inquiries into the position, do not hesitate to contact me at your earliest convenience.