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
- 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.
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.