layiq
/la·yiq/adjective
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…
Job opportunity
Senior Researcher - Software Verification - Microsoft Research
Redmond, WA
Source: Microsoft careers · View original posting
- Pay
- $119,800 — $261,000 USD per year
- Employment
- full time
Employer job description
From Microsoft's posting. “We” and “our” refer to the employer.
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.