08.31.08
Stage M2 Système et Langages de Programmation
Note De nouveaux stages sont proposés pour l’année 2009-2010.
L’entreprise MLState et l’équipe SDS (Sécurité et Distribution des Systèmes, équipe du Laboratoire d’Informatique Fondamentale d’Orléans) proposent un stage de Master 2 dans le domaine de l’analyse statique de sécurité, sous la supervision de David Teller (SDS) et Henri Binsztok (MLState).
Ce stage, dont la durée est à négocier, est prévu a priori pour le deuxième semestre 2008-2009 et sera rémunéré 800€ bruts/mois + primes et pourra déboucher sur un doctorat avec bourse CIFRE.
Compétences et parcours
Le candidat doit être étudiant de Master 2 (professionnel ou recherche) en Informatique et doit s’intéresser à la notion de machines virtuelles pour langages sûrs. De plus, le candidat devra avoir des connaissances dans au moins l’un des domaines suivants :
- machines virtuelles
- programmation fonctionnelle, si possible à l’aide de OCaml, F#, SML, Haskell, Scala ou un autre langage proche de ML
- systèmes d’exploitation
- modèles à base de messages
- compilation
- sémantique du parallélisme.
Le candidat doit avoir le droit de travailler en France et sera affecté principalement sur le site de R&D de MLState, au centre de Paris, avec des déplacements occasionnels à l’antenne de Bourges du Laboratoire d’Informatique Fondamentale d’Orléans. La tâche première du candidat concernera la définition et l’implantation d’un modèle d’exécution parallèle simple à base de canaux. L’objectif final de ce stage est le développement d’un mini-système d’exploitation/machine virtuelle certifié, totalement isolé du système d’exploitation principal et dédié à l’exécution de programmes écrits dans le langage développé par MLState.
Pour candidater
Pour candidater, nous vous invitons à envoyer un CV et une lettre de motivation, par courrier physique ou électronique, à Henri Binsztok et David Teller. Si possible, joignez un échantillon de vos travaux scientifiques ou/et techniques.
À propos de MLState
Fondée à Paris en 2007 par Henri Binsztok, enseignant aux Universités Paris 6 & 7, MLState développe un nouveau langage pour la création d’applications web. Ce langage, sur une base fonctionnelle à algèbre réduite, ouvre des perspectives nouvelles en termes de prouvabilité, calcul distribué et intégration aux bases de données. MLState a reçu, à ce titre, le Prix du Concours national d’aide à la création de technologies innovantes. À côté de développements pour des clients, MLState fournit un effort important de recherche pour enrichir son offre technologique intégrée.
À propos de SDS
L’équipe SDS du Laboratoire d’Informatique Fondamentale d’Orléans, basée à l’École Nationale Supérieure d’Ingénieurs de Bourges, mène des recherches sur la sécurisation des systèmes d’exploitation localisés et distristribués face aux intrusions et aux logiciels piégés ou bogués. En premier lieu, les travaux de l’équipe se concentrent sur la notion de politiques de sécurité, depuis l’extraction statique ou dynamique de ces politiques depuis les applications jusqu’à la vérification de haut niveau des propriétés effectivement garanties par les politiques ou la conception d’un langage de programmation pour le co-développement de logiciels et de politiques.
