.NET, Rust, C, Debugging, Kafka, metrics, Python, Profiling, Go, Linux-based production environments

Cuda, Tensorflow, Pytorch, Haskell, Opencl, LEAN4, functional programming, Coq, Rocq, TLA plus, Renderscript, ONNX, formal verification methodologies

.NET, Web Forms, Design Patterns, C#, Github, Windows Applications, Encryption, Angular, React, Windows Services, Tfs, Soa, SQL Server, Visual Studio, Version Control, Winforms, Continuous Integration, Web Services, Git, Owasp, Iam, ASP.NET, Wcf, Stored procedures, Security Best Practices

.NET, Java, C, Waterfall, Jsp, J2EE, Sql, HTML, Javascript, Data Manipulation Language, Agile, Xml, data storage subsystems, test-driven development, normalized dimensional data modeling

C, Networking, Hypervisor, Load Balancers, Cloud Storage, Algorithms, Agile Software Development, Ontap, Python, Filesystems, Scaling, Cloud protocols, System Kernel programming, Block File technologies, Monitoring

Algorithms, Java, Rust, Typescript, Debugging, data structures, Python 3, software engineering principles, code refactoring, performance optimization, Go

Operating System Concepts, Java, Computer Architecture, C, Device Drivers, Python, Linux Internals, Assembly

C++, Objective-c, Endpoint Security, Multithreading, Git, Linux, Sockets, Linux System Programming, Socket Programming, Ipc, Swift, macOS internals, XPC, CI/CD pipelines