[TYPES/announce] Postdoc position at the LIP laboratory, ENS de Lyon, France

[Damien Pous]

The LIP laboratory, located at the ENS de Lyon in France, is offering a 1
year post-doc position in computer science, starting on the 1st September
2021. Candidates should have a PhD and a strong background in one of the
subjects studied in the LIP. (Please refer to http://www.ens-lyon.fr/LIP/ for
details.) The salary will depend on the successful candidate's prior
research experience with a guaranteed minimum of 2300 EUR/month before
taxes.

An application consists of a single PDF file containing:
- a CV including a full list of publications; and
- a research project that in particular proposes a mentor in one of the
research teams of the LIP.

Inside the LIP laboratory, the Plume team
http://www.ens-lyon.fr/LIP/PLUME/?page_id=7 could be of particular interest
to the readers of the types and fom mailing lists (logic, semantics, formal
verification).

The application should be sent by email to russell.harmer at ens-lyon.fr and
nicolas.trotignon at ens-lyon.fr by the 30th May, 23:59 UT. Reference letters
should be sent directly by email to the same addresses with the same
deadline.

With best regards,
Damien Pous
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210510/c2bd2bcc/attachment-0001.htm>