[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.bail...@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$
)
