Stream: Hierarchy Builder devs & users

Topic: Job offer


view this post on Zulip Cyril Cohen (Dec 19 2022 at 14:38):

We offer a 1-year long postdoc position from March 1st at Inria Sophia Antipolis, in the context of the CoREACT french ANR.
All the details are in the following document http://cyrilcohen.fr/CoREACT1.pdf
Note that the application link in the document is not valid yet and should be active by January.
Best wishes

view this post on Zulip Bas Spitters (Dec 20 2022 at 10:55):

Interesting! We are combining category theory with math-comp in our SSProve library.
I think this work will be relevant for us. Please keep us posted.


Last updated: Dec 07 2023 at 09:01 UTC