Gdb, Jira, Jenkins, Git, Shell scripting, Valgrind, Python, Vector C/C++, SIMD vectorization, Embedded ARM Linux, Programmable DSP processors, X86 platforms, Real-time signal-processing algorithms, C/C++ software development

C++, Cmake, Visual Studio, Debugging Tools, JIRA, multi-threaded programming, dependency management solutions, performance profilers, automated testing frameworks, Qt libraries

Sentry), Observability tools (Datadog, Incident response practices (PagerDuty, Incident.io), Cloud security, Networking, Kubernetes, Core Backend Infrastructure Engineering, Container orchestration, Backend Platform Engineering

Java, Dynamics 365, Node.js, Redis, MySQL, Netsuite, Postgres, MongoDB, Oracle, Python, Go, Quickbooks, gRPC APIs

C#, Rust, C, C++, Program Analysis, Lean, TLA+, Verus, compilers, Dafny, LLM-based agents

Scripting Knowledge, Observability Telemetry, Domain Expertise, Operational Leadership, ITSM Proficiency, Core Technical Stack

React, Typescript, PostgreSQL, Kafka, Python, Sql, Go, GRPC

threat modeling , Github, C, Gerrit, Automated Testing, Embedded Linux, Https, Terraform, Tcp/ip, Scripting, multi-threading, UDP, C++, Jira, Jenkins, Yocto, Ansible, Containers, AI-assisted coding, observability, firmware integration, DevOps practices, device lifecycle, root-cause analysis, CI/CD practices