Post Doc Researcher
Core
Applied research on real-world software engineering problems for large codebases using AI and formal methods.
Role type
Postdoctoral researcher (applied research)
Builds
Tools for code migration, code translation, and static analysis on large codebases
Domain
Software Engineering, Programming Languages, AI/ML, Formal Methods
Deliverable
production ML models | product features
Required skills
Programming languages, compilers, LLM post-training, RLHF, instruction tuning, static analysis, AI integration
Preferred skills
Experience with large codebases, formal methods
Technologies
LLMs, Reinforcement Learning, Static Analysis Tools
Responsibilities
Collaborate on applied research at the intersection of PL, SE, and AI; Experiment with and build tools for real-world large codebases
Seniority
Postdoctoral (1-2 years fixed-term)
Sourced via microsoft · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.
