About the job
About Basis
Basis is a pioneering nonprofit organization dedicated to applied AI research, driven by a dual mission.
Firstly, we aim to deepen our understanding and development of intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, along with creating software that embodies these principles.
Secondly, we strive to enhance society’s capacity to tackle complex challenges. This means broadening the scale and complexity of the problems we can address today, while also accelerating our future problem-solving capabilities.
To realize these aims, we are constructing an innovative technological framework inspired by human reasoning and fostering a collaborative organization that prioritizes human values.
About the Role
As a Research Scientist at Basis, you will play a crucial role in advancing our understanding of the theoretical, mathematical, and computational principles underlying intelligence.
Our Research Scientists possess key characteristics:
Outstanding technical expertise—strong mathematical and computational foundations.
A creative builder’s mindset—capable of designing, constructing, and refining complex systems based on foundational principles.
Commitment to scientific rigor—engaging in high-quality, robust scientific inquiry without hesitance to experiment, learn from mistakes, and explore unconventional ideas.
At Basis, collaboration is key, both within our teams and with external partners. We seek individuals who thrive in collaborative environments and are eager to tackle challenges that transcend individual capabilities.
Programming Languages Research Scientists
This role is tailored for experts in the design, implementation, and analysis of programming languages. You will assist in the design and implementation of the foundational computational reasoning systems under development at Basis.
Key focus areas of programming languages research include compiler design, partial evaluation, program analysis, abstract interpretation, and program transformation. This work is conducted within the context of constructing reasoning systems, leading to engagement with topics such as probabilistic programming, automatic differentiation, and SAT/SMT solvers.
Expectations:
Possess a PhD (or equivalent experience) in a relevant field.

