Research Scientist, Compilers and Programming Languages
Basis Research Instituteover 1 year ago
Base Salary
$120k - $180k/yr
Responsibilities
- 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.
Requirements
- 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.
- Proven ability to write excellent software.
- Excitement about solving real-world problems and having a positive societal impact.
- Significant technical achievements within programming languages research and engineering.
Benefits
- Competitive salary and bonuses.
- Flexible working hours with a focus on in-person collaboration.
- Opportunity to attend multi-day Basis-wide in-person events.