DirectJobHub
Jobs · OTHR · Massachusetts

Research Scientist, Compilers and Programming Languages

Basis Research Institute · Cambridge, MA · 7 mo ago
On-siteOTHR$120k–$180k/yrFull-time

About the role

Basis is a nonprofit applied AI research organization with two primary goals: to understand and build intelligence, and to advance society’s ability to solve intractable problems. Research scientists contribute to both by advancing the technological foundation and the collaborative organization.

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, or in technical reports.
  • Demonstrated ability to write excellent software.
  • Excited about solving real-world problems and having a positive societal impact.
  • Demonstrated significant technical achievements within PL research and engineering.

Qualifications

  • Exceptional technical depth—solid mathematical and computational foundations.
  • A builder's mindset—ability to design, construct, and refine complex systems from foundational principles.
  • Scientific rigor—rigorous, high-quality, robust science, without fear of tinkering, making mistakes, and exploring radically different ideas in order to get there.

Skills

  • Programming Languages Design
  • Programming Languages Implementation
  • Programming Languages Analysis
  • Compiler Design
  • Partial Evaluation
  • Program Analysis
  • Abstract Interpretation
  • Program Transformation
  • Probabilistic Programming
  • Automatic Differentiation
  • SAT/SMT Solvers

Benefits

  • Competitive salary and bonuses
  • This is a full-time position
  • Hours: While we prioritize in-person collaboration for its benefits to creative work, there is a degree of flexibility in your working hours.
  • Attend multi-day Basis-wide in-person events
  • Location: This role is in-person in either New York City or Cambridge, MA

Pay

$120K - $180K

Schedule

This is a full-time position

Application Instructions

Submit your application with a CV and cover letter detailing your qualifications and experience.

Non-Discrimination Notice

Basis Research Institute provides equal employment opportunities without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, or genetics and prohibits discrimination based on all protected characteristics.

Privacy Notice

By submitting your application, you grant Basis permission to use your materials for both hiring evaluation and recruitment-related research and development purposes. Your information may be processed in different countries, including the US. You retain copyright while providing Basis a license to use these materials for the stated purposes. Read our full Global Data Privacy Notice here.

Similar jobs