# Theorem Proving Engineer at Arm

- Company: Arm
- What the company does: From cloud to edge, Arm provides the compute platforms behind today’s most advanced AI, trusted by innovators worldwide. Backed by SoftBank VF.
- Company website: https://www.arm.com/
- Type: Startups
- Level: Mid level
- Location: Remote (US)
- Work setup: Remote
- Pay: $198K to $268K base salary per year (USD)
- Posted: date not listed
- Apply by: 2026-11-19
- Apply: https://careers.arm.com/job/austin/theorem-proving-engineer/33099/97584421536?utm_source=1752vc&utm_medium=careers
- Page: https://www.1752.vc/careers/jobs/arm-theorem-proving-engineer/

## About the role

The Theorem Proving Engineering role, you will analyze new data path RTL designs and underlying algorithms, develop abstract C models of these designs, establish equivalence between RTL and C with a commercial checker (SLEC), and formally verify correctness of the models with respect to a high-level architectural specification using the ACL2 theorem prover. You will work closely with designers and verification engineers in various Arm projects, to enable our verification methodology throughout the company. Found on 1752vc Careers, the job board for startup and VC roles.

## What they're looking for

- MS or PhD in Computer Science or Mathematics
- Demonstrated strong ability for rigorous mathematical reasoning and familiarity with floating-point arithmetic
- Understanding of standard algorithms and techniques used in the implementation of elementary arithmetic operations
- C programming experience and a reading knowledge of basic Verilog
- Ability to collaborate and contribute in a remote working environment
- Demonstrated ability to develop complex mathematical proofs


Source: 1752vc Careers, https://www.1752.vc/careers/jobs/arm-theorem-proving-engineer/