Research Scientist, Compilers and Programming Languages

The role

Research scientists will design and implement core computational reasoning systems. They will develop programming languages tools and explore computational theories of intelligence.

What you will do

• Design, implement, and maintain programming languages tools for Basis' core reasoning technology.
• Develop and explore computational theories of intelligence, including reasoning, learning, and decision-making.
• Collaborate with domain experts on Basis scientific and societal challenge problems.
• Publish and present findings in journals and conferences (optional).
• Contribute to the culture and direction of Basis

Required qualifications

• PhD (or equivalent experience) in a relevant area.
• Demonstrated ability to conduct first-class scientific research, published in venues such as PLDI, OOPSLA, and POPL, or in technical reports.
• Demonstrated ability to write excellent software.
• Demonstrated significant technical achievements within PL research and engineering.

Nice to have

• Designed the full stack of a novel programming language, from formalized semantics to an optimized compiler
• Contributed heavily to the compiler infrastructure of a machine learning or statistics framework, such as PyTorch, Stan, or Jax
• Built a program analysis technique that has helped identify bugs or inefficiencies in a real code base

Benefits

• Competitive salary
• Bonuses

About the company

Basis is a nonprofit applied AI research organization. It aims to understand and build intelligence and advance society's ability to solve intractable problems.