[TYPES/announce] Post-doc at MSR Cambridge UK in constraint solving/program verification and synthesis/scheduling for AI/ML systems

[Andrey Rybalchenko]

We are hiring a post-doctoral researcher to collaborate on automatic tools
for development and deployment of cloud-scale AI/ML systems.
There is a wealth of research opportunities and challenges in scheduling and optimization,
constraint solving, program synthesis, local search, and other areas. Join us!

https://urldefense.com/v3/__https://careers.microsoft.com/us/en/job/1354399/Full-time-Opportunities-Researcher-Cloud-Infrastructure__;!!IBzWLUs!RlG1p-ATX16XwCegzoAczuuUF_3JURtReo3txE7lxP8XN2Uy7kwAZCXz5X5o94bluOBVy2ThP2Z_8C4EKKcaeej2NRVPLA$ 

Contact: Andrey Rybalchenko (rybal at microsoft.com<mailto:rybal at microsoft.com>)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220608/97c04941/attachment.htm>