Zulip Chat Archive

Stream: job postings

Topic: Postdoc: ML translation between formal math libraries

Cyril Cohen (Jun 14 2024 at 12:33):

Dear Lean users,

I would like to attract your attention to an open position at ENS Lyon on the translation between formal mathematics libraries using machine learning techniques.

https://recrutement.inria.fr/public/classic/en/offres/2024-08017

Best wishes.

Patrick Massot (Jun 14 2024 at 12:53):

Are you in Lyon now?

Cyril Cohen (Jun 14 2024 at 13:21):

Yes, I'm at ENS Lyon now.

Cyril Cohen (Oct 03 2024 at 09:04):

For the record, this position is still available.

Last updated: May 02 2025 at 03:31 UTC