Woodpecker Technologies is a semiconductor company focused on pre-silicon formal analysis-based verification and post-silicon validation. Woodpecker is founded by alumni of the Stanford EE graduate program. Woodpecker is proud its engineering have diverse backgrounds from ARM, Andes, IBM, NVIDIA, Synopsys and more. For pre-silicon, we offer comprehensive, full-SOC, formal analysis-based verification vs traditional random-based simulation. For post-silicon, we offer automated, higher coverage, lower latency system level tests (SLT). Our customers include top 10 global semiconductor design firms. Backed by top institutional investors. We are entering an aggressive growth phase. We are looking for talented engineers in verification, validation, software compilers, and CAD. Flexible work environment and competitive compensation!