Formal RTL Design Verification Engineer jobs in United States
cer-icon
Apply on Employer Site
company-logo

Condor Computing Corporation · 2 months ago

Formal RTL Design Verification Engineer

positionUnited States
timeFull-time
remoteRemote
seniorityMid, Senior Level
date4+ years exp

Condor Computing is a new member of the RISC-V revolution, aiming to build high-performance licensable RISC-V cores. The Formal Verification Engineer will ensure the correctness and reliability of processor designs, craft solutions for complex micro-architectures, and collaborate with design teams to enhance micro-architecture.

IndustrialManufacturingMechanical Design
check
H1B Sponsor Likelynote

Responsibilities

Work on verification of Condor’s world-class processor designs
Craft novel, creative, and best-in-class solutions for verifying complex design micro-architectures with the best technologies available
Develop a comprehensive formal verification test plan
Develop functional properties for the design, find design bugs, and work closely with design teams to help improve the micro-architecture
Develop re-usable and optimized verification models and a verification code base
Architect correct-by-construction design methodologies to enhance formal verification efficiency and productivity

Qualification

Formal verification methodsRTL designsComputer architectureScripting languagesDesign methodologiesCross-functional executionWritten communicationVerbal communication

Required

Master' Bachelor, or above degree in electronic/electrical engineering or computer science
4+ years of verification experience, with at least 2 years utilizing formal verification methods
Solid understanding of RTL designs and computer architecture
Proficiency in scripting languages such as Python, Ruby, or Perl
Demonstrated track record of implementing new ideas that positively impact the company

Preferred

Industry experience developing test benches and verification components from scratch using SystemVerilog and UVM
Deep understanding of event-driven simulator-based modeling techniques
Familiarity with low-power implementation (UPF)
Strong written and verbal communication skills
Effective cross-site and cross-functional execution skill

Company

Condor Computing Corporation

twittertwittertwitter
company-logo
Condor Computing is a brand-new member of the RISC-V revolution.
dateFounded in 2023
location
San Jose, California, USA
people-size11-50 employees
web-link
https://condorcomputing.com

H1B Sponsorship

Condor Computing Corporation has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (1)
2024 (4)
2023 (3)

Funding

Current Stage
Early Stage

Leadership Team

leader-logo
Ty Garibay
President
linkedin

Recent News

Google Patent
Apparatus and Method for Selecting Dynamic Latency for Level 2 Cache
2025-05-06
Google Patent
Apparatus and Method for Implementing a Loop Prediction of Multiple Basic …
2025-05-06
Company data provided by crunchbase