Hello, I'd like to advertise on a job offer at EasyMile, a SME located in Toulouse (France) and specialized in autonomous vehicles and technologies for autonomous vehicles. The company develops its own autonomous shuttle and has partnerships with manufacturers to automate third-party vehicles.
https://www.welcometothejungle.com/en/companies/easymile/jobs/safety-critical-software-engineer-f-h_toulouse The job offer is for a position in the "safety critical embedded systems" team, and is related to embedded software development, but there is enough activity for a full-time position in code verification with formal methods (value analysis, WP), mostly with frama-c on today's code base, even if other technologies might be used in the future. If interested, feel free to contact me. Best regards Xavier Xavier JEAN R&D Software Engineer office +33 (0)6 13 28 18 73 <+330613281873> xavier.jean@easymile.com [image: EasyMile] <http://www.easymile.com/> 21 Boulevard de la Marquette Bat B, 3e étage 31000 Toulouse easymile.com
_______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club
