Stagiaire de la recherche
il y a 1 semaine
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 [4].There are several challenges to adapting DY fuzzing techniques to e‑voting and to SwissPost. First, e‑voting protocols differ from mere internet protocols in that they involve complex workflows and interactions between different actors, implemented as different micro‑services in SwissPost. Therefore, the intern will have to design a way to fuzz such complex workflows in order to animate e‑voting ceremonies and elections. Second, the security properties of e‑voting protocols are different and more complex than those of authentication protocols such as TLS. Therefore, the candidate will have to design objective oracles capable of detecting violations of e‑voting security properties. Finally, SwissPost is supposed to resist strong threat models, including insider threats and collusions between different actors. Therefore, the candidate will have to design dynamic actor compromise within the DY fuzzer.The precise direction this project will take shall be agreed upon with the candidate at the beginning of the project. The candidate will benefit from dedicated engineering support from our research engineer working on the project, while also being expected to contribute independently to the software development efforts. Should we find any vulnerability, we would follow standard and ethical responsible disclosure practices.Internship candidates interested in pursuing an academic career may also consider continuing towards a PhD, as we have additional funding available for promising candidates. Principales activités Etat de l’art Recherche Rédaction rapport de stage 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 4.50 €/heure #J-18808-Ljbffr
-
Stagiaire de la recherche
il y a 2 semaines
Villers-lès-Nancy, Grand Est, France Inria Temps pleinNiveau 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...
-
Stagiaire de La Recherche
il y a 1 semaine
54600 Villers-lès-Nancy, France Inria Temps plein**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...
-
Stage recherche: Fuzzing DY pour protocoles de vote
il y a 1 semaine
Villers-lès-Nancy, France INRIA Temps pleinUn institut de recherche en informatique recherche un stagiaire pour développer des techniques de fuzzing guidées par des modèles DY adaptées aux protocoles d'e-voting. Le candidat, qu'il soit à la recherche d'une carrière académique ou non, bénéficiera d'un encadrement dédié tout en étant encouragé à contribuer de manière indépendante. La...
-
Stagiaire - Gestion/Qualité H/F
il y a 1 jour
Villers-lès-Nancy, Grand Est, France VILLE ET SERVICES Temps pleinDepuis plus de 25 ans, Ville et Services, association à but non lucratif, accompagne à domicile des personnes âgées ou en situation de handicap sur la Métropole du Grand Nancy.Nous recherchons un(e) stagiaire pour participer à création ou amélioration de nos processus et à la mise en place d'outils opérationnels afin d'assurer la qualité et...
-
Stagiaire F/H
il y a 2 semaines
Villers-lès-Nancy, Grand Est, France Inria Temps pleinType de contrat : Convention de stageNiveau de diplôme exigé : Bac + 5 ou équivalentFonction : Stagiaire de la rechercheContexte et atouts du posteContexte : Ce stage s'inscrit dans le cadre du projet Cryptanalyse du PEPR Cybersécurité et a pour objectif de concevoir des algorithmes pour décider l'équivalence entre deux fonctions définies sur un...
-
Stagiaire F/H
il y a 1 semaine
Villers-lès-Nancy, Grand Est, France Inria Temps pleinType de contrat : Convention de stageNiveau de diplôme exigé : Bac + 4 ou équivalentFonction : Stagiaire de la rechercheContexte et atouts du posteContexte : Ce stage a pour objectif de proposer une attaque de type boomerang structurel sur un chiffrement fortement aligné précis. Atout : Des déplacements en conférence ou en séminaire, en France comme...
-
Stage Data
il y a 1 semaine
Villers-lès-Nancy, France RTE - Réseau de transport d'électricité Temps pleinUne 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...
-
Stage Conseiller Particuliers – Banque
il y a 1 semaine
Villers-lès-Nancy, France SGS Société Générale de Surveillance SA Temps pleinUne 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...
-
Stage: Imagerie Ultrasonore du Flux Vectoriel du Sang
il y a 1 semaine
Vandœuvre-lès-Nancy, France Institut national de recherche et de sécurité Temps pleinUn 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,...
-
Stage Pfe
il y a 6 jours
Villers-lès-Nancy, France Rte Temps pleinLieu : Villers-lès-Nancy Durée et/ou période du stage : 6 mois à partir de février/mars Contexte: En tant que stagiaire, vous serez intégré à la direction Développement et Ingénierie sous la responsabilité de votre tuteur. Le stagiaire contribuera à explorer les opportunités et les impacts des modèles de langages avancés (tel que LLAMA et...
