Job Closed
This listing is no longer active.
At Ford Motor Company, we believe freedom of movement drives human progress. We also believe in providing you with the freedom to define and realize your dreams. With our incredible plans for the future of mobility, we have a wide variety of opportunities for you to accelerate your career potential as you help us define tomorrow’s transportation.
Principal Automated Reasoning Engineer
Location
Washington
Posted
93 days ago
Salary
$138.2K - $261.7K / year
Seniority
Lead
Job Description
Principal Automated Reasoning Engineer
Ford Motor Company
• 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.
Related Guides
Related Categories
Related Job Pages
More Engineer Jobs
Senior Process Engineer
AmerescoAmeresco, Inc. is a leading cleantech integrator and renewable energy asset developer, owner and operator.
• Design and Procurement: Perform design calculations and prepare equipment specifications; Solicit bids from equipment suppliers and assist in procurement of mechanical equipment and instrumentation; Design LFGTE plants and high RNG facilities to include GA layout, PFD, PIDs, BOM, 2D bid drawings, routing/piping subsystem, and construction drawings. • Process Planning: Plan, develop, direct, and coordinate gas processes. • Technology Evaluation: Evaluate technological needs and integrate them into gas processing plants. • Quality Assurance: Stop or postpone gas processing if quality or regulatory concerns arise and coordinate resolution; Collaborate with personnel at gas processing plants to troubleshoot issues and develop maintenance practices. • Investigations and Reports: Conduct process and production failure investigations; Implement corrective actions and prepare reports to communicate problem/resolution/progress. • Engineering Support: Provide engineering support to operations (LFGTE and RNG plants) in design, instrumentation, and maintenance; Collaborate with all engineering disciplines and operations staff to understand processes and provide design input. • Process Improvement: Develop, evaluate, and improve gas processing methods; Modify processes to enhance safety, product quality, and cost efficiency. • Documentation and Communication: Create accurate P&ID drawings, BOMs, and other engineering documentation; Compile quality data, establish regular communication, and facilitate action plans for continuous improvement; Create project specifications along with Instrumentation specifications, MOC and SOPs. • Safety and Decision-Making: Analyze workforce utilization, space requirements, and workflow; Design layouts for equipment and workspace efficiency. • Technical Competence: Make decisions on proper equipment selection and application; Consider cost, value, application suitability, safety, and reliability. • Knowledge and Collaboration: Maintain knowledge of industry standards (ASME, AGA, API, AISC, OSHA, ASTM); Collaborate with outside vendors, contractors, and design teams to meet project specifications and deadlines. • Mentorship: Act as a mentor to Process Engineers within the Alternative Fuels business unit.
Engineer III
Duke EnergyDuke Energy is one of the nation’s largest electric power holding companies, dedicated to providing power from electricity to more than 7.4 million customers
• Responsible for the daily monitoring duties for all technology types (Coal, Combined Cycle, Simple Cycle CT, Hydro) • Master all features of the Advanced Pattern Recognition (APR) Software (AVEVA Predictive Analytics) • Strive to have zero “preventable” misses • Maintain assigned models in acceptable working order with proper PI (Plant Information) points, training, and alarm management • Review daily event reports with a questioning attitude: “should M&D have notified” • Work with software vendor as required to discuss future enhancements to assist with efficiency and reducing “false positives” • Document Notifications and “Finds” per M&D process to capture avoided costs; strive to maintain open/in-progress items at a minimal level • Support Plant Health Meetings (PHM’s) by discussing significant open/in-progress finds and push for closure • Serve as a change agent to help departmental personnel embrace SmartGen technology and M&D • Perform daily monitoring of site critical components first; all assets with models are to be monitored 5 days/week, critical assets w/o exception • Evaluate alarms for potential equipment-related issues; interact with both Corporate/Regional Subject Matter Experts (SMEs), site Technical and Condition Based Maintenance (CBM) Analysts when needed • Build new models in the APR Software Suite as additional units/equipment come online; evaluate the adequacy of existing deployed models and retrain/update as required • Train Site Engineers/Specialists and CBM Analysts when required on how to interpret the APR software data for component monitoring • Presentations to outside industry groups and/or Duke Management as requested • Collaborate with Electric Power Research Institute (EPRI), Industry peer groups and Nuclear M&D Center, seeking to bolster work groups effectiveness
Project Engineer – Earthworks
DPR ConstructionDPR Construction, founded in 1990 and headquartered in Redwood City, California, is a privately held, employee-owned commercial general contractor and construct
• Participation and application of DPR’s Environmental Health and Safety Plan • Understanding and enforcement of contracts • Assist the superintendent and project manager in implementation of DPR policies • Organizing the duties of other engineers and project staff • Participation in training and company meetings • Organizing and electronically archiving project files • Preparation, monitoring, and updating project schedules • Working with superintendent to reduce project constraints’ impact • Preparation and maintenance of various document control entities • Distribution of new drawings, changes, approved submittals, and project information • Identifying, assembling, negotiating, and distributing change orders • Preparing agendas, documents, meeting minutes for various meetings • Participating in project cost control
Senior Red Team Engineer
AllstateNational General Insurance, a division of Allstate, describes itself as one of the largest insurers in the United States. The company provides personal and commercial auto, recreat
• Lead full-scope red team operations, from scoping to exfil • Design advanced adversary emulation scenarios based on threat intelligence and MITRE ATT&CK techniques • Operate in complex enterprise stacks and conduct exploitation of systems, networks, Active Directory, and cloud infrastructure • Identify gaps in detection, prevention, and response mechanisms, and collaborate with security engineering and detection teams to address them • Build custom tooling and payloads to evade controls and simulate advanced threat capabilities • Manage infrastructure necessary to conduct red team operations • Mentor other red teamers and contribute to internal training, tool development, and process improvement • Develop detailed reports and present findings to both technical and executive stakeholders


