post-doc position: statistical verification of distributed programs

by Stephan Merz, July 6, 2017

Post-doctoral position at Inria on statistical verification of distributed programs within SimGrid

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

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 http://veridis.loria.fr/2017-postdoc-simgrid-verif.pdf.

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 stephan.merz@loria.fr.

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.