Principal Design Verification Engineer - Formal
New
We sent a six-digit code to . Enter it below — or use the link in the same email.
Or click the link in the same email — either works.
Enter the email address on your account and we'll send you a link to set a new password.
Remembered it? Sign In
Design the networking architecture for a distributed Kubernetes service that manages nodes across multiple clouds, on-premises, and edge locations. This role requires 6+ years of coding experience in Go, Rust, C, C++, C#, Java, or Python, with deep expertise in overlay/underlay networking, Linux kernel networking, and high-performance fabrics like InfiniBand and RDMA. Lead cross-organization efforts on encryption, routing, BGP, and eBPF dataplanes while owning production operations at global scale. Base pay ranges from $142,800–$274,800 annually, or $188,000–$304,200 in San Francisco and New York.
Written from this posting by Neural Jobs AI. The full description is below.
Imagine working at the forefront of the cloud industry, redefining where Kubernetes can run. The AKS Flex team is building the next generation of Azure Kubernetes Service: a single AKS control plane that can manage worker nodes running anywhere, whether in other Azure regions, on-premises data centers, bare-metal fleets, edge sites, or other clouds.
We are hiring a Principal Software Engineer to build the networking that makes this possible. You will design the multi-site connectivity behind flex nodes for AKS and Unbounded, our open-source project for joining any Linux machine to a Kubernetes cluster across sites and networks, so that pods and nodes in any location behave as part of one cluster. You will also bring high-performance fabrics to GPU and AI workloads running across this distributed footprint.
You will solve deeply technical problems in overlay and underlay networking, routing, dataplane performance, secure connectivity, and reliable production operations at global scale. Your work will directly unlock capacity for GPU-hungry AI workloads, data-residency-constrained customers, and organizations that want one operating model for all of their compute.
This is a unique opportunity to define the networking architecture of a new product area from its early days, represent Microsoft in the open-source community, and shape what hyperscale managed Kubernetes looks like without boundaries.
Microsoft's mission is to empower every person and every organization on the planet to achieve more. As employees we come together with a growth mindset, innovate to empower others, and collaborate to realize our shared goals. Each day we build on our values of respect, integrity, and accountability to create a culture of inclusion where everyone can thrive at work and beyond.
Required Qualifications:
Other Requirements:
Preferred Qualifications:
Software Engineering IC5 - The typical base pay range for this role across the U.S. is USD $142,800 - $274,800 per year. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $188,000 - $304,200 per year.
Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here:
https://careers.microsoft.com/us/en/us-corporate-pay
This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.
Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.
Here is what this employer asked for. Sign in and we will fill in your half.
Microsoft builds Windows, Azure, Office and the Copilot family of AI assistants, and operates one of the largest AI training and inference fleets in the world. Microsoft Research and the AI platform teams work across foundation models, systems for large-scale training, and applied ML in every product line.
Founded in 1975 and headquartered in Redmond, Washington, the company is also OpenAI's principal compute partner and ships AI tooling for developers through GitHub, VS Code and Azure AI.
Already have an account? Sign in
Continue without an account and apply on the Microsoft website
Search by role, company, or anything a posting mentions.