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

arinc 653 , arinc 429 , Embedded Software Development, Requirements Engineering, AFDX, ARP4754A, verification methodologies, ARINC 615A, DO-178, aerospace software certification standards, software verification and validation strategies, avionics communication protocols, software lifecycle processes

Shell, Pcie, Perl, Arm, Python, Tcl, MCU, AMBA, Axi, UCIe, systemverilog

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

System Verilog, formal verification methodologies, C testcases, scripting for flow integration, Uvm, AI ML-driven EDA tools

service deployment , Apis, Scalability, Test Strategy, Distributed Systems, Cloud Infrastructure, AWS, cloud-native applications, CI CD-driven Quality Engineering, infrastructure optimisation, microservices architecture, scalable automation frameworks, automation architecture

static timing analysis, Perl, Python, EDA tools for synthesis, LINT, cdc, digital design principles, verification methodologies, RTL design using Verilog, clocking resets, Simulation, Timing Analysis, RTL quality tools such as Spyglass, RDC, VHDL, low-power design techniques

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