CDD 3 ans ingénieur Inria pour aider dans le test, la maintenance et le développement d'outils pour l'interopérabilité entre systèmes de preuves (intégration continue, gestionnaire de bibliothèques de preuves, algorithmes de recherche, VSCode, etc.)! Salaire mensuel net entre 2148 et 4412 euros selon expérience. Envoyez-moi votre CV.
3-years engineer contract at Inria to help develop, test and maintain tools for proof system interoperability (continuous integration, packages management, search tools, VSCode, etc.)! Net taxable monthly salary between 2148 and 4412 euros depending on experience, including social security and 9 weeks holidays/year. Send me your CV.