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

SystemVerilog Tcl Python JasperGold VC Formal SystemVerilog Assertions (SVA) CI/CD GPU architecture LPU architecture Sequential Equivalence Checking Datapath Verification Formal Property Verification +7 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