Cyber Security Engineer - Formal Methods

Auto Req ID:
Job Title:
Cyber Security Engineer - Formal Methods
Ford Motor Company

Job Description
Ford’s Research and Advanced Engineering organization is broadening its core competency within the area of Embedded Cyber Security in the automotive environment. We are both researching and reviewing new enterprise-wide features and technologies, as well as providing frameworks, processes and tools to help the research.

Technology is advancing, connection mechanisms are growing, and consumers and hackers are becoming more sophisticated. With increasing networking between modules and access points into the vehicle, the attack surface has increased thereby opening up new potential vulnerabilities. Automobiles are no longer mere mechanical devices but are controlled by dozens of digital computers coordinated by internal networks. While all this technology has allowed for better personalized experiences, seamless integration into a person’s lifestyle, differential services, predictive diagnostics and safer driving conditions, the increase in complexity drives the need for advanced security and data solutions.

We are exploring the role of advanced embedded computing platforms, coupled with cloud-based services, to deliver applications which will redefine the experience of owning, maintaining, driving and interacting with Ford Motor Company vehicles. Security needs to be built into each of these growing technologies.

The ideal candidate will have outstanding security design analytical skills and the ability to work in a fast-paced, collaborative environment. We are looking for exceptionally creative, motivated and talented Cyber Security engineers to join our team to evaluate and develop advanced features, toolkits and consult on security related architectures. We collaborate extensively within Ford and with external partners, thus we require exceptional communication and collaborative skills.

Work tasks span from the early research and development stages of ideation, experience and use case development, through development of Proof-of-Concept solutions, vehicle integration and finally delivery of features and processes to the Product Development organization.

  • Build and utilize computer simulation tools and set up for test bed for development
  • Develop and utilize formal architecture models
  • Develop and utilize compositional verification tools and architecture-based assurance case methodologies
  • Develop and utilize code synthesis tools to generate build code
  • Assist with architecture process creation and product development security program creation
  • Synthesize vehicle control code, models, and properties from specifications
  • Generate safe low level-code in a scalable way by creating embedded domain-specific languages that can be used in automotive
  • Explore and Promote Formally verified OS kernels
  • Synthesis OS components and automated proofs and generate requirements from them.
  • Support major product programs/new features with security needs
  • Collaborate on Advanced Engineering projects with outside partners in academia, government, or internal Ford teams
  • Assist Product Development in proof-of-concepts with new features and technology related to security
  • Experience with Security Testing/Evaluation Tools
  • Experience with Formal Methods or Common Criteria
  • Development of security requirement and design validation methodologies (DVM).
  • Research technologies and security benchmarking data gathering
  • Limited traveling (conferences, regional team meetings, government/academia visits, etc.
Basic Qualifications:
  • Master’s degree
  • 2+ years in research / simulation / modeling / requirements development.

Preferred Qualifications:
  • Masters or higher in Computer Information / Cybersecurity / Electrical, Mathematics / Computer Engineering / Computer Science with Cybersecurity Experience highly preferred
  • Strong analytical skills
  • Strong oral and written communication skills
  • Ability to work independently, take follow-up on project deliverables, go above and beyond the task at hand
  • Strong mathematical and formal logic methodology experience, electrical principle knowledge and simulation tool experience
  • Understanding of architecture, development, design principals a plus
  • Understanding and experience in embedded and/or automotive systems
  • Work well in a small team and be flexible enough to work on any aspect of the project as needed
  • Ability to develop and maintain technical documentation
  • Familiarity with in-vehicle network architecture, modules, and protocols (CAN etc.)
  • Electrical or System Engineering background will be a plus for module-related work
  • Conceptual understanding of security methodologies and challenges

The distance between imagination and … creation. It can be measured in years of innovation, or in moments of brilliance. When you join the Ford team discover all the benefits, rewards and development opportunities you’d expect from a diverse global leader. You’ll become part of a team that is already leading the way, with ingenious solutions and attainable products – and it is always ready to go further.

Candidates for positions with Ford Motor Company must be legally authorized to work in the United States on a permanent basis. Verification of employment eligibility will be required at the time of hire. Visa sponsorship is not available for this position.

Ford Motor Company is an equal opportunity employer committed to a culturally diverse workforce. 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.