Senior Principal Software Engineer
On-siteSeattle, Washington, United States
Job Summary
Formally specify and verify requirements and algorithms to uncover ambiguities and design bugs before implementation. Review critical code sections to reverse-engineer high-level designs for formal validation against correctness properties. Utilize model-checkers, constraint solvers, and machine-checked proofs to validate precise designs against specified behaviors. Assist in developing new methodologies and tools for safe Generative AI usage, including automatically generating formal specifications from informal descriptions and synthesizing implementation code from formal specs. Validate generated code via trace-validation and conformance testing.
Required Qualifications
- formal specification and verification
- formal methods
- TLA+
- model-checkers
- constraint solvers
- machine-checked proof
- Verus
- Generative AI
- trace-validation
- conformance testing
- code-level verification systems
Desired Qualifications
- passion and expertise for practical application of formal methods to complex problems
- value collaboration
- value innovation
- value pragmatism
- focused on achieving results
- self-motivated
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.