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

Cli, VLAN, BGP, Multicast, Vtp, Netconf, SNMP, OSPF, YANG, Mpls, C/C++ programming, Layer 3 protocols, Routing Infrastructure

Hibernate, Design Patterns, Webservices, Java 8, Nosql, Devops, Jenkins, JUnit, Exception Handling, MongoDB, Jpa, Azure, Db, AWS, Binary Tree, Caching, Sprint Security, Java Spring Boot

C++ Programming, Java or Kotlin programming, AAOS AOSP, Android Framework integration and development, Android Audio, Android Framework integration and HAL layer interactions, HAL layer interaction, Java-to-C++ integration

.NET, PostgreSQL, Dynamodb, Node.js, Jira, Git, React, Typescript, Swagger, ASP.NET, Mvc, Python, AWS, microservices architecture, AI-assisted development tools, OpenAPI

.NET 8, retrieval-augmented generation (RAG), .NET Framework, Cloud Technologies, Angular, Restful Web Services, React, Javascript Frameworks, NHibernate, Docker, Entity Framework, Backend Development, Kubernetes, asynchronous processing queues, Azure OpenAI, LangGraph, service-oriented architecture, Relational Databases, AI coding tools, LangChain, LLMs, DevSecOps practices, Anthropic, prompt engineering, Semantic Kernel, CI/CD pipelines, ASP.NET Core, OpenAI

Cassandra, PostgreSQL, Node.js, Kafka, Redis, Microservices, Django, Jenkins, Docker, FastAPI, MongoDB, Restful Apis, Python, Kubernetes, GitLab CI/CD, GitHub Actions, CI/CD

C, C++, Network Security, Operating System Concepts, Computer Networking, Python, Golang, Optical Networking, System programming on UNIX based systems, L2 L3 protocols, GenAI capabilities, Multithreaded programming, AI-powered software development