layiq
/la·yiq/adjective
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…
Job opportunity
Principal Researcher and Senior Principal Researcher - Software Verification - Microsoft Research
Redmond, WA
Source: Microsoft careers · View original posting
- Pay
- $142,800 — $331,200 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’ll shape the future of systems and AI by creating and using cutting-edge technology for software verification. You’ll work alongside world‑class researchers and engineers to advance the state of the art in software verification through rigorous, impactful research in the age of powerful coding agents.
As a Principal Researcher or Senior Principal Researcher
, you’ll play a critical part in advancing research in systems software verification and leveraging that research to dramatically impact the way software is built and maintained. You’ll devise new ways to leverage AI and agent technologies to enable rapid development of vast amounts of verified systems code. You’ll deepen your expertise in formal methods, large‑scale systems, and integration of AI and agent technologies. You’ll primarily collaborate on-site in Redmond with opportunities for growth and learning across disciplines.