
Search by job, company or skills
Showing 9 jobs
Skills:
Rtos, Device Drivers, Linux kernel, Exception Handling, trusted firmware, Caches, CPU Microarchitecture Knowledge, bring-up and debugging skills, ARM v8 v9 architecture, MMU, hypervisors, interrupts, debug subsystems, Low-level firmware and architecture-specific code
Skills:
S3, Grafana, Lambda, Docker, Terraform, Sns, Python, Api Gateway, AWS, Java, Cloudformation, Dynamodb, Node.js, Jenkins, Cloudwatch, ECS, Sqs, Iam, Dynatrace, Splunk, Kubernetes, AWS CDK, Event Bridge, Serverless Framework, Step Functions, Glue
Skills:
synopsys primetime , Perl, Python, Tweaker, Power-Aware Verification UPF, Cadence CCD, Sign-off STA Synopsys PrimeTime PT PT-PX, Cadence Conformal LEC, PrimeClosure, Cadence Tempus, Synopsys Formality, Formal Verification LEC, Constraints Validation Synopsys TCM GCA Ausdia TimeVision SpyGlass, Timing Closure ECO Cadence Tempus
Skills:
Golang, Distributed Systems, Containers, Technical Leadership, File Systems, Automation, Microservices, Cloud Storage, Infrastructure Services, Databases, Gcp, Scalability, Rest Apis, Azure, Python, Kubernetes, AWS, Go, Software Systems Engineering, Security, Reliability, Observability
Skills:
Ml, Java, C, Microservices, Kubernetes, Python, cloud-native systems, LLMs, Go, Ai, Tetragon, eBPF, Zero Trust
Skills:
Python, scoreboarding, Mentor Questa, Cadence Xcelium, AXI protocol, SystemVerilog UVM, GLS, Synopsys VCS, memory controller architecture, assertions SVA, DDR protocol JEDEC specifications, functional coverage
Skills:
Python, scoreboarding, Mentor Questa, Cadence Xcelium, AXI protocol, GLS, SystemVerilog UVM, Synopsys VCS, memory controller architecture, assertions SVA, DDR protocol JEDEC specifications, functional coverage
Skills:
Ethernet, Pcie, formal verification, assertion-based verification, UCIe, FPGA prototyping, Uvm, hardware software co-verification, systemverilog, coverage-driven verification, Emulation, RISC-V architecture, CXL, constrained-random verification, high-performance SoC architectures, AMBA protocols, SERDES, Simulation
Skills:
Kvm, C, Microsoft Sql Server, Redis, Rabbitmq, Pytorch, Docker, Linux, MySQL, MongoDB, Python, scikit-learn, LightGBM, Consul, ONNX, libvirt
