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.
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: May 28 2023 at 18:29 UTC