Internship opportunities: Formal Verification in Cambridge

Internship opportunities: Formal Verification
Cambridge UK

Job Details

Updated on 2019-07-09

Azure data center and WAN networks need to run reliably, efficiently, and without users noticing any problems, even as they grow. Keeping networks tuned this way requires the development of tools that improve the functioning of large-scale datacenter networks.

We are currently investigating a range of network verification tools that help network operators and architects design, operate, maintain, troubleshoot, and report on their large networks. 

There is no closing deadline for this post. The post will be filled once suitable candidates are found so if you are interested please apply as soon as possible.


Design and develop verification tools for Azure network configurations.


Any one (or more) of the following experiences:

·       Software/network verification

·       Static analysis

·       Constraint solving/SMT

·       Network routing protocols

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances.  We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.

Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.

We offer a competitive salary.

Internship opportunities: Formal Verification
Cambridge UK