Internship : Validation statique d'un système de contrôle de véhicule autonome

EasyMile is hiring!

About

Pioneer in driverless mobility, EasyMile revolutionizes passenger and goods transportation.

For the past 4 years, EasyMile has developed and deployed autonomous mobility solutions worldwide based on vehicles manufactured by recognized industrial partners. EasyMile’s clients include the world’s largest transport operators, city authorities, airports, corporations, business parks, and universities.

EasyMile supplies smart mobility solutions and autonomous technologies powering driverless vehicles with existing products such as: the EZ10, a 100% electric driverless shuttle deployed in 20 countries worldwide; the TractEasy, the first autonomous electric baggage tractor jointly developed with TLD; and many other projects to be unveiled soon.

EasyMile’s team is composed by more than 160 high skilled and passionate employees specializing in robotics, computer vision and vehicle dynamics.
The company has it own headquarter in Toulouse (France) and regional offices in Singapore (Asia), Denver (USA), Berlin (Germany) and Adelaide (Australia).

Job Description

Travailler en étroite collaboration avec son référent :

  • Analyser l’existant en terme de vérification et de validation dans les systèmes de contrôle bas niveau du véhicule autonome;
  • Réaliser l’état de l’art des solutions de validation des systèmes critiques;
  • Extraire et formaliser les contraintes fonctionnelles et critiques depuis les exigences du sous-système en question;
  • Spécifier formellement les exigences issues de l’étape précédente en ACSL avant de les intégrer dans le code;
  • Effectuer les analyses nécessaires afin de valider les exigences fonctionnelles et les les critères de safety;
  • En déduire les cas de violation de propriétés par model-checking, les communiquer sous forme de scénarios (MBSE);
  • Participer au reporting des activités de V&V et au bug tracking.

Preferred Experience

Elève ingénieur(e) ou équivalent en dernière année d’étude;
Méthodologies : technologies formelles, preuve assistée par ordinateur, MBSE;
Outils/Langages : Frama-C, C, ACSL, Linux, Git, JIRA;
Autonome, esprit critique, rigueur, adaptabilité et bon relationnel.

Additional Information

  • Contract Type: Internship (Between 5 and 6 months)
  • Start Date: 02 February 2020
  • Location: Toulouse, France (31000)
  • Education Level: Master's Degree
  • Experience: < 6 months