We are looking for highly motivated people to build the road ahead and invent solutions to challenges never met before. Creativity and perseverance is your attitude? We are looking for you.

• Duration: 6 months (starting asap)
• Location: Toulouse, France
• Subject: Static Analysis of Autonomous Vehicle’s Critical Components
• Tutor: Nassima Izerrouken, V&V Engineer

In collaboration with the internship supervisor, you will:

• Analyze existing developed solutions in term of static code analysis;
• Analyze components source code to which static analysis will be applied;
• Extract then formalize logical and functional low level requirements of these components;
• Translate informal requirement and inject them as executable specification into the source code;
• Analyze embedded code to deduce violated requirements;
• Participate to reporting activities and V&V bug tracking.

There is no typical profile at EasyMile, we all come from different backgrounds and that is what makes us strong! Don’t hesitate to apply if you are motivated and interested by innovative transportation and technologies.

We are looking for:

• Final grade level of engineering school (or equivalent) in computer science;
• Background in formal methods;
• Good technical skills in C;
• Comfortable with working in Linux environment;
• Fluent in English for report writing.

• 30 minutes call with a recruitment officer
• Meeting with the team, technical tests
• One hour interview with the tutor and a recruitment officer

Our offers are open to people with disabilities