Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Post-doc in IHES

Patrick Massot (Nov 27 2020 at 12:47):

Reposted from the general stream:

Two postdoc positions in automatic and interactive theorem proving in dependent type theory (we are using Coq currently) will be opened with a starting date September 1, 2021 at IHES, France

See details and apply before the deadline December 3, 2020


Jason Rute (Nov 27 2020 at 12:51):

More discussion and working links in the main post linked above.

Patrick Massot (Nov 27 2020 at 12:53):

I fixed the links :smile:

Last updated: Dec 20 2023 at 11:08 UTC