Debugging, Python, formal verification, Verification Environments, Functional Verification, IBM Formal Verification Tools, Testbenches

Ml, C, Python, Electromagnetic Design, Siemens Nx, Ai, Electromechanical design

Openshift, Containers, Kubernetes, Python, Continuous Integration, Microservices Architecture, KubeVirt, Virtualization technologies, VMware APIs, Go, Cloud infrastructure deployments

C++, Python

Embedded C, Rtos Concepts, Debugging, MATLAB, Python, Makefiles, Audio signal processing, ARM DSP, Fixed-point arithmetic, Audio DSP, HiFi DSP