Postdoctoral position in logic, semantics, formal verification, Lyon (France)

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. The salary will depend on the successful candidate's prior research experience with a guaranteed minimum of 2300 EUR/month before taxes.

Inside the LIP laboratory, the Plume team could be of particular interest to the readers of the types and fom mailing lists (logic, semantics, formal verification).