Browse tech roles

Formal Verification SystemVerilog SVA Python C/C++ Perl UVM EDA Tools RTL Computer Architecture Graphics Pipelines Power Gating UPF JIRA Confluence Memory Subsystems +11 more Show less

Formal Verification SystemVerilog Assertions (SVA) JasperGold VC Formal Murphi Theorem Provers Computer Architecture GPU CPU Equivalence Checking Datapath Verification Automation Digital Design +8 more Show less

Formal Verification JasperGold VC-formal System Verilog Verilog VHDL UVM CDC RDC Assertion Based Verification LEC SEC Scripting SoC Design Computer Architecture Bus/NoC Memory Controllers +12 more Show less

Formal Methods Model Checking Theorem Proving Jaspergold VC-Formal ACL2 HOL C++ Python TCL Hardware Description Languages micro-architecture Instruction Set Architecture Memory Consistency Memory Coherency +10 more Show less

Formal Verification UVM System Verilog Python CHI AMBA PCIe CXL Fabric Interconnects Generative AI SVTB Silicon Engineering Verification Methodology +8 more Show less

Formal Verification SystemVerilog Assertions (SVA) ASIC Verification JasperGold VC Formal RTL FPV Datapath Verification LPU Architecture AI Tools Silicon Bring-up Debug +7 more Show less

Formal Verification SystemVerilog Assertions (SVA) ASIC RTL Python Tcl VC Formal FPV Datapath Verification LPU Architecture Scripting Flow Automation +7 more Show less

Formal Verification SystemVerilog Assertions RTL GPU Architecture FPV 3D Graphics Hardware DV Methodologies C2RTL SEQ RTL2RTL SEQ DPV Coverage Closure +6 more Show less

LLMs Python PyTorch LangChain LlamaIndex Hugging Face RAG Formal Verification SystemVerilog SVA SAT/SMT Solvers Model Checking Theorem Proving EDA Tools RTL Prompt Engineering Fine-tuning +12 more Show less

LLMs Python PyTorch LangChain LlamaIndex Hugging Face RAG Formal Verification SVA SystemVerilog SAT/SMT Solvers Model Checking Theorem Proving EDA Tools Prompt Engineering Fine-tuning API Design Version Control +13 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC CPU GPU Scripting Micro-architecture Memory Consistency Cache Coherence Hardware Specification System-on-a-Chip +9 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC CPU GPU Memory Consistency Cache Coherence Micro-architecture Hardware Specification System-on-a-Chip instruction-set architecture +9 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC CPU GPU Micro-architecture Memory Consistency Cache Coherence Hardware Specification System-on-a-Chip Verification Code Base +9 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC CPU GPU Hardware Specifications Memory Consistency Cache Coherence +6 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC CPU GPU Memory Consistency Cache Coherence System-on-a-Chip Hardware Specification Micro-architecture instruction-set architecture +9 more Show less

Formal Verification SVA PSL VLSI Digital Logic Design SoC Micro-architecture Memory Consistency Cache Coherence instruction-set architecture Hardware Specification System-on-a-Chip +7 more Show less