Research Sciences INTERN
Software research
Posted On-site
The gist
This research internship involves working on software engineering challenges using ai and formal methods. Ideal for students interested in programming languages and code analysis. Based in bangalore with opportunities to collaborate with microsoft researchers.
What you would actually do
- Analyze codebases using AI and formal methods
- Collaborate with researchers on real-world software problems
- Based in bangalore with access to microsoft research
Skills mentioned
aiformal methods
How to apply
Internships in India often collect hundreds of applicants within a day, so applying early matters more than applying perfectly. A half-finished application sent on the first morning beats a polished one sent on the third.
This summary was written by InternDoor from the public posting, and is not the employer's own wording. The linked posting is the source of truth — check it before you apply.