Cadence LEC, formal verification, Physical Design, Conformal ECO generation, RTL

model checking, formal proofs, equivalence checking algorithms, abstraction models, formal verification tools

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

z os , liberty , Java, Maven, Json, J2EE, Jira, Angular, Tensorflow, Jenkins, React, Git, Pytorch, Javascript, Xml, Rest Apis, Python, WebSockets, z OSMF, Jakarta

test equipment , Configuration, Fcaps, Perl, SDH, Python, Protection schemes, Optical and software design, ROADM, Node and link-level power management, Optical controls, Optical amplifier line cards, GbE, Otn, Provisioning, SONET, Optical DWDM equipment, Testing and automation

Selenium Web Driver, Jmeter, Docker, Core Java, Python, Kubernetes, AWS, Chaos Toolkit, Java Sampler, Playwright, AWS FIS, Chaos Mesh

VMware, Java, Windows, Rest Api, Mac, Git, Linux, Ansible, Nutanix, Puppet, Python, Infrastructure as Code, Go, AI models

smartsheet , Java, SAP, Data Management, Power Bi, Tableau, ADO, Sql, Postgres, Spark, Excel, Data Analytics, Oracle, Python, Agile SAFe methodology, AWS Cloud Computing Services, DBR, Miro, Business Intelligence

Image Processing, C, Computer Networking, Iot, Mobile Computing, Computer Vision, Data Science, Distributed Systems, Digital Signal Processing, Python, ML algorithms, Ai, Analytics, Audio Engineering