Internship : Générateur de spécifications formelles pour de la validation statique

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 termes de vérification et de validation dans les systèmes critiques pratiquées au niveau software du véhicule autonome;
  • Réaliser l’état de l’art des technologies de validation statiques et de spécifications formelles;
  • Étendre des travaux existants sur la génération automatique de spécification exécutables;
  • Effectuer un pré-processing, simplifié par IHM, du code bas niveau à analyser avec l’interpréteur proposé;
  • Appliquer l’approche sur le composant critique identifié afin de valider les exigences fonctionnelles et les les critères de sûreté;
  • 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 H/F 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