Frontier Tech Formal Verification Jobs

(UPF), formal verification, or hardware-software co-validation Domain expertise in ML accelerators, high-speed interconnects (NoCs), or high-bandwidth

Experience in formal verification. Functional modeling experience and logic verification with SystemVerilog, SystemC/C++.

…(STA) across all corners/modes, physical verification (DRC/LVS/DFM), EM/IR (static and dynamic), and formal netlist equivalence

…testing, software-hardware integration testing, and formal verification activities, preferred experience in flight software

…across 80+ compliance vendors (identity verification

…across 80+ compliance vendors (identity verification

…cleared roles is contingent upon verification of clearance status.

…or supporting junior engineers ( formal

verification and validation methods Track record of leading complex projects in safety critical applications with leadership-facing accountability

…or supporting junior engineers ( formal

…across 80+ compliance vendors (identity verification

…or supporting junior engineers ( formal

…datasheets, ICDs, requirements trees) into formal

…a people leadership role, whether formal management or equivalent tech lead