Principal Automated Reasoning Engineer

Ford Pro is dedicated to delivering a fully electric transportation future through its Electric Vehicles, Digital and Design (EVDD) team. The Principal Automated Reasoning Engineer will drive architecture and technical strategy for high-reliability software systems, focusing on verification automation and improving software reliability, performance, and quality initiatives.

Responsibilities:

• 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
• 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