Facebook's Infer

Facebook's Infer is an open-source static analyzer written in OCaml. It is based on separation logic and primarily focuses on memory access violations. These are the job requirements for a static analysis engineer at Facebook:

• B.S. or M.S. in Computer Science or related field, or equivalent experience
• Experience with C++ language specification, semantics or compilation
• Strong communication skills

Preferred qualifications:

• M.S. or further study in an language design, functional programming or static analysis
• Experience designing APIs for language tools
• Experience with typed functional programming (e.g. OCaml, Haskell)
• Knowledge of C++, Clang or other compiler Front Ends
• Static analysis knowledge or other formal methods in verification and correctness
• Knowledge of OCaml or equivalent typed language

You can learn all these skills by working on our Goblint analyzer!