Facebook Research Intern, Compilers and Programming Languages (PhD) in Des Moines, Iowa
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.
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, 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
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.
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
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 email@example.com.
- Facebook Jobs