Email Gateway (Aug 19 2022 at 11:05): Email Gateway (Aug 19 2022 at 11:05):From: Daniel Le Métayer <daniel.le-metayer@inria.fr>
Formal methods for privacy and accountability
The PRIVATICS research group at Inria Lyon is looking for PhD and postdoctoral researchers in formal methods with applications to privacy and accountability.
The group is part of the new Inria project Lab CAPPRIS which supports collaborations with other research groups involved in privacy and formal methods and provides a very active research environment. PRIVATICS is also involved into several multidisciplinary projects on privacy and accountability with a variety of partners all over Europe.
Topics of particular interest include, but are not limited to:
Lyon is the second urban area in France. It is close to the French Alps and two hours or less (in TGV) from Paris, Geneva, Turin and the Mediterranean coast. The city has developed a reputation as the capital of gastronomy; it is known for its rich cultural life, its historical and architectural landmarks and is a UNESCO World Heritage Site.
https://team.inria.fr/privatics/
https://site.inria.fr/cappris_institutionnel/
http://www.lyon.fr/page/websites-in-english-about-lyon-france.html
PhD positions are initially offered for a period of three years and postdoc positions for a period of one or two years.
Applications will be accepted until the positions have been filled.
Applications have to be sent to daniel.le-metayer at inria.fr.
Last updated: Apr 25 2024 at 08:20 UTC