# Coccinelle engineer position **URL:** \ **Category:** Jobs\ **Created:** [June 3, 2019, 10:08am UTC](https://discuss.ocaml.org/t/coccinelle-engineer-position/3881 "2019-06-03T10:08:29Z")\ **Posts on this page:** 1\ **Showing post:** 1
**Author:** ![Julia\_Lawall](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/julia_lawall/32/1471_2.png) [@Julia\_Lawall](https://discuss.ocaml.org/u/Julia_Lawall)\ **Post date:** [June 3, 2019, 10:08am UTC](https://discuss.ocaml.org/t/coccinelle-engineer-position/3881/1 "2019-06-03T10:08:29Z")
Despite our old fashioned web site ([coccinelle.lip6.fr](http://coccinelle.lip6.fr)) and insufficient manpower to accept many external contributions, the Coccinelle team is looking for an engineer to work on the Cocinelle implementation for 2 years starting in September 2019. Coccinelle is a program transformation tool for C code, written in OCaml, primarily targeting the Linux kernel. The position will be at Inria-Paris (concretely at LIP6). A masters degree is required (relevant work experience might be acceptable). Good knowledge of OCaml or another functional programming language, familiarity with C code, and experience with program analysis (eg in a compiler course) would be helpful. There is no constraint on nationality or requirement to speak French. Please contact [julia.lawall@lip6.fr](mailto:julia.lawall@lip6.fr) if interested. --- _[View the full topic](https://discuss.ocaml.org/t/coccinelle-engineer-position/3881)._