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 moreThis 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 moreThis 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 moreThis 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 moreThis 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 moreThis 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