Principal Automated Reasoning Engineer

Ford’s Electric Vehicles, Digital and Design (EVDD) team is charged with delivering the company’s vision of a fully electric transportation future. EVDD is customer‑obsessed, entrepreneurial, and data‑driven and is dedicated to delivering industry‑leading customer experience for electric vehicle buyers and owners. You’ll join an agile team of doers pioneering our EV future by working collaboratively, staying focused on only what matters, and delivering excellence day in and day out.

Join us to make positive change by helping build a better world where every person is free to move and pursue their dreams.

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

• 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 Dev Ops / SRE experience supporting business‑critical services live for internal and external customers.
• Experience with operational incident management and risk mitigation.

You may not check every box, or your experience may look a little different from what we’ve outlined, but if you think you can bring value to Ford Motor Company, we encourage you to apply!

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

This position is leadership level 5 and ranges from $138,240–$261,720.

For more information on salary and benefits, :

Visa sponsorship is available for this position.

Candidates for positions with Ford Motor Company must be legally authorized to work in the United States. Verification of employment eligibility will be required at the time of hire.

We are an Equal Opportunity Employer. All qualified applicants will receive consideration for employment without regard to race, religion, color, age, sex, national origin, sexual orientation, gender identity, disability status or protected veteran status. In the United States, if you need a reasonable accommodation for the online application process due to a disability, please call

Requisition : 60271