This offer is obsolete and is retained for reference only. Current offers are available on this page [1].
This is offer is for a 6-month internship and is based at our R&D Center in Sophia Antipolis [2] (near Nice).
Develop an in-kernel debugger for a secure operating system.
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:
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:
Previous experience with the following tools will help ensure that you can hit the ground running:
A good level of English is required.
All interns will receive the following benefits:
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 [3], or apply right away [4]!
Article printed from Prove & Run: https://www.provenrun.com
URL to article: https://www.provenrun.com/job-offers/research-development-engineer-internship-rdei-2018-2/
URLs in this post:
[1] this page: http://www.provenrun.com/careers/offers/
[2] R&D Center in Sophia Antipolis: http://www.provenrun.com/about/rd-center-sophia-antipolis/
[3] what it means to be an intern at Prove & Run: http://www.provenrun.com/careers/internships/
[4] apply right away: http://www.provenrun.com/careers/how-to-apply/
Click here to print.
Copyright © 2020 Prove & Run. All rights reserved.