Research Scientist, Compilers and Programming Languages

Research Scientist, Compilers and Programming Languages

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

Compensation

Base pay range : $120,000.00 / yr - $180,000.00 / yr. 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.

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 societys 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, were 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 depthsolid mathematical and computational foundations.
• A builder's mindsetability to design, construct, and refine complex systems from foundational principles.
• Scientific rigorrigorous, high-quality, robust science, without fear of tinkering, making mistakes, and exploring radically different ideas in order to get there.

Programming Languages Research Scientist

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.

Qualifications

Responsibilities

Role Details

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.

Seniority Level

Mid?Senior level

Employment Type

Full?time

Location

In?person in either New York City or Cambridge, MA.

#J-18808-Ljbffr