[Haskell-cafe] Static analysis engineering at Facebook (Clang/OCaml)

[Don Stewart]

Link moved, apply here:
https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT



On Thu, Jul 27, 2017 at 12:39 PM, Shannon Sequeira <
shannonsequeira at gmail.com> wrote:

> Hi Don, the job link appears to be broken.
>
> Best,
> Shannon Sequeira
>
> On 26 July 2017 at 13:11, Don Stewart <dons00 at gmail.com> wrote:
>
>> 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.
>>
>> Infer is a static analysis suite for C++, Java and Objective C used by
>> thousands of engineers at Facebook and elsewhere to find bugs.
>>
>> 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.
>>
>> You should have a working knowledge of C++ semantics, language or
>> compiler design or experience in a range of C++ projects.
>>
>> Infer:
>>
>> http://fbinfer.com/
>>
>> Apply via:
>>
>> https://www.facebook.com/careers/jobs/a0I1200000LT8aA
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> To (un)subscribe, modify options or view archives go to:
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
>> Only members subscribed via the mailman list are allowed to post.
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170727/efadbaed/attachment.html>