Not Authorized
You are currently not authorized to access this section.
Please contact your Administrator to change your authorization settings.
Please contact your Administrator to change your authorization settings.
Research Intern, Compilers and Programming Languages (PhD)
Madison, WI
Job/Internship Description
**Intro:** 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.**Summary:** 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.**Required Skills:** 1. Research, development, and prototyping of novel compilers, program synthesis formulations, or tools with the goal of solving practical machine perception research problems.2. Putting research insights and ideas into practice by building proof-of-concept research prototypes.3. Collaboration with researchers across multiple disciplines and teams4. Communication of research agenda, progress and results to a cross-disciplinary team**Minimum Qualifications:** 5. Currently has, or is in the process of obtaining, a PhD in the field of programming languages, program synthesis, formal methods, compilers, or related field6. Experience using solver or formal verification tools: Z3, Boolector, Rosette, Alloy, or equivalent tools7. Strong foundational knowledge of basic compiler, programming language, and formal verification concepts8. Interpersonal skills: cross-group and cross-culture collaboration9. Must obtain work authorization in country of employment at the time of hire, and maintain ongoing work authorization during employment.**Preferred Qualifications:** 10. Proven track record of strong interdisciplinary research collaborations and delivery of research prototypes11. Experience with or familiarity with basic privacy and security concepts12. Publication track record in one or more of the following conferences: PLDI, OOPSLA, POPL, ICFP, CGO, ASPLOS, and CC13. Intent to return to degree-program after the completion of the internship**Industry:** Internet**Equal Opportunity:** Facebook is proud to be an Equal Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender, gender identity, gender expression, transgender status, sexual stereotypes, age, status as a protected veteran, status as an individual with a disability, or other applicable legally protected characteristics. We also consider qualified applicants with criminal histories, consistent with applicable federal, state and local law. Facebook is committed to providing reasonable accommodations for candidates with disabilities in our recruiting process. If you need any assistance or accommodations due to a disability, please let us know at accommodations-ext@fb.com.
Position Summary
Company
Facebook
Start Date
As soon as possible
Employment Type
Full Time
Period of Employment
Open
Type of Compensation
Paid
College Credits Earned
No
Tuition Assistance
No
Required Student Status
Open
Preferred Majors
Other
Email this Job to Yourself or a Friend