4 ms·
Facebook | C++/OCaml static analysis | | London, UK | Onsite | Full time Work extending the open source Infer static analysis suite support for C++. We use Cla
by dons 9y ago
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/ https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/
- RSchaeffer 9y agoI 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.