📍 Jobs Near Me
📍

HiringNearMe.work

Local Jobs, Zero Commute

📍 Local Job Near You

Research engineer / Static analysis of OCaml programs

🏢
INRIA
📍 Rennes, France
📍
Location Rennes
📅
Posted June 05, 2026
🚗
Commute Local Area
🎯
Local Opportunity Near You!

This job is in your area. Enjoy a short commute and work close to home.

📋
Job Description

Contexte et atouts du poste

Inria's Lexifi and

Mission confiée

As research engineer, you will contribute to the development of the 

Principales activités

Some more specific goals of this position comprise:

  • Upgrading the implementation to support the abstract syntax tree of the 5.X versions of OCaml

  • Improving the interval analysis to also track congruences

  • Enabling the possibility to analyse specific functions, instead of analysing whole programs only

  • Conducting experiments to measure the efficiency and the precision of the analyser
  • Compétences

    The candidate will hold a Ph.D. degree in computer science, and will be acquainted with the topic of static program analysis, and abstract interpretation in particular.
    Experience with developing applications in OCaml or in another functional language is highly recommended. Intimate knowledge ...

    Apply for This Job

    Submit Application

    Quick and secure application process

    📍 Location Details

    🌆
    City
    Rennes
    🗺️
    Country
    France
    🚗
    Commute
    Local Area

    🔍 More Jobs Nearby

    Explore other opportunities in Rennes

    View Local Jobs