Research Scientist — Programming Languages & Compiler Design

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

Job summary

An AI research organization is seeking a Research Scientist to advance efforts in understanding programming languages design and computational systems. The candidate will work collaboratively on significant societal challenges, leveraging their PhD and exceptional software capabilities to innovate in reasoning technologies. This full-time position is ideally located in New York City with competitive salary and bonus opportunities.

Qualifications

• Demonstrated ability to conduct first-class scientific research.
• Experience publishing in venues such as PLDI, OOPSLA, or POPL.
• Significant technical achievements within programming languages research.

Responsibilities

• Design, implement, and maintain programming languages tools for core reasoning technology.
• Develop computational theories of intelligence.
• Collaborate with domain experts on scientific challenges.

Skills

Exceptional technical depth

Builder's mindset

Scientific rigor

Programming languages design

Ability to write excellent software

Education

PhD or equivalent experience

Tools

Compiler design

Program analysis

SAT/SMT solvers

Probabilistic programming

Job description

An AI research organization is seeking a Research Scientist to advance efforts in understanding programming languages design and computational systems. The candidate will work collaboratively on significant societal challenges, leveraging their PhD and exceptional software capabilities to innovate in reasoning technologies. This full-time position is ideally located in New York City with competitive salary and bonus opportunities.