C, Perl, Verilog, Shell scripting, Python, Tcl, SVA, UVM assertions, systemverilog

C, Gdb, Gcc, Eclipse, Zephyr, Gnu Make, JIRA, Git, Confluence, Python, DC to AC inverters, closed-loop control algorithms, AC grid simulators, STM32, Atlassian cloud suite, UL and IEC standards, drivers for sensors, bootloader design and implementation

Perl, Python, Formal Verification methodologies, Axi, APB, JasperGold, AMBA protocols, VC Formal, Uvm, AHB, systemverilog

containerization , Java, Springboot, Graphql, PostgreSQL, Node.js, Microservices, React, Typescript, Javascript, Neo4j, MongoDB, Python, DevOps practices, Cloud-native applications

Perl, Python, Tcl, VPlan, Synopsys VCS, Synopsys VC Formal, JasperGold, Cadence simulation tools, AMBA protocols, Uvm, systemverilog