Job Description

The Facebook Reality Labs (FRL) Research Team brings together a world-class team of researchers, developers, and engineers to create the future of AR and VR, which together will become as universal and essential as smartphones and personal computers are today. The Surreal Vision team is looking for the next generation of scientists and engineers to tackle the most ambitious problems in machine perception. The primary role of this internship is to conduct research in compilers, programming languages, and formal verification, with the goal of creating new research tools or prototypes that researchers or developers can use to solve some of our important research challenges. Our internships are twelve (12) to twenty four (24) weeks long and we have various start dates throughout the year.

Research Intern, Compilers and Programming Languages (PhD) Responsibilities

* Research, development, and prototyping of novel compilers, program synthesis formulations, or tools with the goal of solving practical machine perception research problems.

* Putting research insights and ideas into practice by building proof-of-concept research prototypes.

* Collaboration with researchers across multiple disciplines and teams

* Communication of research agenda, progress and results to a cross-disciplinary team

Minimum Qualifications

* Currently has, or is in the process of obtaining, a PhD in the field of programming languages, program synthesis, formal methods, compilers, or related field

* Experience using solver or formal verification tools: Z3, Boolector, Rosette, Alloy, or equivalent tools

* Strong foundational knowledge of basic compiler, programming language, and formal verification concepts

* Interpersonal skills: cross-group and cross-culture collaboration

* Must obtain work authorization in country of employment at the time of hire, and maintain ongoing work authorization during employment.

Preferred Qualifications

* Proven track record of strong interdisciplinary research collaborations and delivery of research prototypes

* Experience with or familiarity with basic privacy and security concepts

* Publication track record in one or more of the following conferences: PLDI, OOPSLA, POPL, ICFP, CGO, ASPLOS, and CC

* Intent to return to degree-program after the completion of the internship

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.

(Colorado only*) Minimum salary of $8,100/year + bonus + equity + benefits
*Note: Disclosure as required by sb19-085(8-5-20)