Cyril Cohen (Dec 19 2022 at 14:38): 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
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