Research Intern - Agentic Programming
Core
Research Interns conduct inquiry and theory in practice, collaborating with doctoral candidates and researchers to advance research and development strides.
Role type
Research Intern (Agentic Programming)
Builds
Research and development strides in agentic programming
Domain
Computer Science / AI / Software Engineering
Deliverable
research
Required skills
formal methods, theorem provers, proof tools, programming languages, type systems, static and dynamic analysis tools, programming models, runtimes, AI, software engineering, agentic workflows, ML models
Preferred skills
expertise in formal methods, expertise in programming languages, expertise in AI and software engineering
Responsibilities
learn, collaborate, network, present findings, contribute to the vibrant life of the community
Seniority
Intern
Sourced via microsoft · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.