How to apply for Software Engineer

About Theorem

Theorem is an AI company building systems for formal program verification to improve software reliability. It is a programming languages and AI lab that builds products to scale correctness feedback for AI software engineering at arbitrary complexity. The team includes engineers and researchers from cryptography, infrastructure, security research, and top-tier companies.

About the role

As a software engineer at Theorem, you will conduct research and develop products that enable AI models to perform software engineering tasks far beyond current human capabilities. You will work on problems several orders of magnitude larger, faster, or harder than state-of-the-art and solve last-mile technical challenges. The role is remote and full-time.

A typical day

A typical day might involve conducting research on formal verification methods, developing prototypes to scale correctness feedback for AI models, and collaborating with a team of engineers and researchers on last-mile technical challenges. You would work remotely on problems that are orders of magnitude larger, faster, or harder than current state-of-the-art.

Who Theorem is looking for

• Strong background in software engineering, with experience in programming languages, formal verification, or AI systems.
• Experience conducting research and developing products that push the boundaries of what AI can do in software engineering.
• Comfortable working on problems at extreme scale, speed, or complexity, and solving last-mile technical challenges.
• Background in cryptography, infrastructure, security research, or top-tier companies is a plus.

Tips for this application

• Highlight any experience with formal verification, programming languages, or AI for code generation in your resume.
• Demonstrate your ability to work on problems orders of magnitude larger or harder than state-of-the-art by citing specific projects.
• Mention any research or product work that scales correctness feedback for AI software engineering.
• If you have a background in cryptography, infrastructure, or security research, explicitly connect it to Theorem's work.
• For the research fellowship, clarify your availability for a 3–6 month period and your interest in formal verification.

What to cover in your cover letter

['Your experience with formal program verification or programming languages.', 'Specific examples of solving last-mile technical challenges in AI or software engineering.', "How your background aligns with Theorem's goal of scaling correctness feedback for AI software engineering.", 'Your interest in working on problems at arbitrary complexity and scale.']

Research before applying

• Read Theorem's published research or product descriptions on formal program verification and AI software engineering.
• Investigate the backgrounds of the team members mentioned (cryptography, infrastructure, security research).
• Understand the current state-of-the-art in AI for software engineering and where Theorem aims to push beyond it.
• Look into the concept of 'correctness feedback for AI software engineering at arbitrary complexity' and what that entails.

Likely interview topics

Based on the job description, expect questions about:

• Formal verification techniques and their application to AI-generated code.
• Programming languages theory and implementation, especially as it relates to correctness.
• Scaling AI systems for software engineering tasks beyond current human capabilities.
• Solving last-mile technical challenges in large-scale AI or verification systems.
• Your experience with cryptography, infrastructure, or security research and how it applies to Theorem's work.

Common mistakes to avoid

• Submitting a generic software engineering resume without highlighting formal verification, programming languages, or AI research.
• Failing to articulate how you have worked on problems orders of magnitude larger or harder than state-of-the-art.
• Not addressing the specific focus on scaling correctness feedback for AI software engineering in your application.