Job Details

Get AI-powered advice on this job and more exclusive features.

This range is provided by Theorem. Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.

Base pay range

$150,000.00/yr - $250,000.00/yr

We're building products to make the future of software correct, understandable, and secure. AI has raised the floor on software engineering, and we're building for the world where it raises the ceiling.

What We're Building

Our approach is to write software correctness feedback that scales with complexity and volume of code, so software is provably safe and reliable.

What This Looks Like In Practice

• Post-training that make models as good at program analysis and formal reasoning as they are at writing Python.
• Interfaces for navigating complex implementations of simple specifications to help users find bugs, generate design documentation, and implement non-functional requirements using compiler-level reasoning methods.

You May Be A Good Fit If You

• Pick projects that are a few orders of magnitude bigger, faster, or harder than SOTA.
• Have the gumption to try out something before everyone starts talking about it.
• Love to be helpful to the people around you, whether it is pair-debugging, teaching someone something new, or just picking up the slack on the mundane tasks that are blocking progress.
• Dig deep to get satisfying explanations for how and why things work.
• Are practiced in solving last-mile problems.

Compensation

$150,000-250,000 with generous equity.

Seniority Level

Entry level

Employment Type

Full-time

Job Function

Engineering and Information Technology

Industries

Software Development

Referrals increase your chances of interviewing at Theorem by 2x.

We're unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.