IM
Research and Development Engineer in Artificial Intelligence - 12 months contract
Contract type
One-time
Work mode
Hybrid · Palaiseau, France
Experience
3 years
Job description
R&D engineer position on the VITAMIN-C project at Télécom Paris, combining formal verification with artificial intelligence for cybersecurity of distributed multi-agent systems. The engineer designs, implements and evaluates AI components that guide verification and assist formal modelling.
At a glance
- Employment
- Contract
- Work mode
- Hybrid · Palaiseau, France
- Languages
- English – fluent
- Pay
- EUR 33,614 – 43,000 / year
- Apply before
- December 3, 2026
What you'll do
- Carry out R&D work in artificial intelligence for formal verification
- Contribute to the research profile of Télécom Paris and Institut Mines-Télécom
- Develop AI components for verification guidance
- Investigate natural-language and LLM-based assistance for formal modelling
- Integrate these capabilities into the existing VITAMIN platform
- Participate in the preparation of training and evaluation datasets
- Develop experimental benchmarks
- Assess the proposed approaches in terms of effectiveness, computational efficiency, and reliability
What we're looking for
- Solid understanding of artificial intelligence
- Python programming
- Data processing and analysis
- Software engineering
- Fluent in English
- Able to develop, train, evaluate, test and document AI components within a collaborative environment
- Strong organisational, analytical and problem-solving skills
- Good team spirit
- Able to communicate clearly, explain technical concepts in layman's terms, draft documentation and contribute to teaching activities
- Five-year post-secondary qualification (Bac+5) or equivalent; or Bac+4 with at least four years' professional experience; or Bac+3 with at least six years' experience; or Bac+2 with at least ten years' experience
Nice to have
- Experience in deep learning
- Natural language processing (NLP/LLM)
- Graph learning
- Learning-guided search
- Deployment of machine learning models
- Interest in formal verification
- Interest in cybersecurity
- Interest in trustworthy AI
- Interest in Docker
- Interest in teaching activities
Benefits
- 49 days annual leave (CA + RTT)
- Flexible working hours (depending on department activity)
- Telecommuting 1 to 3 days/week possible
- 75% public transport pass reimbursement
- Proximity to numerous sports facilities, concierge service, underground parking, in-house catering, etc.
- Social security contributions lower than in the private sector
Apply
About Télécom Paris (Institut Mines-Télécom)
One of France's top 6 general engineering schools
Télécom Paris, part of the IMT (Institut Mines-Télécom) and a founding member of the Institut Polytechnique de Paris, is one of France's top 6 general engineering schools.
Mission
To train, imagine and undertake to design digital models, technologies and solutions for a society and economy that respect people and their environment
Key facts
- Part of the IMT (Institut Mines-Télécom)
- Founding member of the Institut Polytechnique de Paris
- Located 20 km from Paris (RER B and C suburban train lines, close to major roads)