Programming languages and software engineering
Project
Agentic Workflows
Write natural language workflows (AI-powered automation that can make decisions) that understand context, make decisions, and take meaningful actions across your repositories. Write agentic workflows in natural language markdown, and run them safely in GitHub…
Career Opportunity
Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research…
Career Opportunity
Research Intern – MSR Systems Research Group – Redmond
The Systems Research Group in Microsoft Research is devoted to advancing the state of the art in distributed systems and operating systems. Our aim is to make systems verifiably correct, scalable, fault-tolerant, manageable, fast and…
Career Opportunity
Research Intern – Hardware/Software Codesign
We are seeking Research Interns to help advance the efficiency of AI systems. Candidates should have a background in deep learning, model compression, Graphics Processing Unit (GPU) architecture, accelerator design, machine learning, or systems research,…
