Browse tech roles

Basic role filtering by workplace, salary floor, and post age. For full AI matching and advanced filtering upload your resume using AI Match.

Active Keyword: Theorem Proving Remove filter Clear all

1 of up to 20 (filtered)

Theorem Proving Engineer

Arm Holdings

Austin, TX 110 days ago $198,100–$268,000
Actively hiring Confirmed live yesterday High trust Above market
ACL2 SLEC C Verilog RTL Theorem Proving GPU Microarchitecture Floating-point Arithmetic
Hybrid
Save