{"schemaVersion":"jobsearcher.job.v1","id":"c42a6ef5286f76ea632b4290","url":"https://jobsearcher.com/jobs/c42a6ef5286f76ea632b4290","canonicalUrl":"https://jobsearcher.com/jobs/c42a6ef5286f76ea632b4290","title":"Formal RTL Design Verification Engineer","description":"Condor Computing is a brand-new member of the RISC‑V revolution. Condor is aiming to fly high by building the industry’s highest performance licensable RISC‑V core. Our team of highly experienced CPU designers will create a new benchmark for power efficiency in high performance open‑source computing.\nAs a Formal Verification Engineer at Condor, you will be responsible for ensuring the correctness and reliability of our world‑class processor designs. Your role will involve crafting innovative solutions to verify complex design micro‑architectures using cutting‑edge technologies. Additionally, you will collaborate closely with design teams to enhance micro‑architecture and contribute to the development of reusable and optimized verification models.\nResponsibilities Work on verification of Condor’s world‑class processor designs\nCraft novel, creative, and best‑in‑class solutions for verifying complex design micro‑architectures with the best technologies available\nDevelop a comprehensive formal verification test plan\nDevelop functional properties for the design, find design bugs, and work closely with design teams to help improve the micro‑architecture\nDevelop re‑usable and optimized verification models and a verification code base\nArchitect correct‑by‑construction design methodologies to enhance formal verification efficiency and productivity\nMinimum Requirements Master’ Bachelor, or above degree in electronic/electrical engineering or computer science\n4+ years of verification experience, with at least 2 years utilizing formal verification methods\nSolid understanding of RTL designs and computer architecture\nProficiency in scripting languages such as Python, Ruby, or Perl\nDemonstrated track record of implementing new ideas that positively impact the company\nNice to have (but not required) Industry experience developing test benches and verification components from scratch using SystemVerilog and UVM\nDeep understanding of event‑driven simulator‑based modeling techniques\nFamiliarity with low‑power implementation (UPF)\nStrong written and verbal communication skills\nEffective cross‑site and cross‑functional execution skill\nEqual Opportunity Condor Computing is an equal opportunity and affirmative action employer. It ensures equal employment opportunity without discrimination or harassment based on race, color, religion, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender identity or expression, age, disability, national origin, marital or domestic/civil partnership status, genetic information, citizenship status, veteran status, or any other characteristic protected by law.\n\n#J-18808-Ljbffr","company":"Condor Computing","rawCompany":"condor computing","city":"Austin","state":"TX","isRemote":false,"isActive":false,"createdAt":"2026-04-09T08:00:05.032Z","occupations":[{"code":"17-2061.00","title":"Computer Hardware Engineers","slug":"computer-hardware-engineers"},{"code":"17-2112.02","title":"Validation Engineers","slug":"validation-engineers"},{"code":"15-1299.08","title":"Computer Systems Engineers/Architects","slug":"computer-systems-engineers-architects"}],"industries":[{"code":"541512","title":"Computer Systems Design Services","slug":"computer-systems-design-services"},{"code":"334111","title":"Electronic Computer Manufacturing","slug":"electronic-computer-manufacturing"},{"code":"513210","title":"Software Publishers","slug":"software-publishers"}],"jobPosting":{"@context":"https://schema.org","@type":"JobPosting","title":"Formal RTL Design Verification Engineer","description":"Condor Computing is a brand-new member of the RISC‑V revolution. Condor is aiming to fly high by building the industry’s highest performance licensable RISC‑V core. Our team of highly experienced CPU designers will create a new benchmark for power efficiency in high performance open‑source computing.\nAs a Formal Verification Engineer at Condor, you will be responsible for ensuring the correctness and reliability of our world‑class processor designs. Your role will involve crafting innovative solutions to verify complex design micro‑architectures using cutting‑edge technologies. Additionally, you will collaborate closely with design teams to enhance micro‑architecture and contribute to the development of reusable and optimized verification models.\nResponsibilities Work on verification of Condor’s world‑class processor designs\nCraft novel, creative, and best‑in‑class solutions for verifying complex design micro‑architectures with the best technologies available\nDevelop a comprehensive formal verification test plan\nDevelop functional properties for the design, find design bugs, and work closely with design teams to help improve the micro‑architecture\nDevelop re‑usable and optimized verification models and a verification code base\nArchitect correct‑by‑construction design methodologies to enhance formal verification efficiency and productivity\nMinimum Requirements Master’ Bachelor, or above degree in electronic/electrical engineering or computer science\n4+ years of verification experience, with at least 2 years utilizing formal verification methods\nSolid understanding of RTL designs and computer architecture\nProficiency in scripting languages such as Python, Ruby, or Perl\nDemonstrated track record of implementing new ideas that positively impact the company\nNice to have (but not required) Industry experience developing test benches and verification components from scratch using SystemVerilog and UVM\nDeep understanding of event‑driven simulator‑based modeling techniques\nFamiliarity with low‑power implementation (UPF)\nStrong written and verbal communication skills\nEffective cross‑site and cross‑functional execution skill\nEqual Opportunity Condor Computing is an equal opportunity and affirmative action employer. It ensures equal employment opportunity without discrimination or harassment based on race, color, religion, sex (including pregnancy, childbirth, or related medical conditions), sexual orientation, gender identity or expression, age, disability, national origin, marital or domestic/civil partnership status, genetic information, citizenship status, veteran status, or any other characteristic protected by law.\n\n#J-18808-Ljbffr","datePosted":"2026-04-09T08:00:05.032Z","dateModified":"2026-04-09T08:00:05.032Z","hiringOrganization":{"@type":"Organization","name":"Condor Computing","sameAs":"https://jobsearcher.com"},"jobLocation":{"@type":"Place","address":{"@type":"PostalAddress","addressLocality":"Austin","addressRegion":"TX","addressCountry":"US"}},"identifier":{"@type":"PropertyValue","name":"JobSearcher","value":"c42a6ef5286f76ea632b4290"},"url":"https://jobsearcher.com/jobs/c42a6ef5286f76ea632b4290"}}