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. https://simgrid.org/doc/latest/Tutorial_Algorithms.html https://simgrid.org/doc/latest/Tutorial_MPI_Applications.html 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 laboratory. Applicants with a strong software engineering background are welcome, even if they have very little experience in formal methods and distributed systems. https://jobs.inria.fr/public/classic/en/offres/2019-01767 Please forward this announcement to any interested parties. Send your application (resume, cover letter and references) per email to martin.quinson@ens-rennes.fr. Thanks in advance, Martin Quinson, Thierry Jéron.
Master of Science in Informatics at Grenoble (MOSIG 2016-2020)
