Offers

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

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 point instructions through the usage of the NEON coprocessor.As a Research & Development Engineer, you will […]

Learn more
27/05/16

Research & Development Engineer – Embedded Security Software Development – RDESSD16 – 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 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 […]

Learn more
2/12/15

Research & Development Engineer – Embedded Software Development – RDEES16 – 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 delivering customer projects, leveraging our core security products, e.g. our ProvenCore OS/Kernel and our ProvenVisor hypervisor: System development on ProvenCore and ProvenVisor, Porting ProvenCore/ProvenVisor […]

Learn more
5/05/15

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

This offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Assess the impact of heterogeneous multi-processing (HMP) on a secure operating system and develop a proof of concept of an HMP-enabled secure microkernel. Mission As a Research & Development Engineer, you will interact with the team in charge […]

Learn more
5/05/15

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

This offer is obsolete and is retained for reference only. Current offers are available on this page. Objective Design and development of a Trusted User Interface for smartphones and tablets Mission As a Research & Development Engineer, you will interact with the team in charge of developing our embedded security solutions. More precisely, you will extend […]

Learn more