Job description
We believe that dramatic improvements to cloud-scale AI/ML systems can be enabled by automatic tools supporting their development and deployment process. This includes architectural exploration, mapping of workloads onto the infrastructure, and further optimizations. There is a wealth of research opportunities and challenges in scheduling and optimization, constraint solving, program synthesis, local search, and other areas. We are developing such tools, in collaboration with product groups, other teams at Microsoft Research, and the broader academic community.
Responsibilities
Qualifications
- PhD in computer science or equivalent industry experience in a research environment, with a focus on constraint solving, automated reasoning, program verification, DNNs, or related.
- Capability for rapid and accurate development in, for example, Python, C++, or similar.
- Creative and collaborative approach to problem solving.
- Publishing track record in automation of distributed deep learning, constraint solving, program verification (e.g., NeurIPS, ICML, OSDI, CP, SAT, CAV).
- Experience with ML frameworks.
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.
Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.