Browse 10 exciting jobs hiring in Formal Verification now. Check out companies hiring such as MLabs, CertiK, NVIDIA in Reno, Mobile, Rancho Cucamonga.
Senior/Lead Smart Contract Engineer needed to drive protocol architecture, security, and multi-chain deployment for a high-volume web3 user-acquisition platform backed by top investors.
Work at the intersection of compilers and blockchain security as a Solidity Compiler Frontend Engineer, building parsing, AST, and semantic analysis components that integrate with formal verification tools.
Lead formal verification efforts for cutting-edge CPU and HPC chip designs, applying advanced formal techniques, abstractions, and scripting to ensure functional correctness.
Intel Central Engineering Group is hiring a Senior Silicon Design Engineer to lead RTL-to-GDS physical implementation, timing and power closure, and verification/signoff for complex SoC and IP designs.
Contribute to cutting-edge zkEVM research at the Ethereum Foundation as a summer intern focused on prover performance, protocol integration, and incentive design.
Research intern for the Ethereum Foundation's Protocol Snarkification team focusing on formal verification and SNARK research for zkVMs.
Senior Formal Verification Engineer role at NVIDIA to design and implement formal verification flows and proofs for high-performance CPU/GPU silicon.
Work on formal verification of high-performance RISC-V CPUs, fabrics, and accelerators, applying model checking and theorem proving to prove properties and uncover design issues.
Riverside Research’s Secure and Resilient Systems group is looking for a Formal Methods Research Intern to help specify and verify systems-level software using proof assistants and modern programming languages in Lexington, MA.
Senior RTL architect needed to lead digital design and backend implementation for high-performance memory interface ASICs at Renesas's Duluth hybrid office.
Below 50k*
0
|
50k-100k*
3
|
Over 100k*
7
|