HiringCafe
Join our community

2 formal verification engineer jobs at 2 companies in Seattle, WA

1mo
Save
Mark Applied
Hide
Formal Design Verification Engineer
Raleigh or Austin or Hillsboro or Mountain View or Redmond
$120k-$235k/yr HybridFull Time
Microsoft
MicrosoftNASDAQ: MSFT: Develops software, services, devices, and cloud computing solutions.
1+ YOEDegree in EE/CS or equivalent plus technical engineering experience; formal verification, protocol and IP verification experience; ability to pass Microsoft Cloud Background Check and export-control screening.
Coherent Hub Interface (CHI), Advanced Microcontroller Bus Architecture (AMBA), PCIe, CXL, Universal Verification Methodology (UVM), System Verilog Test Bench (SVTB), Python
Job PostingView all
2mo
Save
Mark Applied
Hide
Senior Principal Software Engineer
Seattle or Santa Clara or United States
$135k-$306k/yr OnsiteFull Time
Oracle
OracleNYSE: ORCL: Provides cloud infrastructure and enterprise software for global businesses.
6+ YOEMS in Computer Science with formal verification focus; 5+ years building concurrent/distributed systems; proficiency in C/C++, Java, GoLang, or Rust; experience with TLA+, model checkers (TLC, Apalache) and proof tools (TLAPS).
C, C++, Java, GoLang, Rust, TLA+, TLC, Apalache, TLAPS, Slack, QEMU, SQL, NoSQL
Job PostingView all