Browse tech roles

Basic role filtering by workplace, salary floor, and post age. For full AI matching and advanced filtering upload your resume using AI Match.

Active Keyword: Formal Verification Remove filter Location: Cupertino Remove filter Clear all

2 of up to 20 (filtered)

Formal Verification Engineer

Apple Inc

Cupertino, CA 40 days ago $115,773–$194,700
Actively hiring Confirmed live yesterday High trust Below market
Formal Verification SoC CPU GPU Hardware Specification Scripting Micro-architecture Security Enclave Design Verification DMA Interconnects Power Management Correct-by-construction
Save

Formal Verification AI/ML Engineer

Apple Inc

Cupertino, CA 176 days ago $184,700–$324,800
Actively hiring Confirmed live yesterday High trust Above market
Large Language Models Python PyTorch LangChain LlamaIndex Hugging Face RAG Formal Verification SystemVerilog SVA SAT/SMT Solvers Model Checking Theorem Proving EDA Tools Version Control API Design Inference Engines Model Serving
10+ yrs exp
Save