New The Skills of Tomorrow: how AI-exposed is every skill in 2026? See the data →

theorem proving jobs

2 active listings across 1 employer

Open roles

2

Employers

1

Locations

2

Median salary

£216k

2 jobs

Sorted: newest first

Frequently asked

How many theorem proving jobs are currently open?
2 theorem proving roles are currently tracked on YubHub, across 1 employer.
Which companies are hiring the most theorem proving roles?
Synopsys is currently the top employer of theorem proving talent on YubHub, with 2 open roles at Synopsys.
What is the typical salary for theorem proving roles?
Disclosed theorem proving salaries range from £144k to £216k, with a median of £216k. Many roles do not publish salary figures.
Are theorem proving jobs typically remote, hybrid or on-site?
50% of theorem proving roles currently tracked are remote. onsite: 1.
Where are most theorem proving jobs located?
The top locations for theorem proving roles are Germany, Hillsboro. The full breakdown is available in the locations panel.