Drive architecture and technical strategy for high-reliability software systems within your organization.
Apply expertise in verification automation to improve reliability and controls on software deployed into complex systems related to their functionality, safety, and security.
Champion reliability, performance, and other quality initiatives across domains based on data-driven insights.
Advance the state of the art for high-quality software development by improving standard practices to optimize for development speed without sacrificing correctness.
Design and implement tools & infrastructure for formal verification, symbolic reasoning, and constraint solving.
Integrate automated reasoning into existing software development life cycle systems (e.g. CI).
Collaborate across functional team boundaries to deliver integrated solutions.

Requirements

10+ years of Rust-lang development experience.
Working expertise in additional languages such as Python and Typescript.
15+ years of experience as a software engineer, preferring a backend focus.
Mastery of advanced automated testing & software quality methods such as property-based testing, fuzzing, and model checking.
Strong background in formal logic, automated theorem proving, and tools & technologies such as Z3, TLA+, and Alloy.
Experience mentoring and advancing the skills of engineering teams
**Even better, you may have...**
At least 7 years of technical leadership doing architecture, mentorship, and advance individual contribution.
Production experience with automated reasoning capabilities and pipelines at scale.
Significant DevOps / SRE experience supporting business-critical services live for internal and external customers.
Experience with operational incident management and risk mitigation.

Benefits

Immediate medical, dental, vision and prescription drug coverage
Flexible family care days, paid parental leave, new parent ramp-up programs, subsidized back-up child care and more
Family building benefits including adoption and surrogacy expense reimbursement, fertility treatments, and more
Vehicle discount program for employees and family members and management leases
Tuition assistance
Established and active employee resource groups
Paid time off for individual and team community service
A generous schedule of paid holidays, including the week between Christmas and New Year’s Day
Paid time off and the option to purchase additional vacation time.

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

RustPythonTypescriptautomated testingproperty-based testingfuzzingmodel checkingformal logicautomated theorem provingDevOps

Soft Skills

mentorshiptechnical leadershipcollaborationcommunication