[ 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 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.bail...@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$
)
