Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Frédéric_Besson <fbesson@i...>
Subject: [Job]_Ingénieur_associé_at_Inria_Rennes
Interested in static program analysis? A passionate Caml developer ?

For several years, the Inria Lande project-team located in Rennes  
has  been developing  static analyses targeting Java byte code.
We are now looking for a talented Caml Programmer who wants to be the  
cornerstone of this development effort aimed at producing
a tool that provides a number of cooperating analyses, including  
control flow, relational numerical domains, alias and null references.

The formal job announcement  (in French) can be found on the Inria   
website at  

The succesful candidate will join the Lande project-team and interact  
with the permanent academic staff as well as the PhD students working  
in the project.
* The position is for one year with the possibility of a one year  
extension based upon achievements
* The position is open to junior software engineers with a Master's  
degree (or equivalent)
* The gross salary is  2495€ per month.

For more information, contact