[dons]

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).

The work will be mostly open source.

https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/

[RSchaeffer]

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.