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
ihes.fr/en/applications/post-docs/huawei-young-talents-programme
ihes.fr/en/applications/post-docs/ibm-postdoctoral-position-in-artificial-intelligence
---
Vasily Pestun
IHES
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
