Senior Researcher, Software Verification

What you'll do

• Drive high-impact research in software engineering by integrating AI technologies.
• Develop and test new ideas within collaborative research teams.
• Build and maintain state-of-the-art systems for program and systems verification.
• Develop state-of-the-art automated reasoning tools, including SMT solvers.
• Prepare technical papers and presentations for the research community.
• Work with product teams to ensure technology has a practical, world-changing impact.
• Create scalable systems for software verification in the age of coding agents.

What we're looking for

• Doctorate in a relevant field, or a Master's with 3+ years of research experience, or a Bachelor's with 4+ years of research experience.
• Equivalent experience to the above educational and research requirements.
• Doctorate (or currently pursuing) in software engineering, programming languages, automated reasoning, systems, or relevant fields (preferred).
• Experience publishing academic papers as a lead author or essential contributor (preferred).
• Experience participating in a top conference in a relevant research domain (preferred).
• 3 years of experience building large scale systems integrating rigorous methods and AI technologies for software engineering (preferred).
• Active participation in engineering efforts and research as demonstrated by publications (preferred).
• Master's Degree in relevant field AND 3+ years related research.