post-doc position: statistical verification of distributed programs – Nancy, France

Within the Inria project lab HAC SPECIS [1], we offer a post-doctoral position on statistical verification 
of distributed programs, integrated in the SimGrid platform [2].

Important dates:

	• 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 [3] 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 [4], and with MYRIADS of Inria Rennes and IRISA [5].

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 [6], 
and all documents should be sent directly to

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.

Best regards,
Stephan Merz


Comments are closed.