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 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 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 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