Stagiaire de La Recherche
il y a 1 semaine
**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 sur le concept de graphes ouverts. Il s'agira de définir formellement le sous-décalage correspond à un tel graphe, de 3 manières (matrices, graphes, ensemble de mots infinis) et de définir la notion de conjugaison (à base d'automate cellulaire) sur de tels objets.
**Pour une meilleure connaissance du sujet de recherche proposé**:
**Principales activités**:
- Recherche bibliographique sur la dynamique symbolique unidimensionelle, et les invariants de conjugaison
- Définition d'un sous-décalage sur graphe ouvert
- Définition d'une notion de conjugaison entre tels sous-décalages.
**Compétences**:
Compétences techniques et niveau requis : Des connaissances en dynamique symbolique sont appréciées.
Langues : français écrit et parlé, anglais écrit et parlé
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 œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
**Rémunération**:
Gratification de stage : 4,35 €/heure (plus ou moins 670 €/mois)
Rémunération de la thèse : 2100 € brut/mois la 1ère année
**Informations générales**:
- **Thème/Domaine**: Preuves et vérification
- **Ville**: Villers lès Nancy
- **Centre Inria**: Centre Inria de l'Université de Lorraine
- **Date de prise de fonction souhaitée**: 2025-03-03
- **Durée de contrat**: 6 mois
- **Date limite pour postuler**: 2024-12-01
**Consignes pour postuler**:
**Sécurité défense**:
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
**Politique de recrutement**:
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
**Contacts**:
- **Équipe Inria**: MOCQUA
- **Recruteur**:
**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'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.
-
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...
-
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 de la recherche
il y a 1 semaine
Villers-lès-Nancy, France INRIA Temps pleinContexte 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...
-
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...
-
Gestionnaire de Formation
il y a 2 semaines
54600 Villers-lès-Nancy, France Office National des Forêts Temps plein**Présentation de l'entreprise** **Un métier au service de la forêt et du bois, y avez-vous pensé ?** Être ONF, c'est rejoindre les 8200 femmes et hommes qui se mobilisent pour: - ** Valoriser la ressource en bois** - ** Agir pour l'environnement** - ** Accueillir le public en forêt** - ** Prévenir les risques naturels** - ** Proposer des...
-
Stage de Master 2
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 **Autre diplôme apprécié **:Stage dans le cadre d'un Master 2 en mathématiques appliquées ou en biostatistique **Fonction **:Stagiaire de la recherche **Niveau d'expérience souhaité **:Jeune diplômé **Contexte et atouts du poste**: **Principales
-
Stage Internship
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**: **Missions**: La personne recrutée sera amenée à développer une approche graphique des groupes pleins...
-
Stage de M2
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 **Contexte et atouts du poste**: **Préambule**: **Dans le cadre d’un partenariat** - Encadrement entre Ludovick Gagnon et Hoai-Minh Nguyen **Mission confiée**: **Missions**: Le stage consiste à revisiter la...
-
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...