[TYPES/announce] Intern and post-doc openings at MSR Cambridge

Andrey Rybalchenko rybal at microsoft.com
Mon Oct 30 09:21:57 EDT 2017


Intern and post-doc openings in Network Verification at MSR Cambridge: 
developing and deploying verification tools that scale to Azure datacenters. 

Knowledge of network routing protocols is optional. 

Apply+cc Andrey Rybalchenko/share/inquire! 

https://careers.research.microsoft.com/


Dr. Andrey Rybalchenko
Principal Researcher
Microsoft Research
--
http://aka.ms/rybal




More information about the Types-announce mailing list