Digital Design Verification Engineer

OLIXSan Francisco, CA
1d

About The Position

We 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.

Requirements

  • 5+ years of hands-on experience in digital verification for high-performance ASICs or SoCs
  • Ownership of verification for at least one complex block or subsystem processing continuous real-time data streams
  • Strong 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 analysis
  • Familiarity with industry-standard EDA flows: RTL simulation, formal verification, linting, CDC/RDC, STA, power-intent (UPF/CPF), and gate-level simulation
  • Experience verifying high-speed IP such as SerDes, DDR/HBM, PCIe, Ethernet, or similar interfaces
  • Proficiency with MATLAB/Simulink or Python/NumPy for algorithm modelling, fixed-point analysis, and test-vector generation
  • Solid grounding in digital design principles, computer architecture, DSP fundamentals, and semiconductor basics
  • Clear communicator who collaborates effectively across disciplines and is comfortable operating in a fast-moving, evolving environment

Nice To Haves

  • Tape-out experience at 22 nm or below
  • Deep hands-on experience with formal verification methodologies, including property decomposition, and coverage-driven formal on tools such as Jasper
  • Exposure to coherent optical links or photonic-electronic co-design
  • Familiarity with AI/ML workloads, systolic arrays, or tensor-processing architectures
  • Expertise in arithmetic pipeline verification
  • Expertise in processor and ISA verification
  • Contributions to open-source RTL, verification frameworks, or FPGA platforms

Responsibilities

  • Own 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 nodes
  • Develop and maintain comprehensive verification environments using SystemVerilog/UVM, including constrained-random testing, coverage closure, and regression automation
  • Define and implement assertion-based verification strategies for control logic, data-path correctness, CDC/RDC, and protocol compliance
  • Apply formal verification techniques (property checking, assertions, equivalence checking) to complement simulation-based verification and accelerate bug discovery
  • Model and validate algorithms using MATLAB/Simulink or Python, ensuring functional equivalence from algorithmic models through RTL and gate-level sign-off
  • Support FPGA prototyping and silicon bring-up by developing targeted testcases, debug strategies, and post-silicon validation plans
  • Collaborate closely with digital design, optical-hardware, mixed-signal, and software teams to ensure correct integration across clock domains, interfaces, and firmware abstractions
  • Analyse verification results to identify root causes, drive design fixes, and improve verification efficiency and reuse
  • Contribute to verification methodology development, documentation, and design/verification reviews; mentor junior engineers where appropriate

Benefits

  • Competitive salary and stock options, you’re not just part of the journey, you will own a piece of it.
  • Live within 45 minutes of the office? Perfect. Live within 20 minutes? We’ll add an extra location bonus ($36K) to your salary.
  • We offer financial and operational relocation support (US and abroad), through a dedicated third-party provider who is on hand to make your move as seamless as possible.
  • We offer US employees access to a 401(k) retirement savings plan and we plan to introduce an employer match (commonly in the 4-5% range). Our goal is to keep our retirement benefits competitive while we scale.
  • Top of the line, high-spec tech for everyone. Sony noise-cancelling headphones and ergonomic setups to keep you comfortable and focused.
  • Personal company card to spend on tools that help you do your job - like ChatGPT Pro or anything else that boosts your workflow.
  • Periodic travel to London HQ and regular team socials.
  • 33 days of paid time off (PTO), including US federal holidays.
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service