Despite our old fashioned web site (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 if interested.
1 Like