PhD student position in Logics for Privacy, Bourges (France)

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 2019. The deadline for applications is March 31st, 2019.

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.

Requirements

- a Master degree in Computer Science, Mathematics, or a relevant discipline has to be completed before October 1st, 2019.
- 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.frittella at insa-cvl.fr and Benjamin Nguyen (benjamin.nguyen at insa-cvl.fr before March 31st, 2019, including:
- cover letter
- CV
- copies of the relevant certificates
- list of references
- relevant publications, if exist.

Prospective candidates should contact Sabine Frittella (sabine.frittella at insa-cvl.fr.

Additional Information

- Salary: the position is for three years (36 months), about 1,400 EUR net per month including health insurance.
- Location: Department of Computer Science at INSA Centre Val de Loire, Bourges, France
- Contact: Dr Sabine FRITTELLA (email: sabine.frittella at insa-cvl.fr <mailto:sabine.frittella at insa-cvl.fr>)
- Application deadline: March 31st, 2019
- Interview dates: Throughout May-June 2019
- Starting date: October 1st, 2019