Uw vacaturemelding is succesvol aangemaakt.
CEA Tech
PhD position - Towards a logics and tooled framework for the refinement and verification of properties that improve privacy and data protection in systems
CEA Tech
CEA Tech is building on CEA Leti’s successful track record innovating for industry.
Bezoek werkgeversprofiel
DETAILS
Gepubliceerd: 1 maand geleden
Sluitingsdatum: okt. 31
Locatie: Grenoble, Frankrijk
Vergeet in uw sollicitatie niet te vermelden dat u deze vacature bij Academic Positions hebt gevonden.
DEZE VACATURE DELEN

PhD position - Towards a logics and tooled framework for the refinement and verification of properties that improve privacy and data protection in systems

SL-DRT-18-1044

RESEARCH FIELD

Computer science and software

ABSTRACT

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/).

LOCATION

Département Ingénierie Logiciels et Systèmes (LIST)

Laboratoire exigences et conformité des systèmes

Saclay

CONTACT PERSON

PEDROZA Gabriel

CEA

DRT/DILS//LISE

Nano-innov, Bât. 862, Bureau 1065,P.C. 174, Gif-sur-Yvette,91191, France

Phone number: +33(0)169086144

Email: gabriel.pedroza@cea.fr

UNIVERSITY / GRADUATE SCHOOL

Paris-Saclay

Sciences et Technologies de l'Information et de la Communication (STIC)

FIND OUT MORE

http://www-list.cea.fr/en/

START DATE

Start date on 01-09-2018

THESIS SUPERVISOR

SIGNOLES Julien

CEA

DRT/DILS//LSL

Phone number: 01-69-08-00-18

Email: Julien.Signoles@cea.fr

« The age limit is 26 years for PhD offers and 30 years old for post-doc offers. »

Solliciteer

SOLLICITEREN

Persoonsgegevens
Upload your CV and attachments
Het bestandsformaat moet .doc,.pdf of .rtf zijn en het bestand mag niet groter zijn dan 2 MB.
Het bestandsformaat moet .doc,.pdf of .rtf zijn en het bestand mag niet groter zijn dan 2 MB.

Door te solliciteren op een vacature op Academic Positions gaat u akkoord met onze algemene voorwaarden en ons privacybeleid.

102 VACATURES VAN DEZE WERKGEVER

CEA Tech
CEA Tech
Locatie: Grenoble, Frankrijk | Sluit op okt. 31
PhD position - Inverse reinforcement learning of a task performed by a human
SL-DRT-18-1047 RESEARCH FIELD Computer science and software ABSTRACT Learning from demonstration involves an agent (e.g., a robot) learning a task by watching another agent (e.g., a human) performing the same task. It often uses reinforcement-learning...
CEA Tech
CEA Tech
Locatie: Grenoble, Frankrijk | Sluit op okt. 31
PhD position - Towards a tooled framework and method for safety and security co-engineering of Ciber-Physical systems guided by the integration, refinement and verification of patterns
SL-DRT-18-1057 RESEARCH FIELD Computer science and software ABSTRACT Problematics and main goal: Nowadays, the so called Cyber-Physical Systems (CPS) are deployed in a variety of application domains like automotive, aeronautics, health care, etc. The...
CEA Tech
CEA Tech
Locatie: Grenoble, Frankrijk
Post Doc - Global offshore wind turbines monitoring using low cost devices and simplified deployment methods
PsD-DRT-18-0115 RESEARCH FIELD Computer science and software ABSTRACT This project follows previous work focused on on-shore wind turbine instrumentation with inertial sensors networks whose dataflows allows the detection of vibration modes specific to the...
CEA Tech
CEA Tech
Locatie: Grenoble, Frankrijk
Post Doc - Photothermal active hydrogel-based microneedles for the delivery of insulin
PsD-DRT-18-0113 RESEARCH FIELD Materials and applications ABSTRACT Microneedles (MN) array offer a highly promising solution for overcoming the barrier that the skin creates to deliver small molecular as well as macromolecular therapeutics. Drug delivery...

CAREER ADVICE

France has a strong academic tradition and is committed to investing in research and education. Here's what French academics make.

By Academic Positions
Posted Jul 06, 2018 at 08:00am

When applying for a postdoc position, fellowship, or grant you will often be asked to submit a research proposal as part of your application.

By Academic Positions
Posted Aug 07, 2018 at 08:00am

In order to guarantee you make a good impression, here are the nine biggest interview mistakes to avoid.

By Academic Positions
Posted Aug 17, 2018 at 08:00am