Principal ASIC Design Verification Engineer

K2 is building the largest and highest-power satellites ever flown, unlocking performance levels previously out of reach across every orbit. Backed by over $1 billion in total funding from leading investors including Altimeter Capital, ICONIQ, Kleiner Perkins, Lightspeed Venture Partners, Redpoint Ventures, and T. Rowe Price — and with over $1 billion in signed contracts across commercial and US government customers, we're mass-producing the highest-power satellite platforms ever built for missions from LEO to deep space.

The rise of heavy-lift launch vehicles is shifting the industry from an era of mass constraint to one of mass abundance, and we believe this new era demands a fundamentally different class of spacecraft. Engineered to survive the harshest radiation environments and to fully capitalize on today's and tomorrow's massive rockets, K2 satellites deliver unmatched capability at constellation scale and across multiple orbits.

With multiple launches in 2027 and plans to scale to 100 satellites a year, we're Building Bigger — helping develop the solar system and build toward a Kardashev Type II (K2) civilization. If you are a motivated individual who thrives in a fast-paced environment and you're excited about contributing to the success of a high-growth Series D-funded company, we'd love for you to apply.

The Role

We are seeking a Principal ASIC Design Verification Engineer whose role will be to verify the functionality, performance, and robustness of our custom silicon designs. You will help define the verification approach, contribute to methodology, and work closely with architecture, RTL design, DFT, firmware, physical design, and silicon validation engineers. This is a hands-on role with high ownership, deep technical engagement, and the opportunity to shape first-generation silicon.

Responsibilities

• Develop and execute verification plans for block-level, subsystem-level, and full-chip environments.

• Build SystemVerilog/UVM test benches, including agents, monitors, scoreboards, checkers, and coverage models.

• Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate.

• Drive constrained-random and directed testing strategies to validate functionality, corner cases, and stress scenarios.

• Run simulations, triage failures, drive root-cause analysis, and collaborate with RTL designers to resolve issues.

• Implement and maintain functional coverage, code coverage, assertion coverage, and ensure coverage closure for sign-off.

• Manage regression testing, simulation farms, and CI pipelines to ensure high test throughput and fast debug iterations.

• Participate in design reviews, microarchitecture discussions, and influence design-for-verification (DFV) best practices.