Stage ingénieur développement en méthodes formelles H/F (INFRA STF)
RATP Group(1 month ago)
About this role
An IT internship within RATP Infrastructures (Groupe VAL) based at Val de Fontenay, focused on the development of formal verification tools. The intern will join a team contributing to software toolchains that support verification activities for Paris metro systems. The position places the trainee within RATP's mission to improve urban mobility safety and sustainable connected transport solutions.
Required Skills
- Python
- Software Development
- Debugging
- Documentation
- Testing
- CI/CD
- GitLab
- YouTrack
- Formal Verification
Qualifications
- Engineering Student (End-of-Studies Internship)
- Computer Science
Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at RATP Group
Similar Jobs
Formal Verification Infra Development Engineer
NVIDIA(15 days ago)
Ingénieur méthodes en alternance F/H
IDEX(2 months ago)
Firmware Verification Engineer (m/f/d)
NXP Semiconductors(2 months ago)
Senior Formal Verification Engineer
NVIDIA(19 days ago)
Senior Formal Verification Engineer
NVIDIA(1 month ago)
Doctorant en Vérification formelle d'IA (H/F)
Thales(2 months ago)