Zulip Chat Archive

Stream: general

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