Topic: Lean job in Orsay
Patrick Massot (May 01 2022 at 16:34):
For people not subscribed to the job posting stream but who may still be looking for a post-doc, please see https://leanprover.zulipchat.com/#narrow/stream/284757-job-postings/topic/Lean.20job.20in.20Orsay/near/280802739. Please post responses there instead of in this general stream.
Anatole Dedecker (May 03 2022 at 21:05):
Nice, someone else at Orsay ! :tada:
Last updated: Aug 03 2023 at 10:10 UTC