<div dir="ltr">The Infer static analysis team at Facebook is hiring. We have a functional programming engineering role in London to work on the open source Clang/C++ frontend to Infer.<div><br></div><div>Infer is a static analysis suite for C++, Java and Objective C used by thousands of engineers at Facebook and elsewhere to find bugs. <br><div><br></div><div>The role is a "compiler" role - working on the Clang AST to OCaml, and intermediate phases of Infer to improve our C++ analysis capabilities. Good FP engineering skills (e.g. Haskell or OCaml) are desirable. </div><div><br></div><div>You should have a working knowledge of C++ semantics, language or compiler design or experience in a range of C++ projects.</div><div><br></div><div>Infer:</div><div><br></div><div><a href="http://fbinfer.com/">http://fbinfer.com/</a></div><div><br></div><div>Apply via:</div><div><br></div><div><a href="https://www.facebook.com/careers/jobs/a0I1200000LT8aA">https://www.facebook.com/careers/jobs/a0I1200000LT8aA</a><br></div></div></div>