<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
Dear colleagues,
<div class="moz-forward-container">
<div class="moz-forward-container">
<p>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.</p>
<p>Interested people should send me their CV before <b>30 July
2023</b>. Applications will be examined over time.<br>
</p>
<p>Best regards,</p>
<p>Frédéric Blanqui,</p>
<p>chair of EuroProofNet.</p>
<p><a class="moz-txt-link-freetext"
href="https://blanqui.gitlabpages.inria.fr/"
moz-do-not-send="true">https://blanqui.gitlabpages.inria.fr/</a></p>
<p><br>
</p>
</div>
</div>
</body>
</html>