Emploi
J'estime mon salaire
Mon CV
Mes offres
Mes alertes
Se connecter
Trouver un emploi
TYPE DE CONTRAT
Emploi CDI/CDD
Missions d'intérim Offres d'alternance
Astuces emploi Fiches entreprises Fiches métiers
Rechercher

Ingénieur vérification formelle de protocole de communication post-quantique en squirrel h/f

Villers-lès-Nancy
CDD
Inria
Documentation
2 692 € par mois
Publiée le 6 juillet
Description de l'offre

A propos d'Inria

Inria est l'institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l'interface d'autres disciplines. L'institut fait appel à de nombreux talents dans plus d'une quarantaine de métiers différents. 900 personnels d'appui à la recherche et à l'innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'eorce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie. Ingénieur Vérification Formelle de protocole de communication post-quantique en Squirrel

Type de contrat : CDD

Contrat renouvelable : Oui

Niveau de diplôme exigé : Bac +5 ou équivalent

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : Jeune diplômé

Contexte et atouts du poste

Dans le cadre du projet PEPR PQ TLS (), l'objectif est de participer au dévellopement de preuve formelle en utilisant l'assistant de preuve Squirrel, un projet dynamique dont le développement se déroule sur les sites de Rennes, Paris et Nancy.

Mission confiée

Missions :
Avec l'aide de Charlie Jacomme, la personne recrutée sera amenée à
- Dévelloper en OCaml de l'outils lui même, notamment en vue de l'amélioration de certains points d'interfaces utilisateurs;
- L'utilisation de Squirrel pour produire des preuves portant sur un protocol fournissant des garanties post-quantiques.

Pour une meilleure connaissance du sujet de recherche proposé :
Un état de l'art, une bibliographie, des références scientifiques sont disponibles à l'URL suivante, n'hésitez à pas à vous y connecter :

Principales activités

Principales activés (5 maximum) :
- Mettre à la preuve la qualité de la documentation utilisateur et des tutoriaux de Squirrel et y réaliser des améliorations.
- Participer à la réalisation de preuve ou d'étapes de preuves sur un protocolfournissant des garanties post-quantiques.
- Résolution de bugs et ajout de feature de base à Squirrel.

Compétences

Compétences techniques et niveau requis :
- Connaissance solide en mathématique, ou cryptographie, ou logique
- Programmation

Langues : Français

Compétences relationnelles :

Compétences additionnelles appréciées :

Avantages
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés : 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des oeuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale

Rémunération

A partir de 2692 € brut/mois selon diplômes et expérience

Postuler
Créer une alerte
Alerte activée
Sauvegardée
Sauvegarder
Voir plus d'offres d'emploi
Estimer mon salaire
JE DÉPOSE MON CV

En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.

Offres similaires
Recrutement Inria
Emploi Inria à Villers-lès-Nancy
Emploi Culture à Villers-lès-Nancy
Emploi Villers-lès-Nancy
Emploi Meurthe-et-Moselle
Emploi Lorraine
Intérim Meurthe-et-Moselle
Intérim Lorraine
Accueil > Emploi > Emploi Culture > Emploi Documentation > Emploi Documentation à Villers-lès-Nancy > Ingénieur Vérification Formelle de Protocole de Communication Post-Quantique en Squirrel H/F

Jobijoba

  • Conseils emploi
  • Avis Entreprise

Trouvez des offres

  • Emplois par métier
  • Emplois par secteur
  • Emplois par société
  • Emplois par localité
  • Emplois par mots clés
  • Missions Intérim
  • Emploi Alternance

Contact / Partenariats

  • Contactez-nous
  • Publiez vos offres sur Jobijoba
  • Programme d'affiliation

Suivez Jobijoba sur  Linkedin

Mentions légales - Conditions générales d'utilisation - Politique de confidentialité - Gérer mes cookies - Accessibilité : Non conforme

© 2025 Jobijoba - Tous Droits Réservés

Les informations recueillies dans ce formulaire font l’objet d’un traitement informatique destiné à Jobijoba SA. Conformément à la loi « informatique et libertés » du 6 janvier 1978 modifiée, vous disposez d’un droit d’accès et de rectification aux informations qui vous concernent. Vous pouvez également, pour des motifs légitimes, vous opposer au traitement des données vous concernant. Pour en savoir plus, consultez vos droits sur le site de la CNIL.

Postuler
Créer une alerte
Alerte activée
Sauvegardée
Sauvegarder