Theorem · 3 months ago
Systems Engineer
San Francisco, CA
Full-time
Onsite
Mid Level
$150K/yr - $250K/yrTheorem is focused on building products that enhance software correctness, understandability, and security. They are seeking a Systems Engineer who will contribute to developing software that is safe and reliable, using advanced program analysis and formal reasoning techniques.
Artificial Intelligence (AI)Information TechnologyProductivity ToolsSoftware
Responsibilities
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
Qualification
Required
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 or 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
Benefits
Generous equity
Company
Theorem
Theorem is an AI based Software Development firm offering productivity and verification tools for development.
Founded in 2025
2-10 employees
H1B Sponsorship
Theorem has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2020 (3)
Funding
Current Stage
Early StageTotal Funding
unknown2025-06-03Seed
Company data provided by crunchbase