ingénieur en conception d’un langage de propriétés pour les protocoles cryptographiques en Squirrel (H/F)
New
- IT in FTC
- 12 month
- BAC+3/4
This offer is open to people with a document recognizing their status as a disabled worker.
Offer at a glance
The Unit
Institut de recherche en informatique et systèmes aléatoires
Contract Type
IT in FTC
Working hHours
Full Time
Workplace
35042 RENNES
Contract Duration
12 month
Date of Hire
01/09/2026
Remuneration
entre 2 496, 98 € bruts et 2 870, 98€
Apply Application Deadline : 29 June 2026 23:59
Job Description
Missions
Contribuer à l’amélioration de l’outil SQUIRREL en concevant un langage de propriétés pour les protocoles cryptographiques, indépendant du découpage en systèmes d’actions, et compatible avec d’autres outils comme SAPIC⁺.
Activity
Étudier le résultat théorique sur la traduction et sa justification (BDGH25) et prendre en main l’outil SQUIRREL.
Concevoir un langage de propriétés inspiré de SAPIC⁺, permettant une interopérabilité entre les outils et facilitant les analyses de sécurité (ex. : preuves d’authentification ou d’équivalence).
Adapter ou exploiter le résultat de correction de la traduction pour SAPIC⁺, en explorant un regroupement des instructions pour améliorer ses performances.
Développer et intégrer les résultats obtenus dans l’outil SQUIRREL.
Your Profil
Skills
Savoirs : Bases solides en informatique fondamentale (théorie des langages, vérification formelle).
Savoir-faire : Compétences en développement logiciel.
Savoir-être : Autonomie, rigueur scientifique, capacité à travailler en équipe pluridisciplinaire.
Your Work Environment
A propos du laboratoire
=============
www.irisa.fr
L'IRISA est aujourd'hui l'un des plus grands laboratoires de recherche français (plus de 850 personnes) dans le domaine de l'informatique et des technologies de l'information. Structuré en sept départements scientifiques, l'IRISA est un laboratoire d'excellence dont les priorités scientifiques sont la bioinformatique, la sécurité des systèmes, les nouvelles architectures logicielles, la réalité virtuelle, l'analyse des big data et l'intelligence artificielle. Tourné vers l'avenir de l'informatique et nécessairement tourné vers l'international, l'IRISA est au cœur même de la transition numérique de la société et de l'innovation au service de la cybersécurité, de la santé, de l'environnement et de l'écologie, des transports, de la robotique, de l'énergie, de la culture et de l'intelligence artificielle.
Présentation du CNRS en tant qu'employeur : https://www.cnrs.fr/fr/le-cnrs
Présentation de l'IRISA comme laboratoire d'affectation : https://www.irisa.fr/umr-6074
Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.
Compensation and benefits
Compensation
entre 2 496, 98 € bruts et 2 870, 98€
Annual leave and RTT
44 jours
Remote Working practice and compensation
Pratique et indemnisation du TT
Transport
Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€
About the offer
| Offer reference | UMR6074-BENJOS-004 |
|---|---|
| Line of business | IT, Statistics and Scientific Calculation |
| Job Type | Software Engineer |
About the CNRS
The CNRS is a major player in fundamental research on a global scale. The CNRS is the only French organization active in all scientific fields. Its unique position as a multi-specialist allows it to bring together different disciplines to address the most important challenges of the contemporary world, in connection with the actors of change.
Create your alert
Don't miss any opportunity to find the job that's right for you. Register for free and receive new vacancies directly in your mailbox.