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 October 1st, 2020.

The PhD candidate will join the project PRobabilistic Epistemic Logic Applied to Privacy. 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.