[TYPES/announce] Post-doc at MSR Cambridge UK in constraint solving/program verification and synthesis/scheduling for AI/ML systems
rybal at microsoft.com
Wed Jun 8 09:48:42 EDT 2022
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!
Contact: Andrey Rybalchenko (rybal at microsoft.com<mailto:rybal at microsoft.com>)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce