CIFRE PhD - Security formal verification of embedded systems M/F

Job description

General information

Reference

2020-5254  

Job level

30 - Graduate Entry Level

Position description

Posting title

CIFRE PhD - Security formal verification of embedded systems M/F

Regular/Temporary

Temporary

Job description

Security is a growing concern in the world of IoT. 

Our embedded systems involves more and more security features and requires more and more verification to guarantee that security is properly implemented but also ensure that there are no security holes.

We are looking for a talented student interested to explore, in partnership with a research lab, how to formally prove that security implemented in our chips is well implemented and robust to attacks.

Profile

Formal verification and embedded systems security knowledge.

Autonomy to explore by its own advanced tools and methods.

Communication skills

 

Position localisation

Job location

Europe, France, Grenoble

Candidate criteria

Education level required

5 - Master degree

Experience level required

Less than 2 years

Languages

English (3- Advanced)

Requester

Desired start date

03/02/2020