Principal Automated Reasoning Engineer

Fordu2019s Electric Vehicles, Digital and Design (EVDD) team is charged with delivering the companyu2019s 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. Youu2019ll 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. What you'll do... u2022 Drive architecture and technical strategy for high-reliability software systems within your organization. u2022 Apply expertise in verification automation to improve reliability and controls on software deployed into complex systems related to their functionality, safety, and security. u2022 Champion reliability, performance, and other quality initiatives across domains based on data-driven insights. u2022 Advance the state of the art for high-quality software development by improving standard practices to optimize for development speed without sacrificing correctness. u2022 Design and implement tools & infrastructure for formal verification, symbolic reasoning, and constraint solving. u2022 Integrate automated reasoning into existing software development life cycle systems (e.g. CI). u2022 Collaborate across functional team boundaries to deliver integrated solutions. You'll have... u2022 10+ years of Rust-lang development experience. u2022 Working expertise in additional languages such as Python and Typescript. u2022 15+ years of experience as a software engineer, preferring a backend focus. u2022 Mastery of advanced automated testing & software quality methods such as property-based testing, fuzzing, and model checking. u2022 Strong background in formal logic, automated theorem proving, and tools & technologies such as Z3, TLA+, and Alloy. u2022 Experience mentoring and advancing the skills of engineering teams Even better, you may have... u2022 At least 7 years of technical leadership doing architecture, mentorship, and advance individual contribution. u2022 Production experience with automated reasoning capabilities and pipelines at scale. u2022 Significant DevOps / SRE experience supporting business-critical services live for internal and external customers. u2022 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 As an established global company, we offer the benefit of choice. You can choose what your Ford future will look like: will your story span the globe, or keep you close to home? Will your career be a deep dive into what you love, or a series of new teams and new skills? Will you be a leader, a changemaker, a technical expert, a culture builderu2026or all of the above? No matter what you choose, we offer a work life that works for you, including: u2022 Immediate medical, dental, vision and prescription drug coverage u2022 Flexible family care days, paid parental leave, new parent ramp-up programs, subsidized back-up child care and more u2022 Family building benefits including adoption and surrogacy expense reimbursement, fertility treatments, and more u2022 Vehicle discount program for employees and family members and management leases u2022 Tuition assistance u2022 Established and active employee resource groups u2022 Paid time off for individual and team community service u2022 A generous schedule of paid holidays, including the week between Christmas and New Yearu2019s Day u2022 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, click here: 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 1-888-336-0660. #LI-Remote #LI-MZ1 #EUV Requisition ID : 60271

Created: 2026-03-06