Stage recherche: Fuzzing DY pour protocoles de vote

Contexte et atouts du poste We are seeking a Master’s intern or a PhD candidate to join our puffin [1] team and design Dolev‑Yao (DY) model‑guided fuzzing techniques [2] amenable to e‑voting protocols. Mission confiée First of all, the candidate will get familiar with formal DY models, fuzzing [2], as well as with the existing code base of SwissPost...

Niveau de diplôme exigé : Bac + 5 ou équivalentFonction : Stagiaire de la rechercheContexte et atouts du posteWe are seeking a Master's intern or a PhD candidate to join our puffin [1] team and designDolev-Yao (DY) model-guided fuzzing techniques [2] amenable to e-voting protocols.Mission confiéeFirst of all, the candidate will get familiar with formal...

Un institut de recherche situé à Villers-lès-Nancy recherche un développeur logiciel pour continuer le projet tlspuffin. Les responsabilités incluent la gestion de projet et le développement en Rust, C/C++. Le candidat devra être à l'aise en anglais et aura accès à divers avantages tels que 7 semaines de congés annuels et des équipements...

Type de contrat : CDDNiveau de diplôme exigé : Bac + 5 ou équivalentFonction : DoctorantNiveau d'expérience souhaité : Jeune diplôméContexte et atouts du posteCadre du projet CyMove sur la sécurité des véhicules connectés.Les véhicules connectés utilisent des protocoles de communication basés sur Ethernet pour les échanges de données entres...

**Type de contrat **:Convention de stage **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Stagiaire de la recherche **Contexte et atouts du poste**: **Dans le cadre d’un partenariat** - collaboration entre 2 équipes Inria : RESIST et CARAMBA, Contexte: Les véhicules connectés utilisent des protocoles de communication basés sur...

Une banque de détail française recherche un stagiaire pour offrir une expérience client de qualité. Vous serez intégré à une équipe solidaire et formé tout au long de votre parcours. Les missions comprennent la gestion de l'agence, la conformité et le phoning. Nous recherchons un étudiant de Bac+4/5 en banque ou finance, doté d'un bon relationnel...

Une entreprise de transport d'électricité dans le Grand Est recherche un(e) stagiaire pour analyser des données non structurées et proposer des solutions innovantes, incluant des approches IA. Le candidat idéal est un(e) étudiant(e) en BAC + 3, capable de traiter de gros volumes de données et maîtrisant les outils M365. Ce stage offre 35h...

Un institut de recherche en santé recherche un(e) stagiaire pour développer des algorithmes de traitement du signal ultrasonore afin de prévenir des pathologies dues aux vibrations. Ce stage implique la modélisation et la mise en œuvre d'expérimentations pratiques au laboratoire. Les candidats doivent être en Master 2 ou école d'ingénieur,...

**Type de contrat **:Convention de stage **Niveau de diplôme exigé **:Bac + 5 ou équivalent **Fonction **:Stagiaire de la recherche **Niveau d'expérience souhaité **:Jeune diplômé **Contexte et atouts du poste**: **Mission confiée**: La personne recrutée sera amenée à développer une approche modulaire des sous-décalages de type fini, fondée...

Type de contrat : Convention de stageNiveau de diplôme exigé : Bac + 4 ou équivalentFonction : Stagiaire de la rechercheContexte et atouts du posteLe traitement de flux de données (Data-Stream-Processing, DSP) est un modèle de calcul qui a été popularisépar les infrastructures logicielles Flink[1] et Storm[2]. Le principe général est d'avoir un...