Ingénieur / Ingénieure d'intégration applicative (H/F) 35 - Rennes
Offre n° 3591095
Ingénieur / Ingénieure d'intégration applicative (H/F)
35 - Rennes - Localiser avec Mappy
Publié le 09 juin 2026
Mission : 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⁺. Activités : É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.
- Type de contrat
-
CDD - 12 Mois
Contrat travail - Durée du travail
-
Travail en journée
- Salaire
- entre 2 496, 98 € bruts et 2 870,…
Profil souhaité
Expérience
- Débutant accepté
Employeur
Le Centre national de la recherche scientifique, plus connu sous son sigle CNRS, est un établissement public à caractère scientifique et technologique (EPST). Pour relever les grands défis présents et à venir, ses scientifiques explorent le vivant, la matière, l’Univers et le fonctionnement des sociétés humaines. Internationalement reconnu pour l’excellence de ses travaux scientifiques, le CNRS est une référence aussi bien dans l’univers de la recherche et développement que pour le grand publ...
D'autres offres peuvent vous intéresser :
(déjà vu)
Chargé de mission SIG et cartographie (H/F)
DIRECTION REGIONALE DE L'ENVIRONNEMENT D - 35 - RENNES
Missions : - Assurer le traitement de l'information géographique disponible, en lien avec les chargés de missions : - Produire des analyses statistiques par l'exploitation de données de sources...
CDD - Temps plein
Publié il y a 14 jours
CDD
Temps plein
(déjà vu)Chargé de missions SIG F/H - Conception, recherche (H/F)
Ciril GROUP - 35 - Rennes
Descriptif du poste: Intégré(e) au sein de l'équipe multi-sites du service clients et placé(e) sous la responsabilité de Florian, vous serez amené(e) à réaliser les missions suivantes liées à notre...
CDI - Non renseigné
Publié hier
CDI
Non renseigné
Découvrez d'autres services web

Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.

B.A.BA Entretien
Apprenez à préparer votre prochain entretien.

Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.

Simulateur en cas de reprise d'emploi salarié
Estimez vos droits aux allocations et aides.
- Voir plus de services (Emploi store)


.



