Offers

28/03/14

Research & Development Engineer – Internship – RDEI-2014-3 – Obsolete

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 more
7/01/14

Research & Development Engineer – Internship – RDEI-2014-2 – Obsolete

This 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 more
7/01/14

Research & Development Engineer – Internship – RDEI-2014-1 – Obsolete

This 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 more
24/05/13

Research & Development Engineer – Full-time – RDE13 – Obsolete

This 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 more
17/12/12

Research & Development Engineer – Internship – RDEI-2013-3 – Obsolete

This 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 more
13/12/12

Research & Development Engineer – Internship – RDEI-2013-2 – Obsolete

This 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