PCIe Formal Verification Engineer, PCI Express, formal verification, FPV, SVA, SystemVerilog Assertions, Questa Formal

Verilog, VHDL, formal verification, Chisel, JasperGold, VC Formal, Object-oriented Programming, systemverilog, Formal Abstraction Techniques

Perl, Verilog, Python, Tcl, SystemVerilog Assertions SVA, VHDL, Synopsys VC Formal, Cadence JasperGold, Property Specification Language PSL, systemverilog

Jenkins, Freebsd, Gcp, Linux, Shell scripting, C Programming, Azure, Python, AWS

Perl, Python, Tcl, PSL, OneSpin, JasperGold, VC Formal

containerization , Kafka, API design, Microservices, metrics, Data Protection, Python, Logging, Java, Hadoop, Scala, Hive, MLops, Incident Response, Authentication, Spark, Kubernetes, LLM tooling, GenAI, Event-driven systems, Distributed tracing, Go, Security, Authorization, Observability, Cloud-native engineering practices, HDFS

Matplotlib, Hadoop, Power Bi, Tableau, Sql, ELT, Tensorflow, Nosql, RDBMS, Gcp, Pytorch, Spark, Seaborn, Azure, Python, AWS, Etl, data visualization tools

causal inference , Hive, Unsupervised Learning, Spark, Sparksql, Python, Sql, Deep Learning, supervised learning, Time-Series Methods

Software Development Life Cycle, C, Linux, Python