Post-doc in IHES

Stream: Machine Learning for Theorem Proving

[Patrick Massot]

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

www.ihes.fr/en/applications/post-docs/huawei-young-talents-programme
www.ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence

[Jason Rute]

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

[Patrick Massot]

I fixed the links :smile: