Skip to content
CV Rocket
Get started
How it worksThe enginePricingBlogContactSign in

Open nowPosted 3 hours agoWe saw it 55 min after it went up

Senior Researcher - Software Verification - Microsoft Research

Microsoft735 open roles

Where
Redmond, WA, United States
Work mode
On site
Get the CV for this job

From $25 per CV, paid once. No subscription.

Your applicationOpen nowSenior Researcher - Software Verification - Microsoft ResearchMicrosoft · Redmond, WA, United States

  1. YouYes, apply to this one.

  2. CV RocketCV written for this posting.

  3. 25 readersRecruiter, hiring manager, skeptic. Round after round.

  4. CV RocketApplied on Microsoft's own form.

The reply lands in your private mailbox

3×more interviews than doing it yourself with ChatGPT.

The clock on this job

Early applications get read.

9.6% of postings close within 7 days. Measured by our own scanner across the market. Microsoft postings stay open a median of 19 days.

Share of postings closed within
  1. 1.9%1 day
  2. 3.9%3 days
  3. 9.6%7 days
  4. 15.6%14 days
  5. 33.9%30 days
This job: posted 3 hours ago

Microsoft median: 19 days open

The posting

Overview

At Microsoft Research, you will shape the future of systems and AI by creating scalable systems for program and systems verification. You will work on developing state-of-art automated reasoning tools, including SMT solvers. You will work alongside world‑class researchers and engineers to push state of the art in software engineering in the age of powerful coding agents and through rigorous, impactful research.

In this role as a Senior Researcher – Software Verification, you play a critical part in turning foundational ideas into practical advances in software engineering by advancing automated reasoning. You will deepen your expertise in formal methods, large‑scale systems, and integration of AI and agent technologies. You will be collaborating primarily on‑site in Redmond with opportunities for growth and learning across disciplines.

#MSRR #Research

At Microsoft, our mission—to empower every person and every organization on the planet to achieve more—guides how we partner with customers to deliver trusted, impactful solutions. With a growth mindset culture, we innovate responsibly and measure success by shared progress—people, teams, and customers. Join us to do meaningful work that changes the world and helps shape what’s next for everyone.

Responsibilities

  • Drive high-impact research in rigorous software engineering integrating AI technologies.
  • Collaborate to develop and test out new ideas within existing or new collaborative teams.
  • Build and maintain state of the art systems in this space.
  • Collaborate in preparing technical papers and presentations.
  • Work with product teams to ensure your technology has world-changing impact.

Qualifications

Required/Minimum

  • Doctorate in relevant fieldOR Master's Degree in relevant field AND 3+ years related research experience OR Bachelor's Degree in relevant field AND 4+ years related research experience OR equivalent experience

Preferred

  • Doctorate (or are currently pursuing) in software engineering, programming languages, automated reasoning, systems, or relevant fields
  • Experience publishing academic papers as a lead author or essential contributor.
  • Experience participating in a top conference in relevant research domain.
  • 3 years of experience building large scale systems integrating rigorous methods and AI technologies for software engineering.
  • Active participation in engineering efforts in the above areas, with involvement in building and maintaining systems.
  • Active participation in research as demonstrated by publications. Demonstrable ability to work in a multi-disciplinary team.

Research Sciences IC4 - The typical base pay range for this role across the U.S. is USD $119,800 - $234,700 per year. 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 $160,200 - $261,000 per year.

Certain roles may be eligible for benefits and other compensation. Find additional benefits and pay information here: https://careers.microsoft.com/us/en/us-corporate-pay

This position will be open for a minimum of 5 days, with applications accepted on an ongoing basis until the position is filled.

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances. If you need assistance with religious accommodations and/or a reasonable accommodation due to a disability during the application process, read more about requesting accommodations.

From $25, paid onceGet the CV for this job

What happens when you press

One press. We do the rest.

  1. A CV for this posting

    Written against Microsoft's own wording, from every piece of relevant proof in your profile.

  2. 25 readers review it

    Recruiter, hiring manager, skeptic and more read every draft, round after round. You get the best round.

    The review screen in CV Rocket: how each CV was read, round by round.

  3. We apply on Microsoft's form

    Our application engine gets through the hardest forms there are. Where a question needs you, AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

    An application in CV Rocket: every answer filled in on the employer's form.

  4. Every reply, sorted

    Microsoft's answer lands in your private mailbox, and we classify it on arrival: interview, question, rejection.

    The CV Rocket inbox: each employer reply classified as an interview, an action or a rejection.

  5. Reply with AI

    AI helps you write the email, checks it and sends it. We show you whether the recruiter read it.

  6. The interview in your calendar

    Full integration with your calendar. The invitation goes straight in.

    An interview invitation in the CV Rocket inbox, added to the candidate's calendar.
Get the CV for this job

From $25 per CV, paid once. No subscription.

Why it works

3×

more interviews than doing it yourself with ChatGPT.

ChatGPT writes a CV and never learns what happened to it. We see every reply. For each CV we know:

  • How it was written, and how the review scored it
  • When we applied, and how long after the posting went up
  • Which posting, which company, which city
  • Who got the interview, and who heard nothing

That is how we know which CVs get called.

Get the CV for this job

From $25 per CV, paid once. No subscription.

The numbers game

More applications. More interviews.

Every application goes out with its own CV, written for that posting and paid once. Send enough of them and the law of large numbers finds you the job.

Get the CV for this job
By hand5–10
With CV Rocket100
applications a day

Nearby

Live postings like this one

Same employer first, then the same role elsewhere.

Before you press

Straight answers

Get the CV for this job

From $25 per CV, paid once. No subscription.

What if my background isn't good enough?

We make the most of the background you have. The CV uses every piece of relevant proof your profile holds, and one of the 25 readers reads your whole profile and flags what the CV left out.

Do you really apply for me?

Yes, on the employer's own form, the hardest ones included. Where a question needs you, you answer it right there and AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

Is it a subscription?

No. You pay once per CV, from $25. Every application goes out with its own CV, written for that posting.

One job. One CV.
Paid once.

Pick the posting you want. We write for it, apply for you and catch the reply.

Get the CV for this job

From $25 per CV, paid once. No subscription.