
Search by job, company or skills
Showing 9 jobs
Skills:
Cadence LEC, formal verification, Physical Design, Conformal ECO generation, RTL
Skills:
model checking, formal proofs, equivalence checking algorithms, abstraction models, formal verification tools
Skills:
theorem proving , Python, Tcl, model checking, Hardware Description Languages, formal methods, HOL, ACL2, Jaspergold, VC-Formal
Skills:
z os , liberty , Java, Maven, Json, J2EE, Jira, Angular, Tensorflow, Jenkins, React, Git, Pytorch, Javascript, Xml, Rest Apis, Python, WebSockets, z OSMF, Jakarta
Skills:
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
Skills:
Selenium Web Driver, Jmeter, Docker, Core Java, Python, Kubernetes, AWS, Chaos Toolkit, Java Sampler, Playwright, AWS FIS, Chaos Mesh
Skills:
VMware, Java, Windows, Rest Api, Mac, Git, Linux, Ansible, Nutanix, Puppet, Python, Infrastructure as Code, Go, AI models
Skills:
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
Skills:
Image Processing, C, Computer Networking, Iot, Mobile Computing, Computer Vision, Data Science, Distributed Systems, Digital Signal Processing, Python, ML algorithms, Ai, Analytics, Audio Engineering
