You will work with us on the design and implementation of Luau, the embedded scripting language in the Roblox engine. Developers on the Roblox platform rely on our team to deliver a comprehensive set of development tools, an ultra-fast multithreaded runtime, and a state of the art gradual type system to power those development tools. Positively impact the lives of millions of developers daily by improving the design, performance, safety, usability, and accessibility of their developer tools. You will report to the Game Engine Programmability team.

You Are

• Passionate about developing software development environments, especially for game developers.
• Proficient in C++ and familiar with a variety of significantly different programming languages
• Think exposure to different paradigms, not just half a dozen flavors of Java.
• Useful to have: experience working with and/or implementing more sophisticated type systems (OCaml, Haskell, Idris, TypeScript, Flow), experience developing APIs and tools, game development, Lua or Luau programming knowledge and compiler development experience
• Responsible: You build systems that work and keep on working optimally.

You Will

• Help our team continue to develop an innovative gradual type system for Luau that leverages key ideas from the past few decades of programming languages research including semantic sub-typing, e-graphs, and type functions 
• Develop new language features that extend the realm of what’s possible and what’s productive for our creators while retaining Luau’s identity as a language built around small, powerful and reusable primitives
• Improve the usability of the type system for all users, ranging from beginners who are unfamiliar with what types even are to professional developers with decades of experience.
• Collaborate with engineers across several engineering organizations ranging from the teams developing Roblox’s application in Luau to the teams developing the Roblox Studio IDE for creators to the engine itself.

Please note the Company may not be able to employ candidates who have United States work authorization related to certain U.S. visa categories, or support future H-1B sponsorship at this time.