Offers

26/12/17

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

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 team in charge of ProvenTools, the complete development toolchain created by Prove & Run. ProvenTools is […]

Learn more
9/11/17

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

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 that gives strong security guarantees, ProvenCore comes with a full development environment to create new applications […]

Learn more
9/11/17

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

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 of security features available on the platform, including using Trusted Execution Environments and Secure Boot. One […]

Learn more
16/06/17

Research & Development Engineer – Embedded Security Software Development

Mission As a Research & Development Engineer, you will join a team in charge of developing embedded security applications that leverage our core security products, e.g. our ProvenCore microkernel and our ProvenVisor hypervisor. This is offer is for a permanent, full-time position (“CDI”) and is based at our R&D Center in Sophia Antipolis (near Nice). Profile You have […]

Learn more
9/03/17

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

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 it. The ProvenCore SDK includes a PC simulator to speed up initial development but real-world platform […]

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