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

Device Drivers, Linux Kernel, BSP Development, Embedded Systems

web framework , Unix/Linux, Agile Methodologies, Programming, Erp System, UI frameworks