Research Scientist, Compilers and Programming Languages
Basis Research · New York Office
About this role
## About Basis Basis (https://www.basis.ai) is a nonprofit applied AI research organization with two mutually reinforcing goals: - **Understand and build intelligence**: establish the mathematical principles of reasoning, learning, decision-making, and explanation—and construct software that implements them. - **Advance society’s ability to solve intractable problems**: expand the scale, complexity, and breadth of problems we can solve, and accelerate our ability to solve future problems. ## About the Role Research scientists at Basis advance efforts to develop deeper conceptual, mathematical, and computational principles of intelligence. This role targets **experts in programming languages design, implementation, and analysis**. You’ll help design and implement core computational reasoning systems. Core PL research areas include: - Compiler design - Partial evaluation - Program analysis - Abstract interpretation - Program transformation You may also work on related topics such as: - Probabilistic programming - Automatic differentiation - SAT/SMT solvers ### What we’re looking for - **PhD (or equivalent experience)** in a relevant area - Demonstrated ability to conduct **first-class scientific research** (e.g., PLDI, OOPSLA, POPL, or technical reports) - Demonstrated ability to write **excellent software** - Excitement about solving **real-world problems** with **positive societal impact** - Significant technical achievements in PL research and engineering (examples): - Designed the full stack of a novel programming language (formalized semantics → optimized compiler) - Contributed heavily to compiler infrastructure in ML/statistics frameworks (e.g., PyTorch, Stan, JAX) - Built a program analysis technique that identified bugs or inefficiencies in a real codebase ## Responsibilities - Design, implement, and maintain programming languages tools for Basis’ core reasoning technology - Develop and explore computational theories of intelligence (reasoning, learning, 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 - **Type**: Full-time (FT) - **Work hours**: Flexible; prioritize in-person collaboration and be prepared to attend multi-day Basis-wide in-person events - **Location**: In-person in **New York City** or **Cambridge, MA** - **Compensation**: Competitive salary and bonuses ## Non-Discrimination & Privacy - Basis Research Institute provides equal employment opportunities and prohibits discrimination based on protected characteristics. - By submitting your application, you grant Basis permission to use your materials for hiring evaluation and recruitment-related research and development purposes. Learn more: https://www.basis.ai/join-us/privacy-notice/
Listing freshness
CronJobs last confirmed this listing 2h ago. If its source stops confirming the opening for seven days, this page is removed from active inventory.