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:
1.
Exceptional technical depth—solid mathematical and computational foundations.
2.
A builder’s mindset—ability to design, construct, and refine complex systems from foundational principles.
3.
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.