<div dir="ltr"><div style="color:rgb(0,0,0)">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 <a href="http://www.ens-lyon.fr/LIP/" target="_blank">http://www.ens-lyon.fr/LIP/</a> for details.) The salary will depend on the successful candidate's prior research experience with a guaranteed minimum of 2300 EUR/month before taxes.<br></div><div style="color:rgb(0,0,0)"><br></div><div style="color:rgb(0,0,0)">An application consists of a single PDF file containing: <br></div><div style="color:rgb(0,0,0)">- a CV including a full list of publications; and</div><div style="color:rgb(0,0,0)">- a research project that in particular proposes a mentor in one of the research teams of the LIP.</div><div style="color:rgb(0,0,0)"><br></div><div style="color:rgb(0,0,0)">Inside the LIP laboratory, the Plume team <a href="http://www.ens-lyon.fr/LIP/PLUME/?page_id=7">http://www.ens-lyon.fr/LIP/PLUME/?page_id=7</a> could be of particular interest to the readers of the types and fom mailing lists (logic, semantics, formal verification).</div><div style="color:rgb(0,0,0)"><br></div><div style="color:rgb(0,0,0)">The application should be sent by email to <a href="mailto:russell.harmer@ens-lyon.fr" target="_blank">russell.harmer@ens-lyon.fr</a> and <a href="mailto:nicolas.trotignon@ens-lyon.fr" target="_blank">nicolas.trotignon@ens-lyon.fr</a> by the 30th May, 23:59 UT. Reference letters should be sent directly by email to the same addresses with the same deadline. </div><font color="#888888"><div><br></div><div>With best regards,</div><div>Damien Pous</div><div><br></div></font></div>