Theorem ยท 2 months ago
Senior SWE
San Francisco, CA
Full-time
Onsite
Senior Level
$300K/yr - $500K/yrTheorem is focused on building products that enhance software correctness, understandability, and security. The role involves developing software feedback systems that improve safety and reliability through advanced program analysis and 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
Experience in software engineering with a focus on correctness and reliability
Ability to work on large-scale projects
Proficiency in Python programming
Strong problem-solving skills
Experience with program analysis and formal reasoning
Ability to collaborate and assist team members effectively
Preferred
Experience with AI in software development
Familiarity with compiler-level reasoning methods
Experience in teaching or mentoring others in software engineering
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