Post-Doctorant en Méthodes Formelles pour la Sécurité Systèmes H/F - Sces Communs Imt Business School Telecom

Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. Télécom SudParis fait partie d'Institut Mines-Télécom.
Vidéo de présentation : https://vimeo.com/778810388/4e591e24fc1/ Mener des recherches dans le domaine des méthodes formelles pour la sécurité, en collaboration avec le partenaire industriel, notamment :

- Participer régulièrement et activement aux réunions

- Travailler en équipe de recherche

- Modéliser des cas d'études, y compris les propriétés de sécurité

- Utiliser des solutions / outils existants pour vérifier les propriétés de sécurité, améliorer des solutions existantes, concevoir de nouvelles solutions / méthodologies

- Effectuer des expériences et analyser des résultats

2/ Présentation et publication des résultats obtenus, en collaboration avec Orange, notamment :

- Participer à des conférences et des revues internationales

- Participer à des séminaires et colloques

- Réaliser des livrables

- Participer à des écoles d'été / d'hiver

3/ Co-encadrement

- Encadrer l'activité de stagiaires et d'étudiants en master

Experience : Débutant accepté

Compétences : Techniques pédagogiques, Anglais niveau avancé B2,Développement de méthodes de recherche, Droit de la propriété intellectuelle, Actualiser régulièrement ses connaissances, Communiquer les résultats des études aux parties prenantes, Concevoir et gérer un projet, Conduire des travaux d'études et de recherche, Structurer, synthétiser des informations, Utiliser les outils numériques

Langues : Anglais souhaité

Qualification : Cadre

Secteur d'activité : Enseignement supérieur

Liste des qualités professionnelles :
Faire preuve de créativité, d'inventivité : Capacité à créer, imaginer quelque chose de nouveau (nouveau produit, nouvelle solution...).
Faire preuve de persévérance : Capacité à maintenir son effort jusqu'à l'achèvement complet d'une tâche quels que soient les imprévus, les obstacles de réalisation rencontrés.
Respecter ses engagements, assumer ses responsabilités : Capacité à engager sa responsabilité pour atteindre un objectif clairement exprimé et à signaler les éventuels freins à lever pour atteindre l'objectif.