Software Engineer - Programming Languages
MetaJobsCloseBy Editorial Insights
Meta is seeking a Software Engineer for the Hack team in London onsite to evolve the Hack language, its developer experience, and Meta’s massive codebase of Hack code. The role focuses on improving syntax and semantics to be more expressive and safer, integrating AI into developer workflows, and building richer static analysis to catch issues at scale across hundreds of millions of lines of code. Core qualifications include a Bachelor’s in Computer Science or related field (or equivalent practical experience), a background in programming languages and type systems, and proven success bringing research results into production as an applied scientist or engineer. When applying, highlight hands-on language work, end-to-end projects, measurable impact, experience shipping tooling at scale, and collaboration with cross-functional teams with clear demonstrations of results.
The Hack team is a group of programming language and type system experts who are responsible for evolving the Hack language (hacklang.org), its developer experience, and Meta's large codebase of Hack code. Our mission is to “make Meta engineers the most productive in the world through safe and expressive languages that work at Meta’s scale”, and because we own the full stack, we can innovate in ways and at speeds that set us apart.
Responsibilities
Improve language’s syntax and semantics to be more expressive and safer for our users
* Integrate AI into our developer workflows
* Build richer static analysis to find and fix issues that Meta engineers experience
* And, doing all of the above at a mind-bogglingly large scale: we operate on a codebase with 100s of millions of lines of code
Qualifications
Bachelor’s degree in Computer Science, Engineering, or a related technical field (or equivalent practical experience)
* Academic background in programming languages and type system theory
* Industry experience as an applied scientist, engineer or similar role, studying and developing programming languages
* Experience in bringing research results into production