JOBSEARCHER

Digital Design Verification Engineer

ARCHIVED

We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.

About OLIXAI is growing faster than any technology in history and the explosion in demand has created a massive infrastructure gap; we can no longer build chips or power stations fast enough to keep up. The industry is still leaning on a ten-year-old hardware blueprint that has reached its limit. A new paradigm that is faster and more efficient will be the biggest economic opportunity of the next century and create the most important company of the next decade. OLIX is building this next paradigm; the Optical Tensor Processing Unit (OTPU) achieves performance and energy efficiency that is impossible to match from existing chipsThe RoleWe are seeking highly skilled and motivated Senior / Staff Digital Verification Engineers with a strong background in CMOS digital design and verification to take ownership of the functional correctness of high-speed, real-time data-processing silicon-from early algorithm modelling through verified RTL, sign-off, and silicon bring-up.You will join a multidisciplinary group creating groundbreaking OTPUs where digital, optical, and mixed-signal domains intersect.The ideal candidate brings deep expertise in digital verification methodologies, a solid understanding of hardware architecture, and a passion for building provably correct, high-performance systems that underpin breakthrough AI hardware.ResponsibilitiesOwn end-to-end verification of high-throughput digital pipelines supporting multi-GSPS input rates, continuous streaming data paths, deep pipelining, and robust hand-shaking in advanced CMOS nodesDevelop and maintain comprehensive verification environments using SystemVerilog/UVM, including constrained-random testing, coverage closure, and regression automationDefine and implement assertion-based verification strategies for control logic, data-path correctness, CDC/RDC, and protocol complianceApply formal verification techniques (property checking, assertions, equivalence checking) to complement simulation-based verification and accelerate bug discoveryModel and validate algorithms using MATLAB/Simulink or Python, ensuring functional equivalence from algorithmic models through RTL and gate-level sign-offSupport FPGA prototyping and silicon bring-up by developing targeted testcases, debug strategies, and post-silicon validation plansCollaborate closely with digital design, optical-hardware, mixed-signal, and software teams to ensure correct integration across clock domains, interfaces, and firmware abstractionsAnalyse verification results to identify root causes, drive design fixes, and improve verification efficiency and reuseContribute to verification methodology development, documentation, and design/verification reviews; mentor junior engineers where appropriateSkills & Experience5+ years of hands-on experience in digital verification for high-performance ASICs or SoCsOwnership of verification for at least one complex block or subsystem processing continuous real-time data streamsStrong proficiency in SystemVerilog, assertions (SVA), and modern verification methodologies (e.g. UVM. CocoTB)Proven experience verifying designs operating in GHz-class clock domains, including CDC/RDC analysisFamiliarity with industry-standard EDA flows: RTL simulation, formal verification, linting, CDC/RDC, STA, power-intent (UPF/CPF), and gate-level simulationExperience verifying high-speed IP such as SerDes, DDR/HBM, PCIe, Ethernet, or similar interfacesProficiency with MATLAB/Simulink or Python/NumPy for algorithm modelling, fixed-point analysis, and test-vector generationSolid grounding in digital design principles, computer architecture, DSP fundamentals, and semiconductor basicsClear communicator who collaborates effectively across disciplines and is comfortable operating in a fast-moving, evolving environmentNice to haveTape-out experience at 22 nm or belowDeep hands-on experience with formal verification methodologies, including property decomposition, and coverage-driven formal on tools such as JasperExposure to coherent optical links or photonic-electronic co-designFamiliarity with AI/ML workloads, systolic arrays, or tensor-processing architecturesExpertise in arithmetic pipeline verificationExpertise in processor and ISA verificationContributions to open-source RTL, verification frameworks, or FPGA platformsCompensation & EquityCompetitive Salary: $170,000 - $285,000, commensurate with your experience, skills, and location.Equity & Ownership: Meaningful stock options. You're not just joining the mission; you're owning a piece of it.Proximity Bonus: We value your time. To minimise your commute and maximise your life, we offer a $36k annual Living-Local Bonus if your residence is within 20 minutes of the office.Time OffTime Off: 33 days of paid time off (PTO), including US federal holidays.Health & WellbeingHealthcare Coverage: Multiple high-quality medical plan options, including family coverage.Health Savings Account: A high-deductible medical option with a company-funded health savings account (HSA).Dental & Vision: Dental and vision coverage.Additional Coverage: Life insurance, plus short- and long-term disability.Wellbeing Support: Mental health resources, fertility and family-building support.Commuter Benefits: Pre-tax commuter and parking benefits.Retirement401(k): Access to a 401(k) retirement plan with a 4% employer match, with both traditional and Roth contribution options. Employees also have access to a dedicated financial advisor to support portfolio selection and long-term planning.The Workspace & TechM4 Macs come as standard, with M4 Pro upgrades for our engineering team. We will provide whatever you need to do your best work.High-spec noise-cancelling headphones and a fully ergonomic workstation designed for deep focus.Rapid Prototyping: Access to our high-performance 3D printing lab for work, experimentation, and personal creative projects.Life at the OfficeChef-prepared meals: if you need to work late.Relocation & Global MobilityVisa Sponsorship: We hire the best in the world. We offer full UK and international visa sponsorship.Seamless Relocation: Whether you're moving across the country or across the globe, our dedicated relocation partner provides funding and concierge support to get you settled.