Direction générale de l'Institut Mines-Télécom
48.712841,2.2003541
Présentation de Télécom SudParis :
Télécom SudParis est une grande école publique d'ingénieurs reconnue au meilleur niveau des sciences et technologies du numérique. La qualité de ses formations est basée sur l'excellence scientifique de son corps professoral et une pédagogie mettant l'accent sur les projets d'équipes, l'innovation de rupture et l'entreprenariat. Télécom SudParis compte 1 000 étudiantes et étudiants dont 700 élèves ingénieurs et environ de 150 doctorantes et doctorants. Télécom SudParis fait partie de l'Institut Mines-Télécom, premier groupe d'école d'ingénieurs en France, et partage son campus avec Institut Mines-Télécom Business School. Télécom SudParis est co- fondatrice de l'Institut Polytechnique de Paris (IP Paris), Institut de Sciences et Technologies à vocation mondiale avec l'École polytechnique, l'ENSTA Paris, l'ENSAE Paris, l'ENPC et Télécom Paris. Vidéo présentation de Télécom SudParis
À propos de l'Institut Mines-Télécom :
L'Institut Mines-Télécom...
|
Formation
- Niveau de formation et/ou expérience requis : M1 terminé, niveau M2 en cours (il s'agit d'un stage de fin d'études)
Compétences, connaissances et expériences indispensables
- Le projet se situe à l'intersection de deux domaines majeurs de l'informatique : les méthodes formelles et la sécurité. Nous recherchons donc un étudiant en master en informatique (fondamentale) ou en (cyber-) sécurité.
- Des compétences en programmation sont requises.
- La maîtrise de l'anglais est indispensable (les réunions de projet se déroulent en anglais).
Capacités et aptitudes souhaitables
- Des projets de recherche ou des stages antérieurs peuvent renforcer la candidature.
- La connaissance des solveurs pour la sécurité (par exemple, ProVerif) et des solveurs SAT/SMT est un atout.
- Des connaissances théoriques sur les clauses de Horn et la théorie des jeux (Energy) sont un atout.
Capacités et aptitudes
- Curiosité et autonomie en recherche et déploiement
- Travail en équipe et...
|