Browse tech roles

SystemVerilog JasperGold VC Formal Python AI tools CI/CD SystemVerilog Assertions (SVA) GPU architecture LPU architecture Formal property verification Docker Git Linux +8 more Show less

Python TCL C++ ACL2 HOL Jaspergold VC-Formal Hardware Description Languages Model Checking Theorem Proving Formal Verification Microprocessor Architecture MISRA C/C++ Memory Consistency Security Architectures +10 more Show less

Python PyTorch LangChain LlamaIndex Hugging Face RAG LLMs SVA SystemVerilog SAT/SMT Model Checking Theorem Proving Version Control Testing API Design CI/CD +11 more Show less

Python PyTorch LangChain LlamaIndex Hugging Face RAG architectures LLM-based tool chains version control testing API design formal methods SAT/SMT solvers model checking theorem proving code generation analysis tasks Large Language Models prompt engineering fine-tuning +14 more Show less

C C++ Rust Git Make CMake CUDA OpenCL SMT SymbolicExecution ModelChecking InteractiveTheoremProving LLMAgents NeurosymbolicApproaches CI/CD +10 more Show less

VLSI digital logic design formal methods SoC CPU GPU Cellular designs Temporal logic assertion-based languages SVA PSL EDA formal tools scripting language debugging skills CI/CD +9 more Show less

System-on-a-chip Formal Verification Silicon Validation Software Engineering CI/CD Git Linux Python C++ Verilog VHDL UVM Perl Makefile SVUnit Jenkins +11 more Show less

System-on-a-chip Formal Verification Silicon Validation Software Engineering CI/CD Git Linux Python C++ Verilog VHDL UVM Perl Makefile SVUnit Jenkins Docker Kubernetes +13 more Show less

VLSI digital logic design formal methods SoC CPU GPU Cellular designs Temporal logic assertion-based languages SVA PSL EDA formal tools scripting language debugging skills CI/CD +9 more Show less

Formal Verification System-on-a-chip (SoC) Python CI/CD Git Linux C++ Verilog UVM Perl Shell_scripting Docker Jenkins +8 more Show less

Formal Verification System-on-a-chip SoC design verification Python C++ Perl Shell scripting Unix/Linux CI/CD Git Jenkins Docker Kubernetes AWS Google Cloud Platform Azure PostgreSQL MySQL MongoDB JSON YAML +16 more Show less

Verilog SystemVerilog UVM Python Tcl Perl C++ Veloce Palladium ZeBu FPGA Xilinx Altera RTL Design Validation Post-Silicon Debug In-Circuit Emulation Simulation Acceleration +13 more Show less