[Agda] 3-year engineering position in Deducteam, Inria Paris-Saclay, France

[Frédéric Blanqui]

Dear colleagues,

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.

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/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20230422/610fada0/attachment.html>