Research Intern - Formal Document Processing

Required Qualifications

• Currently enrolled in a PhD program in Computer Science or a related STEM field.

Other Requirements

• Research Interns are expected to be physically located in their manager’s Microsoft worksite location for the duration of their internship.
• In addition to the qualifications below, 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. After you submit your application, a request for letters may be sent to your list of references on your behalf. Note that reference letters cannot be requested until after you have submitted your application, and furthermore, that they might not be automatically requested for all candidates. You may wish to alert your letter writers in advance, so they will be ready to submit your letter. 

Preferred Qualifications

• Experience interacting directly with the LLM decoding mechanism,e.g., attention heads, key-value cache, VLLM.
• Experience fine-tuning LMs.
• Experience using LMs through APIs, and local installations.
• Background in formal reasoning/theorem proving.
• Background in natural language processing, esp parsing.

The base pay range for this internship is USD $6,550 - $12,880 per month. There is a different range applicable to specific work locations, within the San Francisco Bay area and New York City metropolitan area, and the base pay range for this role in those locations is USD $8,480 - $13,920 per month.

Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here: 

Microsoft accepts applications and processes offers for these roles on an ongoing basis.