6 formal verification engineer jobs at 6 companies in Napa, CA
3mo
Save
Mark Applied
Hide
Formal Verification - AI/ML Engineer
Austin or San Francisco
HybridFull Time
10+ YOEBachelor's degree with 10+ years of industry experience; strong Python/ML, LLMs, RAG, and FV domain knowledge.
Python, PyTorch, LangChain, LlamaIndex, HuggingFace, Inference engines, Model serving
3w
Save
Mark Applied
Hide
Digital Verification Engineer
South San Francisco, California, United States
$131k-$243k/yr OnsiteFull Time
3+ YOEMinimum 3 years digital ASIC verification experience; strong SystemVerilog; automation scripting (Python, Perl, Makefile, Tcl, UNIX shell); code coverage and regression setup; familiarity with SystemC/C++, UVM, formal and low-power verification preferred.
SystemVerilog, Python, Perl, Makefile, Tcl, UNIX shell, SystemC, C++, IEEE-1801 (UPF), UVM, ARM, RISC-V, AMBA, FPGA
1mo
Save
Mark Applied
Hide
Research Engineer, Chip Design RL (Reinforcement Learning)
San Francisco or New York City
$500k-$850k/yr HybridFull Time
Bachelor's or equivalent, expertise in ASIC/FPGA design and EDA tools, experience with RTL, verification (UVM, formal methods), physical design and tapeout experience; RL experience and tooling experience preferred.
EDA tools, UVM, formal methods, place-and-route
2mo
Save
Mark Applied
Hide
Forward Deployed Engineer (FDE)
San Francisco or London or Budapest
OnsiteFull Time
Experience in high-accountability engineering cultures; familiarity with Rust, Java/Kotlin, or Go; domain expertise in formal methods/verification and specification-aware programming; experience with proof assistants and verification tools; strong communication with senior engineers/CTOs.
Rust, Java, Kotlin, Go, Verus, Dafny, Viper, TLA+, Lean, Roq, Isabelle
1mo
Save
Mark Applied
Hide
Senior Staff Security Engineer
Berkeley, California, United States
$170k-$223k/yr OnsiteFull Time
10+ YOE10+ years cyber security experience; systems programming in C/C++/Rust; applied cryptography; hardware root-of-trust, secure boot, HSM/HSE/TPM integration; formal verification and threat modeling.
C, C++, Rust, Go, HSM, HSE, TPM, Delay-Disruption Tolerant Networking (DTN), Bundle Protocol, NERC CIP, NIST IR 7628, NIST SP 800-160
3mo
Save
Mark Applied
Hide
Cogent AI Fellowship (Member of Technical Staff)
San Francisco, California, United States
$100k-$300k/yr OnsiteFull Time
PhD in Computer Science or related field; strong publication record or open-source contributions; research in formal methods, program analysis, PL, or runtime verification; strong engineering ability and production-minded prototype development; independent, self-starting mindset; able to work in ambiguity.