Search Jobs
Search by job, company or skills
Search by job, company or skills
Showing 7 jobs
Skills:
Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans
Skills:
Shell, Perl, Python, formal property verification, complexity reduction techniques, formal verification technologies, formal testbenches, testplans
Skills:
Python, Jasper VC, Formal Questa, Formal 360-DV, Formal verification tools
Skills:
Prometheus, Bash, Grafana, Datadog, Gcp, Terraform, Dynatrace, Azure, Python, AWS, Go, distributed tracing, SLI, OpenTelemetry, SLO
Skills:
formal verification, Synopsys VC Formal, Cadence JasperGold, systemverilog
Skills:
Databases, Java, Graphql, PostgreSQL, Sap Hana, Python, distributed systems technologies, CI CD testing practices, messaging systems, AI ML techniques, Go, LangGraph, RPC frameworks, cloud-native architectures
Skills:
C, Perl, Verilog, Shell scripting, Python, Tcl, SVA, UVM assertions, systemverilog
