PhD in Logics for Privacy

[Joao Marcos]

—————

We are looking for a PhD candidate in Logics for Privacy at the
Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) in Bourges,
France, starting on 1st October 2020. The deadline for applications is
March 31st, 2020. Please forward to potential candidates.

**PhD Description**

The PhD candidate will work under the supervision of Sabine Frittella
and Benjamin Nguyen within the team Security of Data and Systems. The
aim of this PhD is to develop probabilistic formal methods for
privacy. Depending on the interests of the applicant, the PhD could be
either oriented mostly toward logic or mostly toward privacy.
Logic-based research includes developing
epistemic/probabilistic/many-valued logics to formalize reasoning,
privacy, algorithms and attacks with logics. Privacy-based research
includes studying and modelling privacy issues such as limiting
privacy exposure during data collection and privacy policies on social
networks.

The PhD position is placed in the context of the ANR PRELAP
(PRobabilistic Epistemic Logics Applied to Privacy). It is a project
financed by the French National Research Agency in partnership with
INRIA, CEA LIST, Utrecht University (the Netherlands), University of
The Witwatersrand (South Africa), Chapman University (USA).

**Requirements**

- a Master degree in Computer Science, Mathematics, or a relevant
discipline has to be completed before October 1st, 2020.
- fluent written and spoken English

Candidates with an interdisciplinary background are particularly
encouraged to apply. Previous knowledge of topics related to logic
and/or privacy is an advantage. Knowledge of French language is not
required. French courses are offered to PhD students if they desire to
learn French during their thesis.

**Application procedure**

Please submit your application by email to Sabine Frittella
(sabine.f...@insa-cvl.fr) and Benjamin Nguyen
(benjami...@insa-cvl.fr) before March 31st, 2020 (or until
fulfilled), including:
- cover letter
- CV
- copies of the relevant certificates
- list of references
- relevant publications, if exist.

Prospective candidates should contact Sabine Frittella
(sabine.f...@insa-cvl.fr) and Benjamin Nguyen
(benjami...@insa-cvl.fr).

**Additional Information**

- Salary: the position is for three years (36 months), gross salary of
1768 € per month including health insurance. The PhD student will have
the opportunity to teach which increases the gross salary by 220 € per
month.
- Location: Department of Computer Science at INSA Centre Val de
Loire, Bourges, France
- Contacts: Dr Sabine Frittella (email: sabine.f...@insa-cvl.fr)
and Benjamin Nguyen (benjami...@insa-cvl.fr)
- Application deadline: March 31st, 2020 or until fulfilled
- Starting date: October 1st, 2020.