Research Intern - Agentic Programming at Microsoft in Redmond, WA

Summary: Microsoft provides a dynamic environment for research careers with a network of world-class research labs. The Research Intern will collaborate with doctoral candidates and researchers to contribute to various research projects, presenting findings and enhancing their own career development during the 12-week internship. Responsibilities: - Research Interns put inquiry and theory into practice - Collaborate with other Research Interns and researchers - Present findings and contribute to the vibrant life of the community Required Qualifications: - Accepted or currently enrolled in a PhD program or an equivalent research-oriented program in Computer Science or related STEM field - Research Interns are expected to be physically located in their manager's Microsoft worksite location for the duration of their internship - You'll need to submit a minimum of two reference letters for this position as well as a cover letter and any relevant work or research samples Preferred Qualifications: - Expertise in formal methods, including experience improving theorem provers and proof tools - Expertise in programming languages, including experience in type systems, static and dynamic analysis tools, programming models, and runtimes - Expertise in AI and software engineering, including experience building robust and secure agentic workflows and ML models for software engineering tasks Required Skills: Formal methods, Theorem provers, Proof tools, Programming languages, Type systems, Static analysis tools, Dynamic analysis tools, Programming models, Runtimes, Artificial intelligence, Agentic workflows, Machine learning models Benefits: Certain roles may be eligible for benefits and other compensation., Find additional benefits and pay information here: https://careers.microsoft.com/us/en/us-intern-pay