Research Engineer in Formal Methods

A company is looking for a Research Engineer specializing in Formal Methods.

Key Responsibilities

Translate formal methods research into implemented solutions and integrate them into production-ready products

Apply and adapt tools and frameworks for formal verification to assist practicing engineers

Conduct experiments to evaluate the effectiveness of formal methods on industrial-scale codebases

Required Qualifications

Advanced degree (Master's or Ph.D.) in Computer Science, Mathematics, or a related field

Strong programming skills in Python, C / C++, or Rust

Proficiency in core software development practices, including version control and testing

Solid background in formal methods combined with strong software engineering skills

Familiarity with theorem provers, static analyzers, and property-based testing libraries is a plus