3 PhD positions at INRIA Grenoble, France

by fradet, May 25, 2016

Three PhDs in Grenoble, France.

Good background in formal methods expected.

Starting date : October 2016 (Sept. or Dec. also possible)

The SPADES team (https://team.inria.fr/spades) at INRIA Grenoble is opening 3 PhD positions in formal methods for embedded systems:

- Formal proofs for the analysis of real-time systems in Coq
(https://team.inria.fr/spades/job-offers/rtproofsphd)

- Analysis and Types for Safe Dynamic software configurations
(https://team.inria.fr/spades/job-offers/configphd)

- Programming IoT and software defined radio with dynamic data-flow
models of computation (https://team.inria.fr/spades/dataflowphd/)


Candidates are invited to send their application to the researchers proposing the targeted topic (email addresses and further details are in the corresponding announces). Please include at least a CV, a short motivation letter and contact
information for 2 referees.

Feel free to contact us if you have questions regarding these offers.