Formal Verification Jobs

An experienced mathematician/formalizer to convert informal mathematical arguments into rigorous Lean (and related) formal proofs, advancing mechanized mathematics and verification for AI workflows.

Inclusive & Diverse

Rise from Within

Mission Driven

Diversity of Opinions

Work/Life Harmony

Growth & Learning

Transparent & Candid

Customer-Centric

Snacks

Onsite Gym

Family Coverage (Insurance)

Medical Insurance

Dental Insurance

Vision Insurance

Mental Health Resources

Life insurance

Disability Insurance

Health Savings Account (HSA)

Flexible Spending Account (FSA)

Learning & Development

Paid Time-Off

401K Matching

Maternity Leave

Paternity Leave

Lead RTL design and validation of complex digital RF IP blocks, driving verification quality and SoC integration for Intel’s next-generation wireless products.

Lead ASIC design verification efforts at Palo Alto Networks, architecting and executing coverage-driven verification across simulation, emulation, formal, and silicon validation to deliver secure, high-performance ASICs to production.

Lead Uniswap Labs' Protocols engineering team to own the architecture, security, and execution of Solidity-based smart contracts across chains while growing and mentoring high-performing engineers.