Internship in Virtual Machine Design

August 31, 2008 § Leave a comment

Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique Fondamentale d’Orléans) offer a research or engineering internship in the domain of Programming Language Design, under the supervision of David Teller (SDS) and Henri Binsztok (MLState).

The duration of the internship remains to be negotiated, with a base salary of 800 €/month + primes. While this is not rigid, the ideal timing would start this internship around February 2009.

Profile and skills

The candidate must hold a Bachelor’s Degree or equivalent in Computer Science and should be interested in the design of Virtual Machines. In addition, the candidate should have knowledge in at least one of the following domains:

  • virtual machines
  • safe programming language
  • operating systems
  • message-passing models
  • compilation
  • theoretical foundations of concurrency

A good knowledge of functional programming, preferably with either OCaml, SML, Haskell, F#, Scala, Alice or some other ML-like language,  would also prove useful.

The candidate must be eligible to work in France and should expect to work essentially in the R&D department of MLState, in Paris with occasional presence the Bourges-based branch of Laboratoire d’Informatique Fondamentale d’Orléans. The primary task of the candidate will be the definition and implementation of an execution model for a simple concurrent, channel-based language. The final objective of this internship is the development of a small certified dedicated operating system/virtual machine for the execution of programs written in the language designed by MLState.

Application procedure

To apply, please send your resume and a motivation letter, by e-mail or physical mail to Henri Binsztok and David Teller. If possible, join a sample of your academic or technical work.

About MLState

Founded in Paris in 2007 by Henri Binsztok, lecturer in Universities Paris 6 & 7, MLState develops a new language for the creation of web applications. This functional language based on reduced algebras, opens new perspectives in terms of provability, distributed computation and database integration. For this work, MLState has been awarded the National Price for Innovating Technologies. Besides developments for clients, MLState invests time and effort in research, so as to enrich its integrated technological offer.

About SDS

Team SDS of Laboratoire d’Informatique Fondamentale d’Orléans, based in École Nationale Supérieure d’Ingénieurs de Bourges, carries on research on security of local and distributed operating systems against intrusions, trojan software and ill-programmed applications. The works deal first and foremost with the notion of security policies, from static or dynamic extraction of these policies from applications to high-level analysis of properties actually guaranteed by given policies or to the design of a programming language for co-development of distributed software and distributed security policies.


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

Leave a Reply

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

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

Google+ photo

You are commenting using your Google+ 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 )


Connecting to %s

What’s this?

You are currently reading Internship in Virtual Machine Design at Il y a du thé renversé au bord de la table.


%d bloggers like this: