R&D Engineer – Embedded Security Software Development


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 world première (EAL7 is the highest level defined by the Common Criteria certification scheme). This showcases the unique security expertise of ProvenRun’s team for delivering highly secure software components such as OSs and hypervisors. 

This is offer is for a permanent, full-time position (“CDI”) and is based at one of our R&D centers in Paris or in Sophia Antipolis (near Nice).


You have either a Master’s Degree in Computer Science or an equivalent degree, as well as at least 3 years of experience in the field of embedded software development. You are fluent in C or Rust and have a working knowledge of ASM, especially in the context of low-level embedded software development such as microkernels, embedded applications and device drivers on ARM® Cortex-A, Cortex-M or RISC-V architectures.

An interest in one or more of the following topics will be appreciated positively:

  • Operating systems
  • Hardware architectures
  • Security architectures
  • Applied cryptography
  • Embedded network stacks
  • Software assurance and certification
  • Concurrent Programming

You are rigorous, independent and have good interpersonal skills. You are fluent enough in English to work in an international setting.

Your salary will depend on your level of experience and how well your skills match the position. Range: 40k€ to 60k€.

Are you interested in joining ProvenRun and becoming a key part of our team? To apply, send a CV and a cover letter to careers@provenrun.com.