[isabelle] Postdoc proposal: formal model for privacy as control
- To: cl-isabelle-users at lists.cam.ac.uk
- Subject: [isabelle] Postdoc proposal: formal model for privacy as control
- From: Daniel Le Métayer <daniel.le-metayer at inria.fr>
- Date: Fri, 20 Feb 2015 20:25:48 +0100 (CET)
- In-reply-to: <1432893401.1115650.1424460264499.JavaMail.firstname.lastname@example.org>
- Thread-index: FEWvHHWkPEieA0Tph66V2lA2tMvfuA==
- Thread-topic: Postdoc proposal: formal model for privacy as control
Postdoc Position at INRIA: Formal model for privacy as control
Rather than the âright to be let aloneâ, as originally defined by Samuel Warren and Louis Brandeis, privacy is increasingly seen in the digital society as the ability for individuals to control their personal data. The current trend is also to recommend the integration of privacy requirements in the earliest stages of the design of a product, following the âprivacy by designâ approach. However, even if the notions of âprivacy as controlâ and âprivacy by designâ are predominant in the privacy literature, clear definitions of their meanings are still missing. As a result, they can be interpreted in different ways and it is difficult to make their implementation systematic and measurable.
As a first step to address this issue, the goal of the postdoctoral project is to study the notion of âcontrol over personal dataâ, analyze its similarities and differences with existing notions such as âaccess controlâ or âusage controlâ and, based on previous work in these areas, propose a formal model for âcontrol over personal dataâ. This formal model could serve as a basis for implementations including a combination of a priori controls (static or dynamic, through monitoring) and a posteriori controls.
Skills : Minimal knowledge and motivation for formal in the general sense (formal specification, verification, software design, model design, etc.) and their application to concrete problems. Some knowledge in security or privacy would also be appreciated but is not a pre-requisite for the position.
Location: The internship will take place in Lyon, within the new research group PRIVATICS of the Inria RhÃne-Alpes research unit and the Inria project Lab CAPPRIS. 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 is known for its rich cultural life, its historical and architectural landmarks and is a UNESCO World Heritage Site.
Duration: The position is initially offered for a period of one or two years. Applications will be accepted until the position has 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