[TYPES/announce] postdoc position in Lille (France) on type systems and logical methods

Patrick Baillot patrick.baillot at univ-lille.fr
Tue Mar 15 18:03:01 EDT 2022

Applications are invited for a postdoc position at the University of Lille, France. The successful candidate will work under the supervision of Patrick Baillot, on research topics related to type systems and logical methods in one of the following areas (non exclusive list):
- timing or complexity analysis for sequential, parallel or concurrent systems (e.g. for process calculi or session types); 
- privacy properties of programs (sensitivity analysis, differential privacy…) 
- typing methods for synchronous languages (e.g. static analysis and clock calculus).

Candidates should have, or expect shortly to obtain, a PhD in Computer Science, with expertise in programming languages, logic or formal methods. The position is for one year. The starting date could be June 2022. There is no teaching load. Knowledge of French is not required.

 The candidate will join the SyCoMoRES team (https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/en/teams/sycomores/?force_lang=true__;!!IBzWLUs!HggkZOp9ERXT8-2F41p5ejd_OCyQcj_15NrgIKnkEMLkjUrNkN8aRXhksgksQmiqv_KvRf66QsSAIA$  ), which is a joint project team between Inria, CNRS and University of Lille. It belongs to the CRIStAL research center (https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/en/__;!!IBzWLUs!HggkZOp9ERXT8-2F41p5ejd_OCyQcj_15NrgIKnkEMLkjUrNkN8aRXhksgksQmiqv_KvRf5_xU4NAQ$  ). The position is funded by I-site Université Lille Nord-Europe.
 Lille is a youthful and dynamic city, located in the north of France, at the crossroads of Europe, close to Paris (1h10 by train), Brussels and London.
If you are interested please contact me as soon as possible, with a brief outline of your academic background and research interests.
As a second step, a complete application will consist of
+ a cover letter;
+ a detailed CV including a list of publications and a summary of research;
+ contact information for two or three academic references;
This application should be sent by email to patrick.baillot at univ-lille.fr .

The applications will be reviewed as soon as they are received and until the position is filled.

Patrick Baillot (https://urldefense.com/v3/__https://pro.univ-lille.fr/patrick-baillot/__;!!IBzWLUs!HggkZOp9ERXT8-2F41p5ejd_OCyQcj_15NrgIKnkEMLkjUrNkN8aRXhksgksQmiqv_KvRf7dGYLD7A$  )

More information about the Types-announce mailing list