Research Intern - Agentic Programming jobs in United States
cer-icon
Apply on Employer Site
company-logo

Microsoft · 5 hours ago

Research Intern - Agentic Programming

Microsoft is a leading technology company that offers dynamic internship opportunities for research careers. The Research Intern will engage in collaborative research with mentors and peers, contributing to various innovative projects while gaining valuable experience in a supportive environment.

Agentic AIApplication Performance ManagementArtificial Intelligence (AI)Business DevelopmentDevOpsInformation ServicesInformation TechnologyManagement Information SystemsNetwork SecuritySoftware
check
Growth Opportunities
check
H1B Sponsor Likelynote

Responsibilities

Research Interns put inquiry and theory into practice
Alongside fellow doctoral candidates and some of the world’s best researchers, Research Interns learn, collaborate, and network for life
Research Interns not only advance their own careers, but they also contribute to exciting research and development strides
During the 12-week internship, Research Interns are paired with mentors and expected to collaborate with other Research Interns and researchers, present findings, and contribute to the vibrant life of the community
Research internships are available in all areas of research, and are offered year-round, though they typically begin in the summer

Qualification

PhD in Computer ScienceFormal methods expertiseProgramming languages expertiseAISoftware engineeringTheorem provers experienceType systems experienceStaticDynamic analysisProgramming models experienceML models experienceNetworking skillsCollaboration skills

Required

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

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

Benefits

Certain roles may be eligible for benefits and other compensation.

Company

Microsoft

company-logo
Microsoft is a software corporation that develops, manufactures, licenses, supports, and sells a range of software products and services.

H1B Sponsorship

Microsoft has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (9192)
2024 (9343)
2023 (7677)
2022 (11403)
2021 (7210)
2020 (7852)

Funding

Current Stage
Public Company
Total Funding
$1M
Key Investors
Technology Venture Investors
2022-12-09Post Ipo Equity
1986-03-13IPO
1981-09-01Series Unknown· $1M

Leadership Team

leader-logo
Satya Nadella
Chairman and CEO
linkedin
leader-logo
Vukani Mngxati
Chief Executive Officer - Microsft South Africa
linkedin
Company data provided by crunchbase