Offers

15/03/20

Research & Development Engineer – Embedded Security Software Development

Mission As a Research & Development Engineer, you will join a world-leading team in charge of developing highly secure embedded software solutions that leverage our core security products, e.g. our ProvenCore secure OS and our ProvenVisor hypervisor. ProvenCore is the world most secure OS and has received a Common Criteria EAL7 certification which is a […]

Learn more
26/12/17

Research & Development Engineer – Internship – RDEI-2018-3

This offer is obsolete and is retained for reference only. Current offers are available on this page. This is offer is for a 6-month internship and is based at our R&D Center in Paris. Objective Develop a compiler from Prove & Run’s language to Scala. Mission As a Research & Development Engineer, you will join the […]

Learn more
9/11/17

Research & Development Engineer – Internship – RDEI-2018-2

This offer is obsolete and is retained for reference only. Current offers are available on this page. This is offer is for a 6-month internship and is based at our R&D Center in Sophia Antipolis (near Nice). Objective Develop an in-kernel debugger for a secure operating system. Mission In addition to providing a formally proven microkernel […]

Learn more
9/11/17

Research & Development Engineer – Internship – RDEI-2018-1

This offer is obsolete and is retained for reference only. Current offers are available on this page. This is offer is for a 6-month internship and is based at our R&D Center in Sophia Antipolis (near Nice). Objective Improve Android Verified Boot with a Security Microkernel. Mission The most recent versions of Android make extensive use […]

Learn more
9/03/17

Research & Development Engineer – Internship – RDEI-2017-2

This offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Develop an in-kernel debugger for a secure operating system. Mission In addition to providing a formally proven microkernel that gives strong security guarantees, ProvenCore comes with a full development environment to create new applications running on top of […]

Learn more
9/03/17

Research & Development Engineer – Internship – RDEI-2017-1

This offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Add support for floating point operations in a formally proven microkernel. Mission ProvenCore, our formally proven microkernel, is designed to run in the TrustZone part of powerful ARM Cortex-A-powered System-on-Chips. These processors include advanced SIMD and vector floating […]

Learn more