Engineering position – Formal methods and hardware verification – INRIA Grenoble

The CONVECS team of the LIG proposes a software engineer position
on formal methods for the certification of circuits and components
for the Internet of Things:
http://convecs.inria.fr/jobs/securiot-EN.pdf

Deadline for applying: October 31, 2017