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 debugging is a must most of the time. Bare metal debugging is possible but requires a certain level of skills that application developers may not have.

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 add an in-kernel debugger that allows monitoring of a specific application and provides an interface similar to gdbserver. In order to achieve this goal, you will have to:

  • Investigate existing solutions and analyze how they could be applied on our microkernel and supported hardware,
  • Implement the in-kernel debugger in the development version of ProvenCore,
  • Implement the necessary interfaces to communicate with the debugger from the developer’s computer.

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
  • 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
  • Debuggers (GDB, etc)

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!

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!

Paris, December 8, 2016 – Organized jointly by the National Gendarmerie, CEIS and EuraTechnologies, and co-financed by the Regional Council of Hauts de France, the International Cybersecurity Forum (FIC), helped by a jury of experts, awards the Innovative SME Award every year to a particularly innovative company in the cybersecurity sector. Sponsored by Airbus Defense and Space, the Innovative SME Award will be presented to Prove & Run at the 9th edition of the FIC.

This award distinguishes the innovation brought by ProvenCore, Prove & Run’s next generation of ultra secure OS that must be used to protect connected systems against remote attacks.

ProvenCore’s primary goal is to offer proven protection of security-critical services (boot, authentication, update) almost transparently to the software used on the connected system. The security properties of ProvenCore have been formally proven, down to generated code. This allows being as close as possible to “zero-bugs” and therefore highly resistant to attacks.

With ProvenCore, chip makers, devices makers and solution developers can rely on a scalable secured-by-design platform for all ARM® Cortex®-A and Cortex-M based devices.

“The innovation, energy and agility of innovative start-ups and SMEs in the cyber domain is spectacular,” explains François Lavaste, president of the jury and CEO of Airbus Defense and Space CyberSecurity. “This 2017 edition is particularly rich in innovation. In addition, the quality of the applications is exceptional. All this shows a very positive evolution of the whole ecosystem.”

“Recognition and trust are essential within the cybersecurity industry. The recognition granted to us by the prestigious FIC 2017 jury with this Innovative SME Award is a tremendous encouragement for all the customers who already trust us,” concluded Dominique Bolignano, President and Founder of Prove & Run.

About Prove & Run

Prove & Run aims at providing cost effective off-the-shelf software solution that dramatically improve the level of security of connected systems so as to protect them against remote cyber-attacks.

About the International Cybersecurity Forum (FIC)

The FIC adopts an approach consisting of assessment and exchange with the aim of promoting a European vision of cybersecurity, the continuation of a single digital market and the regulatory proposal on the protection of personal data.

The FIC is the key European cybersecurity event that gathers all players in the digital trust chain. To coordinate this approach, the FIC relies on:

  • The tradeshow, to communicate, increase visibility, recruit, make new contacts & keep in touch with old ones,
  • The forum, to exchange with experts, improve skills and share feedback,
  • The Observatory to continue exchanging during the rest of the year, develop on themes covered and keep the network alive.

The 2017 edition of the FIC is jointly organized by the National Gendarmerie, CEIS and EuraTechnologies, and co-financed by the Regional Council of Hauts-de-France.

As part of the UbiMobility program sponsored by Business France and BpiFrance, Prove & Run has been selected by a judging panel from the US automotive industry with recognized experts representing major automakers, Tier 1 manufacturers, world-renowned universities and tech companies to participate in a 2-week tour in the US. This tour will give Prove & Run the opportunity to meet the major players of the US automotive market, and to kickstart its US automotive business.