Logic List Mailing Archive

PhD student position in Logics for Privacy, Bourges (France), Deadline: 31 Mar 2020

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.frittella@insa-cvl.fr <mailto:sabine.frittella@insa-cvl.fr>) and Benjamin Nguyen (benjamin.nguyen@insa-cvl.fr <mailto:benjamin.nguyen@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.frittella@insa-cvl.fr <mailto:sabine.frittella@insa-cvl.fr>) and 
Benjamin Nguyen (benjamin.nguyen@insa-cvl.fr 
<mailto:benjamin.nguyen@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.frittella@insa-cvl.fr <mailto:sabine.frittella@insa-cvl.fr>) and Benjamin Nguyen (benjamin.nguyen@insa-cvl.fr <mailto:benjamin.nguyen@insa-cvl.fr>)
- Application deadline:  March 31st, 2020 or until fulfilled
- Starting date: October 1st, 2020.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam