Principal Programmer, Language Engineering New

Epic is building Verse, a new declarative language for the metaverse. The Verse project is both - a research project, we are developing new foundations for functional logic programming and verification; and - a delivery project; we have released a reference implementation, which will evolve over time to meet the project's needs. This role is at the research end of this spectrum, where we are working out the precise semantics of Verse and how to verify it. We have a variety of tools that support the prototyping and design development of Verse, and we are looking for a research-oriented engineer or an engineering-oriented researcher to nurture, curate, develop, test, and support that infrastructure. In this role, you will

• Design, implement, and test a variety of research tools, including a reference implementation and a term-rewrite-system that implements Verse, verification engines, and test frameworks to exercise these tools
• Co-author documents that specify Verse for different audiences, including research papers aimed at academics and design documents for Epic engineers
• Partner with a globally distributed research team
  
  Excellent Haskell programming skills and knowledge of the Haskell ecosystem
• Knowledge of programming language design and implementation techniques: semantics, confluence, abstract interpretation, formal verification and proof unification
• Excellent interpersonal skills to contribute as a full member of a geographically distributed team
  
  At the core of Epic's success are talented, passionate people. Epic prides itself on creating a collaborative, welcoming, and creative environment. Whether it's building award-winning games or crafting engine technology that enables others to make visually stunning interactive experiences, we're always innovating.
Being Epic means being a part of a team that continually strives to do right by our community and users. We're constantly innovating to raise the bar of engine and game development., Unreal projects have been leading the pack of real-time entertainment with our constantly growing team of engineering experts. We're always improving on the tools and technology that empower content developers worldwide., Epic Games spans across 25 countries with 46 studios and 4,500+ employees globally. For over 25 years, we've been making award-winning games and engine technology that empowers others to make visually stunning games and 3D content that bring environments to life like never before. Epic's award-winning Unreal Engine technology not only provides game developers the ability to build high-fidelity, interactive experiences for PC, console, mobile, and VR, it is also a tool being embraced by content creators across a variety of industries such as media and entertainment, automotive, and architectural design. As we continue to build our Engine technology and develop remarkable games, we strive to build teams of world-class talent. Like what you hear? Come be a part of something Epic! Epic Games deeply values diverse teams and an inclusive work culture, and we are proud to be an Equal Opportunity employer. Learn more about our Equal Employment Opportunity (EEO) Policy here.