Principal Automated Reasoning Engineer
Location
Washington
Posted
7 hours ago
Salary
$138.2K - $261.7K / year
Bachelor Degree15 yrs expExperience acceptedEnglishPythonRustSDLCType Script
Job Description
• 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.
Job 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.
