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
- 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.
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.
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: alice, bachelor's degree, bytecode, candidate, compilation, computer science, concurrency, development, f#, Functional Programming, haskell, internship, lifo, ml, mlstate, OCaml, operating system, position, programming, programming languages, r&d, research, scala, sml, virtual machines, web applications