Seeking exceptional candidates to join the Research in Software Engineering Group at Microsoft Research, specializing in high-performance computing, ML systems, programming languages, and formal methods, to drive state-of-the-art research and improve qual