Post-doctorate position in Programming Language Design

August 28, 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 post-doctorate position in the domain of Programming Language Design, under the supervision of David Teller (SDS) and Henri Binsztok (MLState).

This position lasts 18 months, with a salary of 32k€ per year and strong perspectives of a permanent position if desired by the candidate. The position is available starting in October 2008.

Profile and skills

The candidate must hold a PhD in Computer Science and should be interested in static analysis of safety properties. In addition, the candidate should have knowledge in at least one of the following domains:

  • functional programming
  • type theory
  • rewriting
  • compilation
  • theoretical foundations of concurrency
  • static analysis
  • program security.

The candidate must be eligible to work in France and should expect to work at the R&D department of MLState, in Paris, with occasional presence in Laboratoire d’Informatique Fondamentale d’Orléans. The primary task of the candidate will be the definition and implementation of a data request language comparable to SQL. The final objective of this post-doctorate is the development of a certifying and optimizing compiler for the distributed execution of data requests, for use on a certified web platform.

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 Post-doctorate position in Programming Language Design at Il y a du thé renversé au bord de la table.


%d bloggers like this: