France has a strong academic tradition and is committed to investing in research and education. Here's what French academics make.
Computer science and software
The overall objective of this PhD is to define, specify and deploy a formal framework (logics) which allow to (1) model systems including data processes, and (2) verify properties related to the Privacy and Data Protection (PDP) area. To do so, the candidate should first define a formal language supporting systems modeling in which data flows, users/stakeholders, processing units and storages interact. The language should be enriched with a formal semantics (for instance an operational semantics) in order to support the verification of high-level requirements derived from privacy-related-risks methods like LINDDUN (https://distrinet.cs.kuleuven.be/software/linddun, Linkability, Identifiability, Non-repudiation, Detectability, Disclosure of information, Unawareness, Non-compliance). Once the framework is already defined, a set of algorithms should be designed and deployed in order to verify the properties and relations associated to the high-level privacy requirements. To accomplish this phase, the candidate should set appart properties to be verified at model level from those to be verified at code level (for instance, targetting a C-code). A refinement method and the application of existing verification tools (concretely the Frama-C tool, https://frama-c.com/) are foreseen. In addition, the high-level requirements and systems modeling module will be deployed on the top of the Papyrus environment (https://www.eclipse.org/papyrus/).
Département Ingénierie Logiciels et Systèmes (LIST)
Laboratoire exigences et conformité des systèmes
Nano-innov, Bât. 862, Bureau 1065,P.C. 174, Gif-sur-Yvette,91191, France
Phone number: +33(0)169086144
Sciences et Technologies de l'Information et de la Communication (STIC)
Start date on 01-09-2018
Phone number: 01-69-08-00-18
« The age limit is 26 years for PhD offers and 30 years old for post-doc offers. »