This offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Extend a secure operating system to add graphical capabilities and display rich content in a constrained environment. Mission As a Research & Development Engineer, you will interact with the team in charge of developing our embedded security solutions. […]
Learn moreThis offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Extend our code generation process and use this extension to enable our modeling tools to prove a part of themselves. Mission As a Research & Development Engineer, you will interact both with the team in charge of developing […]
Learn moreThis offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Implementation and formal proof of a compression service based on the Deflate algorithm Mission As a Research & Development Engineer, you will join a team in charge of creating models (both high-level and implementation-level) of sensitive software components […]
Learn moreThis offer is obsolete and is retained for reference only. Current offers are available on this page. Mission As a Research & Development Engineer, you will join a team in charge of creating models (both high-level and implementation-level) of sensitive software components using Prove & Run’s tools. This is offer is for a permanent, full-time position […]
Learn moreThis offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Improving the productivity of the software engineers who use our Integrated Modeling Environment Mission As a Research & Development Engineer, you will join the team in charge of the Integrated Modeling Environment (IME), one essential component of the complete development […]
Learn moreThis offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Optimizing memory management through static analysis Mission As a Research & Development Engineer, you will join a team in charge of the Integrated Modeling Environment developed by Prove & Run. More precisely, you will join the group in […]
Learn more