Dear Coq 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.
Best wishes.
Have you considered sharing this on the Lean Zulip? (Either in Job Postings stream or in the Machine learning for theorem proving stream.)
1 Like