Facebook | C++/OCaml static analysis | | London, UK | Onsite | Full time
Work extending the open source Infer static analysis suite support for C++. We use Clang for the front-end and have an open role to work on this in general. The code is all OCaml. Expertise in C++ is highly desirable. The requirements are roughtly C++ AND (OCaml OR Haskell OR Static Analysis OR Formal Methods).
I know this isn't relevant to your post, but do you know anything about Facebook's London Software Engineering Co-op, or could you put me in touch with someone who does?
I'm trying to clarify whether the role is full-time, and if so, whether it might be possible to create a part-time equivalent position for a student enrolled in a MRes program.
Work extending the open source Infer static analysis suite support for C++. We use Clang for the front-end and have an open role to work on this in general. The code is all OCaml. Expertise in C++ is highly desirable. The requirements are roughtly C++ AND (OCaml OR Haskell OR Static Analysis OR Formal Methods).
The work will be mostly open source.
https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/