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 point instructions through the usage of the NEON coprocessor.

As a Research & Development Engineer, you will interact with the team in charge of developing our embedded security solutions. More precisely, you will extend a secure operating system to allow secure applications to use floating point and vector arithmetic operations. In order to achieve this goal, you will have to:

• Assess the security implications of enabling NEON support in ProvenCore,
• Modify the development version of the micro-kernel to enable it and allow secure applications to use it,
• Evaluate performance impacts if any.

Profile

You are currently completing a Master’s Degree or an equivalent degree. You have a significant experience of software development. You are rigorous, independent and have good interpersonal skills.

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

• Embedded software development
• Operating systems
• Device drivers
• Software security
• Low-level mobile software development

Previous experience with the following tools will help ensure that you can hit the ground running:

• Cross-compilation toolchains
• Source code management tools
• Issue tracking systems

A good level of English is required.

Benefits

All interns will receive the following benefits:

• Compensation of €1000-1200/month (gross)
• Daily meal stipends (Tickets Restaurant)

Are you interested in joining Prove & Run and becoming a key part of our team? If so, please check what it means to be an intern at Prove & Run, or apply right away!