[Caml-list] Developper position: designing a C front-end in OCaml

[Xavier Rival <Xavier.Rival@ens.fr>]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 3348 bytes --]


We are looking for an experienced OCaml developper in order to design 
front-end components for a static analyzer developped as part of the 
MemCAD ERC project (http://www.di.ens.fr/~rival/memcad.html). The position 
is offered at INRIA Paris Rocquencourt center, in the Abstraction Research 
Team (located in Ecole Normale Supérieure, Paris, 5th Arrondissement). It 
will be funded on the MemCAD project, for a one or two years duration (if 
the candidate opts for a one year contact, an extension to two years will 
be possible). Hiring could be done as soon as December 2013 (later 
starting dates are feasible).

The task that will be undertaken consists in developping front-end 
components for the MemCAD static analyzer, including a C front-end, syntax 
tree simplification, and possibly pre-analyses to be used in the MemCAD 
tool (the goal of this tool is to infer program invariants for codes 
manipulating complex memory data-structures). The components that shall be 
designed as part of this effort have the potential to be used by other 
research groups in the static analysis area.

The candidate should be familiar with functional programming (expertise in 
OCaml is very appreciated) and should preferably have some knowledge in 
compilation (lexers, parsers, representation and transformation of 
abstract syntax trees). The ability to design interfaces with external 
libraries in C/C++ will also be useful. No knowledge in static analysis is 
required. This position requires a Master Degree (or equivalent).

For additional details, please contact Xavier Rival (rival@di.ens.fr).

---------------------------------------------------------------------------

Nous recherchons un expert en programmation OCaml pour concevoir et 
implémenter des composants d'un front-end d'analyseur statique, au sein du 
projet ERC MemCAD (http://www.di.ens.fr/~rival/memcad.html). Le poste sera 
rattaché au Centre de Recherche INRIA Paris Rocquencourt et sera situé à 
l'Ecole Normale Supérieure (Paris, 5ème Arrondissement). Il sera financé 
sur le projet MemCAD, pour une durée de un ou deux ans (dans le cas d'un 
contrat initial pour un an, une extension à deux ans sera possible). Le 
contrat pourra commencer à partir de Décembre 2013 (une date d'embauche 
ultérieure pourra aussi être fixée).

La tâche consistera en la réalisation d'un front-end pour l'analyseur 
statique MemCAD incluant un front-end C, des phases de simplifications 
syntaxiques et éventuellement des pré-analyses qui pourront être utilisées 
dans l'analyseur MemCAD (le but de cet analyseur est d'inférer des 
invariants de programmes pour des logiciels manipulant des structures de 
données complexes). Ces composants pourront également être utilisés 
ultérieurement dans d'autres équipes en analyse statique.

Une solide connaissance de la programmation fonctionnelle est attendue 
(est une expertise en OCaml sera très appréciée), ainsi que, de 
préférence, de bonnes connaissances en compilation (lexeurs, parseurs, 
représentations et transformations d'arbres syntaxiques abstraits). Une 
expérience en mise au point d'interfaces entre code OCaml et code C/C++ 
sera également utile. Aucune connaissance en analyse statique n'est 
exigée. Un niveau Master ou équivalent est attendu.

Pour plus de détails, veuillez contacter Xavier Rival (rival@di.ens.fr).