✦ Luna Orbit — Software Engineering

Principal Automated Reasoning Engineer

at Ford Motor

📍 United States Remote 💰 $138K – $261K USD / year Posted March 05, 2026
Apply Now → ← Browse All Jobs

Position Details

Salary $138K – $261K USD / year
Type Not Specified
Experience lead
Exp. Years 15+ years
Education Not specified
Category Software Engineering

About this role

This role involves leading the development of automated reasoning tools and systems for Ford’s electric vehicle software, focusing on formal verification, testing, and scalable reasoning pipelines.

Key Responsibilities

  • Develop automated reasoning pipelines
  • Mentor engineering teams
  • Implement formal verification methods
  • Support scalable testing systems
  • Collaborate on software architecture

Technical Overview

Stack includes Rust, Python, TypeScript, formal logic tools like Z3, TLA+, Alloy, with a focus on automated testing, DevOps, and SRE practices.

Ideal Candidate

The ideal candidate is a senior software engineer with over 15 years of experience, specializing in Rust development, automated reasoning, and formal logic. They possess leadership skills, mentoring capabilities, and experience supporting scalable, automated testing pipelines.

Must-Have Skills

10+ years of Rust-lang developmentExperience with Python and TypeScript15+ years as a software engineerExpertise in automated testing and software qualityBackground in formal logic and automated theorem proving

Nice-to-Have Skills

7+ years of technical leadershipProduction experience with automated reasoning pipelinesDevOps / SRE experience supporting critical servicesIncident management and risk mitigation

Tools & Platforms

Z3TLA+AlloyDevOps toolsSRE tools

Required Skills

RustPythonTypeScriptAutomated testingFuzzingModel checkingZ3TLA+AlloySoftware engineeringAutomated reasoningDevOpsSRE

Hard Skills

RustPythonTypeScriptAutomated testingFuzzingModel checkingZ3TLA+AlloySoftware architectureAutomated reasoningDevOpsSRE

Soft Skills

MentoringLeadershipCollaborationProblem-solvingCommunication

Industry & Role

Industry Automotive / Electric Vehicles / Software
Job Function Leading advanced software engineering and automated reasoning development for electric vehicle software

Keywords for Your Resume

RustPythonTypeScriptAutomated testingFuzzingModel checkingZ3TLA+AlloySoftware engineerAutomated reasoningDevOpsSRELeadershipMentoringSoftware engineering

Deal Breakers

Less than 15 years of software engineering experience, No experience with Rust or automated reasoning tools, Lack of leadership or mentoring background

Apply for this Position →

Get matched to jobs like this

Luna finds roles that fit your skills and career goals — no endless scrolling required.

Create a Free Profile