Theorem Proving Engineer

Arm Theorem Proving Engineer YesterdaySaved Hybrid Austin, TX, USA 198K-268K Annually Mid level 198K-268K Annually Mid levelArtificial Intelligence • Internet of Things • SemiconductorAnalyze data-path RTL and algorithms, build abstract C models, prove RTL–C equivalence with SLEC, and formally verify models against architectural specs using ACL2. Improve verification infrastructure, interfaces, and apply interactive theorem proving across Arm projects while collaborating with designers and verification engineers.Top Skills: Acl2CFloating-Point ArithmeticInteractive Theorem ProvingRtlSequential Logic Equivalence CheckingSlecVerilog