theorem proving , Python, Tcl, model checking, Hardware Description Languages, formal methods, HOL, ACL2, Jaspergold, VC-Formal

Verilog, System Verilog, model checking, Abstraction Modeling, formal verification, Convergence Strategies, Logic Microarchitecture Fundamentals, Simulation Techniques, Equivalence Checking

Workato, Microservices, Python, Kubernetes, AWS, LLMs, event-driven architectures, vector databases, Claude, prompt engineering, LangGraph, memory systems, Vertex AI, RAG, Agentic frameworks

C, Linux, Elasticsearch, Kafka, Apache Storm, Python, Redis, Airflow, Go, Flink, Networking fundamentals

PERL, Python, Tcl, Sta, RTL-GDS flows, Physical Verification, SNPS CAD Flow, SNPS CDNS-based tools

MLops, Sql, Python, GenAI, LLMs, ML frameworks

Shell, Perl, Python, Tcl, Calibre, ERC, pegasus, DRC, LVS, Antenna, ICV

Unix, Perl, Linux, Shell scripting, Python, Tcl, Place Route Cadence Innovus, Physical Verification Calibre DRC LVS, IR EM Cadence Voltus RedHawk, STA Cadence Tempus

Jenkins, C, Terraform, Ansible, Linux Internals, OpenStack, FastAPI, Python, GitOps, FluxCD, ArgoCD