Skip to main content

Software Engineer, Infer (Paris)

Posted: 7 May 2021 Closes: 6 Jun 2021
Paris, France Competitive
Permanent & Full-time -425441638

The Static Analysis Tools team -- aka Infer -- supports Facebook developers so they can move fast with more confidence in the correctness and reliability of their code, by deploying state-of-the-art static analysis and type checkers within IDEs, at diff-time, and in daily repo-wide scans. We analyse C++, Java, and Objective C, supporting Facebook services, Android, and iOS developers.We're currently building and deploying the next-generation core static analysis engine, Pulse. Currently, Pulse is being deployed to support C++ service developers. The next step will be to deploy it to support Android and iOS developers too. The role is to support those deployments.This is a Short Term Employee position that will be based in Paris.

Software Engineer, Infer (Paris) Responsibilities


  • Work with the Infer team to design, implement, test, deploy, and refine Pulse iOS bug checkers

  • Collaborate with Facebook developer community representatives on improving the fidelity of the checkers, making the signal more actionable, and designing new checkers to support arising needs

Minimum Qualifications


  • Familiarity with programming language semantics and applied formal methods, particularly type systems, static analyses, abstract interpretation, symbolic execution

  • Familiarity with at least two of the following programming languages: OCaml, Rust, Haskell, Objective-C, C, C++, Java, Swift

Preferred Qualifications


  • Fluency in OCaml or other languages of the ML family (Haskell, F#, ...)

  • Experience with iOS application development in Objective-C/Objective-C++

  • Experience in implementing applied formal methods (e.g., type checkers, static analyses, abstract interpretation, symbolic execution)

Locations

About the Facebook company

Facebook's mission is to give people the power to build community and bring the world closer together. Through our family of apps and services, we're building a different kind of company that connects billions of people around the world, gives them ways to share what matters most to them, and helps bring people closer together. Whether we're creating new products or helping a small business expand its reach, people at Facebook are builders at heart. Our global teams are constantly iterating, solving problems, and working together to empower people around the world to build community and connect in meaningful ways. Together, we can help people build stronger communities - we're just getting started.

Facebook is committed to providing reasonable support (called accommodations) in our recruiting processes for candidates with disabilities, long term conditions, mental health conditions or who are neurodivergent, and to candidates with sincerely held religious beliefs or requiring pregnancy related support. If you need support, please reach out to accommodations-ext@fb.com.
If you would like help and advice about applying for this role please visit the Career Hive

Share Job

If you would like help and advice about applying for this role please visit the Career Hive