2021-03821 - Research engineer / Static analysis of OCaml programs
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : De 3 à 5 ans

A propos du centre ou de la direction fonctionnelle

The Inria Rennes - Bretagne Atlantique Centre is one of Inria's eight centres and has more than thirty research teams. The Inria Center is a major and recognized player in the field of digital sciences. It is at the heart of a rich R&D and innovation ecosystem: highly innovative PMEs, large industrial groups, competitiveness clusters, research and higher education players, laboratories of excellence, technological research institute, etc.

Contexte et atouts du poste

Inria's Celtique research team is looking for a talented research engineer to contribute to the Salto project, that aims at building a static analyser for OCaml programs. The primary target of the analyser is the implementation of the Tezos blockchain, and the overall goal is to provide added trust in the Tezos codebase, by verifying the absence of errors (unhandled exceptions, integer overflows...) early in  the development cycle.

Mission confiée

As research engineer you will be architecturing the analysis tool, in close collaboration with the researchers associated with the project and with the industrial partner Nomadic Labs. You will be in charge of developing the algorithms that implement the abstract domains and analysis engine, that constitute the core of the tool, and will conduct experiments on a large codebase.

Principales activités

The goals of this position comprise:

  • Implementing the main analysis engine for a representative subset of the OCaml language, and implementing the related abstract domains
  • Designing and implementing an incremental version of the analyser Integrating the static analysis tool with a framework for
    continuous integration
  • Conducting experiments to measure the efficiency and the precision of the analyser

Compétences

The candidate will hold a Master (or higher) degree in computer science, and will be acquainted with the topic of program analysis.
Experience with developing applications in OCaml is highly recommended. Intimate knowledge of the OCaml toolchain is obviously a plus but not a requirement.

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours)
  • Possibility of teleworking
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage

Rémunération

Monthly gross salary from 2562 euros according to diploma and experience