🛠 Tech Stack

💼 About This Role

You'll design and implement core computational reasoning systems at Basis, a nonprofit AI research organization. You'll develop compiler design, partial evaluation, and program analysis to advance intelligence and solve intractable problems. This role offers the chance to publish in top venues and collaborate with domain experts.

🎯 What You'll Do

• Design, implement, and maintain programming language tools for reasoning technology.
• Develop computational theories of intelligence including reasoning and learning.
• Collaborate with domain experts on scientific and societal challenge problems.
• Publish findings in journals and conferences (optional).

📋 Requirements

• PhD (or equivalent experience) in a relevant area.
• First-class scientific research published in venues like PLDI, OOPSLA, or POPL.
• Ability to write excellent software.
• Significant technical achievements in PL research, e.g., full-stack language design or compiler infrastructure for ML frameworks.

🎁 Benefits & Perks

• 💰 Competitive salary and bonuses