R&D AI Engineer for Formal Verification

Institut Mines-Télécom; Palaiseau; Hybrid; EUR 34,000 - 43,000; Full time

Benefits offered by this job

49 days annual leave

Flexible working hours

Telecommuting 1–3 days/week

Public transport pass reimbursement 75

On-site facilities and services

Job summary

Institut Mines-Télécom invites applications for an R&D engineer position focusing on AI techniques for formal verification within the VITAMIN-C project. You will develop AI components for verification guidance and explore NLP/LLM-assisted modelling interfaces.

You will contribute to training datasets, experimental benchmarks and assessments, while aligning with rigorous verification standards and responsible AI practices.

Qualifications

• Five-year post-secondary qualification (Bac+5) or equivalent.
• Experience with formal verification and AI-enabled tooling is valued.
• Clear ability to develop, train, evaluate, test and document AI components.

Responsibilities

• 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.

Skills

Artificial intelligence

Python programming

Data processing and analysis

Software engineering

English fluency

Deep learning

NLP/LLM

Graph learning

Learning-guided search

Formal verification

Education

Bac+5 equivalent

Bac+4 + 4+ years experience

Bac+3 + 6+ years experience

Bac+2 + 10+ years experience

Tools

Docker

Job description

Institut Mines-Télécom invites applications for an R&D engineer position focusing on AI techniques for formal verification within the VITAMIN-C project. You will develop AI components for verification guidance and explore NLP/LLM-assisted modelling interfaces.

You will contribute to training datasets, experimental benchmarks and assessments, while aligning with rigorous verification standards and responsible AI practices.