[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Start-up MLState [1] and team SDS [2] (Security of Distributed Systems,
part of Laboratoire d’Informatique Fondamentale d’Orléans [3]) offer a
post-doctorate position in the domain of Programming Language Design,
under the supervision of David Teller (SDS) and Henri Binsztok

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

      * 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 [4] and David Teller [5]. 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 [6], 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.

[1] http://www.mlstate.com 
[2] http://www.sds-project.fr
[3] http://www.univ-orleans.fr/lifo/?lang=en
[5] http://www.univ-orleans.fr/lifo/pageperso.php?id=83&lang=fr
[6] http://www.ensi-bourges.fr

David Teller-Rajchenbach
 Security of Distributed Systems
 Angry researcher: French Universities need reforms, but the LRU act brings 

Reply via email to