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
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 fbe...@irisa.fr
Caml-list mailing list. Subscription management:
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs