Within the French project “DCore – Causal Debugging for Concurrent Systems”, INRIA Grenoble is offering a fully funded PhD thesis on “Abstractions for causal analysis and explanations in concurrent programs: theory and application to Erlang”.
Candidates should have a good background in formal methods. Good programming skills are required.
The PhD thesis will be co-advised by Jérôme Feret (Antique team, INRIA Paris, https://team.inria.fr/antique) and Gregor Goessler (Spades team, INRIA Grenoble, https://team.inria.fr/spades). The start date is flexible.
For more information and to apply online please visit https://jobs.inria.fr/public/classic/fr/offres/2019-01331
Please do not hesitate to contact us if you have any questions (email@example.com).