About the job
We're looking for an Applied Scientist who combines deep expertise in formal methods and software verification with a demonstrated ability to take research techniques from prototype to production. This person must be comfortable working alongside software engineers building safety-critical drone systems and collaborating with researchers pushing the boundaries of automated reasoning. We're looking for someone who can apply model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch.
Responsibilities
- Apply model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch
- Work alongside software engineers building safety-critical drone systems
- Collaborate with researchers pushing the boundaries of automated reasoning
- Take research techniques from prototype to production
Qualifications
Minimum
- 3+ years of building models for business application experience
- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing
Preferred
- Experience in professional software development
- Master's degree, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience carrying design concepts through exploration, development, and into deployment or mass production
- Experience communicating with customers, technical, regulatory, business teams, and management to collect requirements, describe product features, and technical designs
- Experience in formal verification, program analysis, constraint-solving, or theorem proving (academic or professional work)
- Knowledge of software test techniques and strategy
- Previous experience in formal methods, program analysis, or software verification