Engineering

Member of Technical Staff (Generalist)

San Francisco Bay AreaOn-siteFull-timeFounding team

About ArettaOur mission is to make AI provably trustworthy, starting with the world’s software.

AI is about to write the world’s software. All of it, from the critical infrastructure everything depends on to the apps people use every day. We want a future where people decide what software should do and machines prove that it does. We’re starting with the tools engineers need to ship AI-written code knowing it’s correct.

Within six months of starting, we're deployed with paying design partners in databases and data infrastructure, where we've found 60+ critical bugs, including data-loss bugs that survived their testing and simulation stacks. We're backed by visionaries like Ion Stoica, Kurt Keutzer, Sanjit Seshia, Ram Shriram and Sriram Rajamani. The founders, Sushant and Adwait, were previously PhD and postdoc at UC Berkeley.

The role

Problems you’d own

A customer’s engineer should get a verified result on their codebase the same day they sign up. Today it takes us a week. Close that gap.
Our multi-tenant system runs untrusted code and untrusted agents for many customers at once. Make it secure.
Build integrations with our customers’ workflows and platforms that make Aretta delightful to use.
When verification finds a bug, the finding has to convince a skeptical senior engineer in under a minute. Design how we show it.
Every failure mode we hit once should become impossible in the future. Build the systems that make that true.
Make sure Aretta’s verification infrastructure scales and runs smoothly on our customers’ codebases.

You might be a fit if

You’ve built something that was technically challenging and that you’ve learned from. You’re scrappy, you like underspecified problems, like designing large systems, really care about the user of that system and you check your own work before anyone else sees it. You take ownership, and you pursue excellence in everything you do, at work and in whatever you love outside it, whether that’s a sport, an instrument, or a craft. Having a life outside work isn’t optional here.*

Who we hire

We hire at every level, and we mean it. If you’re senior, you’ll come in as a hands-on engineer and grow into leading and building a team. If you’re early in your career, fresh out of school or a few years in, you’ll get real ownership fast and as much scope as you can take on. What matters is the same bar for everyone: mastery, the drive to grow, and the instinct to help others grow too.

Compensation and logistics

Benefits: unlimited PTO, health, dental and vision insurance, and a 401(k).

How we work

Ideation. Several of our technological problems though open-ended and ambiguous are ripe for innovation. We are building a team that is not afraid to come up with diverse/opinionated ideas especially when substantiated with evidence and an execution plan.

Execution. We bias for action and want to learn the best (often fastest) possible way to get to results. For coding, that often means using coding agents. However, we care about using them to raise quality, not just output, and without giving up understanding of what is shipped. We are not afraid of breaking things as long as when something breaks, you fix the class of problem (not just the instance) and make it impossible to re-occur.

Evaluation. We orient tech-development to serve the user (either internal or external) in the best possible manner. Hence, we believe that closing the ideation-execution loop with user/customer-facing evaluation is necessary to resolve much of the ambiguity in the shape of our technology and product.