Theorem

Job Summary:
Theorem is building products to enhance the future of software by ensuring it is correct, understandable, and secure. They are focused on developing software correctness feedback that scales with complexity and volume of code to create safe and reliable software.
Qualifications:
Required:
• Experience in software engineering with a focus on correctness and reliability
• Ability to work on complex projects that exceed current state-of-the-art
• Willingness to experiment with new technologies and methodologies
• Strong collaborative skills, including pair-debugging and teaching
• Ability to provide thorough explanations and insights into technical problems
• Experience in solving last-mile problems in software development
Company:
Theorem is an AI based Software Development firm offering productivity and verification tools for development. Founded in 2025, the company is headquartered in San Francisco, USA, with a team of 2-10 employees. The company is currently Early Stage.