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

[Patrick Baillot]

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 analysis for sequential, parallel or concurrent systems ; privacy properties of programs (sensitivity, differential privacy…) ; typing methods for synchronous languages (e.g. static analysis for clock assignment).

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 would be at the beginning of 2022 but is negociable. 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!F-NQSW8QIIvOoBOvgM0TAKrSixOOksZrCRmqvMQ5sJ1Ez_u_CxbUhSs0brVMpgvO8RZtbPQyth0LcA$  ), within the CRIStAL research center (https://urldefense.com/v3/__https://www.cristal.univ-lille.fr/en/__;!!IBzWLUs!F-NQSW8QIIvOoBOvgM0TAKrSixOOksZrCRmqvMQ5sJ1Ez_u_CxbUhSs0brVMpgvO8RZtbPQIu1IuCw$  ). The position is funded by I-site Université Lille Nord-Europe.

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 review of applications will begin on December 6 and continue until 
the position is filled.

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