Research Scientist, Compilers and Programming Languages

Basis Research Institute; New York (NY); On-site; USD 120,000 - 180,000; Full time

Job summary

An innovative nonprofit organization is seeking a Research Scientist specializing in Compilers and Programming Languages. This role offers the chance to contribute to groundbreaking research in AI, focusing on programming languages design and implementation. Candidates will work collaboratively to develop core computational reasoning systems, engage in scientific inquiry, and tackle complex problems with societal impact. If you possess a PhD and a passion for advancing technology through rigorous research, this position offers a competitive salary and the opportunity to make a meaningful difference in the field.

Qualifications

• Exceptional technical depth in mathematics and computation.
• Ability to design and refine complex systems from foundational principles.

Responsibilities

• Design and maintain programming languages tools for reasoning technology.
• Collaborate with experts on scientific and societal challenges.

Skills

Programming Languages Design

Compiler Design

Program Analysis

Abstract Interpretation

Probabilistic Programming

Education

PhD in relevant area

Tools

PyTorch

Stan

Jax

Job description

Research Scientist, Compilers and Programming Languages

Join to apply for the Research Scientist, Compilers and Programming Languages role at Basis Research Institute

Research Scientist, Compilers and Programming Languages

3 months ago Be among the first 25 applicants

Join to apply for the Research Scientist, Compilers and Programming Languages role at Basis Research Institute

Get AI-powered advice on this job and more exclusive features.

Basis Research Institute provided pay range

This range is provided by Basis Research Institute. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.

Base pay range

$120,000.00/yr - $180,000.00/yr

About Basis

Basis is a nonprofit applied AI research organization with two mutually reinforcing goals.

The first is to understand and build intelligence. This means to establish the mathematical principles of what it means to reason, to learn, to make decisions, to understand, and to explain; and to construct software that implements these principles.

The second is to advance society’s ability to solve intractable problems. This means expanding the scale, complexity, and breadth of problems that we can solve today, and even more importantly, accelerating our ability to solve problems in the future.

To achieve these goals, we’re building both a new technological foundation that draws inspiration from how humans reason, and a new kind of collaborative organization that puts human values first.

About The Role

Research scientists advance Basis’ efforts to develop a deeper understanding of the conceptual, mathematical, and computational principles of intelligence.

Research scientists at Basis are distinguished by the following traits:

• 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.
  
  

Basis is a collaborative effort, both internally and with our external partners; we are looking for people who enjoy working with others on problems larger than ones they can tackle alone.

Programming Languages Research Scientists

This role targets experts in programming languages design, implementation, and analysis. Research scientists will help design and implement the core computational reasoning systems that Basis is developing.

The core areas of PL research encompass compiler design, partial evaluation, program analysis, abstract interpretation, and program transformation. These are developed within the context of building reasoning systems. Consequently, research scientists will also engage with topics such as probabilistic programming, automatic differentiation, and SAT/SMT solvers, among others.

We expect you to:

• Have a PhD (or equivalent experience) in a relevant area.
• Have demonstrated an ability to conduct first-class scientific research, published in venues such as PLDI, OOPSLA, and POPL, or in technical reports.
• Have demonstrated an ability to write excellent software.
• Be excited about solving real-world problems and having a positive societal impact.
• Have demonstrated significant technical achievements within PL research and engineering. Examples include:
• You've designed the full stack of a novel programming language, all the way from a formalized semantics to an optimized compiler
• You've contributed heavily to the compiler infrastructure of a machine learning or statistics framework, such as PyTorch, Stan, or Jax
• You've built a program analysis technique that has helped identify bugs or inefficiencies in a real code base.
  

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
  
  

Role Details

Exceptional candidates who may not meet all of the following criteria are still encouraged to apply.

• FT/PT: 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. Be prepared to attend multi-day Basis-wide in-person events.
• Location: This role is in-person in either New York City or Cambridge, MA.
• Salary range: Competitive salary and bonuses
  
  

Compensation Range: $120K - $180K

Seniority level

• Seniority level

  Mid-Senior level

Employment type

• Employment type

  Full-time

Job function

• Job function

  Other

• Industries

  Non-profit Organizations

Referrals increase your chances of interviewing at Basis Research Institute by 2x

Get notified about new Research Scientist jobs in New York, NY.

New York, NY $147,000.00-$208,000.00 2 weeks ago

Senior Scientist- Immunology and Immunotherapy

Research Scientist, Bureau of Environmental Sciences and Engineering

Senior Scientist/Principal Scientist, Chemistry (based in China)

Biomedical Scientist, Knowledge Management

Englewood, NJ $90,000.00-$140,000.00 3 weeks ago

New York, NY $58,500.00-$77,000.00 1 week ago

Early Career Chemist/ Environmental Scientist

Research Scientist, Bureau of Environmental Sciences and Engineering

Secaucus, NJ $117,000.00-$151,000.00 1 week ago

Research Scientist Manager - ML Modeling & Applied Research

New York, NY $177,000.00-$251,000.00 1 week ago

Senior Scientist- Immunology and Immunotherapy

Early Career Chemist/ Environmental Scientist

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.