Search Results for: formal-verification

Design Verification Engineer Looking for new challenges? Would you like the variety of a contract position along with long term stability and benefits? Correct Designs can give it all to you. Correct Designs is currently seeking talented Verification Engineers with prior System Verilog UVM experience to work with our major […]

Security Software Engineer Veridise is seeking a skilled Security Software Engineer who will be responsible for performing security audits of smart contracts, blockchains, ZK circuits, and web3 applications. The applicant should have prior auditing experience in this space and should be very familiar with common vulnerabilities in smart contracts. Knowledge […]

Portland, OR Santa Clara, CA Austin, TX Boston, MA Phoenix, AZRemote Available Full-time $150,000.00 – $250,000.00Posted 04/04/2024Job Title: REMOTE Sr. Formal Verification Engineer – CPUJob Location: REMOTE – preference for Portland, OR or Vancouver (Canada)Compensation: $150K – $250K base Depending on experience plus bonusRequirements: Formal Property Verification (FPV), CPU, RISC-V, […]