Research engineer position at Inria Rennes (model-checking legacy distributed application)
A research engineer position is available at the Inria Rennes
laboratory, in France.
This is a fixed-term contract for two years, starting this fall.
This work takes place in the SimGrid framework (https://simgrid.org),
a scientific instrument for studying the behavior of large-scale
distributed systems such as Grids, Clouds, HPC, or P2P systems. It can
be used to evaluate scheduling heuristics and protocols, or to assess
the performance and correctness of legacy MPI applications.
In this context, the engineer will focus on the Mc SimGrid module, a
ready to use model-checker for unmodified MPI applications written in
C/C++/Fortran. S/he will help refactoring the code base to integrate
the latest research results from a recent PhD. S/he will improve the
robustness of the Mc SimGrid module to align it with the rest of the
SimGrid framework. This work supports and prepares future researches
on the verification of large-scale legacy distributed applications.
The applicants are expected to have either a PhD in Computer Science
(in any domain) or a comprehensive experience as a developper in a R&D
Applicants with a strong software engineering background are welcome,
even if they have very little experience in formal methods and
Please forward this announcement to any interested parties.
Send your application (resume, cover letter and references) per email to
Thanks in advance,
Martin Quinson, Thierry Jéron.