23 verification engineer jobs at 8 companies in Sumas, WA
2w
Save
Mark Applied
Hide
2w
Formal Verification Engineer
Markham or Vancouver or Calgary or Ottawa
HybridFull Time
AMDNASDAQ: AMD: Designs and manufactures computer processors and graphics technology.
Expertise in formal verification and IP verification for high-speed I/O protocols; experience with formal property languages and commercial formal tools; BS in relevant engineering desired; leadership and mentorship experience.
AMDNASDAQ: AMD: Designs and manufactures computer processors and graphics technology.
Experience in formal/IP verification, formal methodologies, high-speed I/O protocols; BS in EE/CE preferred; ability to lead small teams and mentor junior engineers; familiarity with commercial formal tools and AI-assisted verification.
SVA, VC-Formal, JasperGold, Questa Formal, PCIe, SATA, USB, AXI
PACCARNasdaq: PCAR: Designs and manufactures heavy-duty commercial trucks and diesel engines.
3+ YOEB.S. in engineering, 3+ years relevant engineering experience, knowledge of diesel aftertreatment and engine control systems, EMR/data scripting (MATLAB, Python, Minitab) and test cell data experience.
5+ YOEDegree or diploma in engineering or related field, 5+ years systems integration/hardware experience, experience with electrical/mechanical/cryogenic/software subsystems, verification/validation and troubleshooting, participation in on-call rotation, occasional travel.
Python, C/C++, PLC, Linux, UNIX, oscilloscopes, spectrum analyzers, network analyzers, temperature controllers, pressure systems, vacuum systems, data acquisition, test automation
Microchip TechnologyNasdaq: MCHP: Manufacturer of microcontrollers, analog, and mixed-signal integrated circuits.
2+ YOE2+ years ASIC development experience; strong RTL design/verification skills in Verilog/SystemVerilog/VHDL; experience with lab debugging, C/C++, scripting (Python, Perl, TCL, Shell); degree in electrical/computer engineering or related field.
Solidigm: Develops and manufactures NAND flash memory and solid-state drives.
Bachelor’s in EE/CE/CS with strong debugging, digital logic design, RTL/verification (UVM/FPV); proficient in C/C++, Python, Verilog/SystemVerilog; internship/1+ year experience preferred.
Kardium: Develops systems for diagnosing and treating atrial fibrillation.
2+ YOEBachelor's in engineering or computer science, 2+ years software verification & validation experience, test protocol/report writing, test automation interest, Java/Python proficiency, knowledge of IEC 60601/62304 preferred.