san francisco, California, United States

About the role

We’re hiring Founding AI Engineers who will work on foundational technologies in generative AI, code generation, and program verification. This is a challenging problem because of the algorithmic complexity in optimizing code, making optimizations work for real world code, proving “Are these two functions equivalent?”, and generalizing this system for a wide variety of programming languages. We have made what used to be impossible, merely very hard.

The role requires you to think deeply about software engineering, implement complex LLM systems for code optimization and testing, implement static and dynamic analysis of code. We are a fast moving, high growth startup where you will iterate quickly on code and see instant impact on our customer’s developers and their codebases. You will play a fundamental role in inventing new technology that will shape our product, company and the future of software development.

What we are looking for

• You are first and foremost a builder and problem solver.
• You have strong fundamentals in Computer Science.
• We are looking for an exceptional level of intelligence.
• You have a strong Python experience in production environments or demonstrable equivalent academic experience at a top school.
• Practical experience using and deploying AI models (LLMs preferred).
• Knowledge of computer systems and infra is a plus.
• You are comfortable working with hard problems and figuring out how to build things you haven't built before.
• You are excited to work in-person from our office in San Francisco (most of the time).
• You love working in a startup environment (you either have experience working in a startup or are really drawn to the zero-to-one phase)