Research Intern - Agentic Programming

Microsoft Microsoft · Big Tech · Redmond, WA +1 · Applied Sciences

Research Intern role focused on agentic programming, involving building agentic workflows and ML models for software engineering tasks, within a PhD program context.

What you'd actually do

  1. Research Interns put inquiry and theory into practice.
  2. Alongside fellow doctoral candidates and some of the world’s best researchers, Research Interns learn, collaborate, and network for life.
  3. Research Interns not only advance their own careers, but they also contribute to exciting research and development strides.
  4. 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.
  5. Research internships are available in all areas of research, and are offered year-round, though they typically begin in the summer.

Skills

Required

  • Accepted or currently enrolled in a PhD program or an equivalent research-oriented program in Computer Science or related STEM field.

Nice to have

  • 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

What the JD emphasized

  • PhD program
  • agentic workflows
  • ML models for software engineering tasks

Other signals

  • agentic workflows
  • ML models for software engineering tasks
  • PhD program