Lean job in Orsay

Stream: general

[Patrick Massot]

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]

Nice, someone else at Orsay ! :tada: