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
http://www.inria.fr/travailler/mrted/en/eng/details.html?  
id=PNGFK026203F3VBQB6G68LOE1&LOV5=4510&LOV6=4514&LG=EN&Resultsperpage=20 
   
&nPostingID=2523&nPostingTargetID=5999&option=52&sort=DESC&nDepartmentID 
  =10

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 fbesson@irisa.fr