Stage M2 Système et Langages de Programmation

August 31, 2008 § Leave a comment

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.

Tagged: , , , , , , , , , , , , , , , , , , , , , , , , , , ,

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

What’s this?

You are currently reading Stage M2 Système et Langages de Programmation at Il y a du thé renversé au bord de la table.

meta

%d bloggers like this: