[isabelle] INRIA Postdoc and PhD positions - Formal methods for privacy and accountability





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: 

- formal models for privacy 
- specification and verification of accountability properties 
- formal approach to privacy by design 
- verification of privacy requirements 

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. 





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.