2020-02966 - Ingénieur F/H Vérification formelle du protocole de vote électronique Belenios

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é : Jusqu'à 3 ans

Contexte et atouts du poste

Les équipes Pesto et Caramba développent un système de vote électronique, Belenios, qui assure à la fois la vérifiabilité du scrutin et le secret du vote. Ce système est utilisé chaque année dans plusieurs centaines d'élections. Des premières analyses de sécurité ont été effectuées sur ce protocole mais il n'a jamais bénéficié d'une modélisation formelle complète comme cela pu être le cas d'autres protocoles comme celui de Neuchâtel ou CHVote.

 

Mission confiée

Missions :
Avec l'aide de Véronique Cortier, la personne recrutée sera amenée à modéliser le protocole Belenios le plus finement possible (en prenant en compte tous les acteurs) et pour un maximum de propriétés. La vérifiablité et le secret du vote seront bien entendu considérées mais si le temps le permet, nous étudierons comment modéliser et prouver des propriétés comme la résolution de disputes. Pour l’ensemble du modèle, l’outil ProVerif sera utilisé.

 

Principales activités

Principales activés (5 maximum) :

  • modélisation formelle du protocole en ProVerif
  • rédaction d'un rapport justifiant les choix de modélisation

 

Compétences

Compétences techniques et niveau requis : Master en informatique, avec une spécialisation en vérification formelle.

Langues : Français ou Anglais

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 œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Sécurité sociale

Rémunération

Rémunération selon diplôme et expérience à partir de 2562€ brut mensuel.