Deducteam is offering a 3-year engineering position to help develop, test and maintain tools for proof system interoperability (continuous integration, proof libraries management, searching tools, VSCode interface, etc.). Net taxable monthly salary between 2148 and 4412 euros depending on experience, including social security and 9 weeks holidays/year.
Interested people should send me their CV before 30 July 2023. Applications will be examined over time.
Best regards, Frédéric Blanqui, chair of EuroProofNet. https://blanqui.gitlabpages.inria.fr/