Teams at K2 Space Corporation

Design and build mission‑critical full‑lifecycle applications connecting engineering, manufacturing, and operations. Lead architecture, deployment, and quality processes; develop prototypes to production, drive data‑led prioritization, mentor staff, and collaborate across teams to scale satellite design, production, and mission operations.

Design and implement low-level, real-time embedded software in Rust/C/C++ for satellite subsystems (propulsion, attitude, power). Lead hardware bring-up, debug complex HW/FW issues with JTAG/SWD and scopes, scale software across products, and mentor engineers to ensure fault-tolerant, flight-ready systems.

Lead development and execution of verification plans for block-to-full-chip ASICs. Build SystemVerilog/UVM testbenches, write SVAs, integrate formal methods, run constrained-random and directed tests, manage regressions and CI, perform failure triage and root-cause analysis, ensure coverage closure, support silicon bring-up and post-silicon validation, and drive DV methodology and cross-functional verification efforts.