Cyber-Physical Systems Research Engineer Position

3 weeks ago

Arlington, Virginia, United States Galois Full time
About Galois

Galois is a leading organization in computer science, tackling the most challenging problems in the field. Our mission is to ensure trust in critical systems that protect the privacy and integrity of information in the real world.

We apply formal analysis techniques to model, analyze, and mathematically prove the correctness of systems, ensuring they behave as intended under all circumstances.

Galois is a community of researchers, engineers, and operations professionals dedicated to creating trustworthiness in critical systems across every functional area of the organization.

We foster a highly collaborative environment, pursuing working from first principles, transparency, building deep trust, learning, and innovating, and creating space for individuals to be authentically themselves.

Our unique organizational structure enables us to adapt to the needs of innovative projects we deliver.

We are employee-owned and strive to provide employees with a sense of freedom to pursue passions in and out of work, whether it be opportunities to learn, career growth, a sense of community, or whatever else brings value as a person.

Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, data science, and their applications.

Engineers work in small team settings and must successfully interact with clients, partners, and other employees in a highly cooperative, collaborative, and intellectually challenging environment.

We're looking for individuals who can invent, learn, think, and inspire.

About This Role

Galois is hiring a Cyber-Physical Systems Research Engineer to join our team. This role will primarily focus on advancing research into cyber-physical systems verification, security, and exploit development.

Researchers in this role will use their expertise in security and formal methods to conduct research on securing complex cyber-physical and embedded platforms through the development of novel tools and methodologies.

Responsibilities
  • Requirements gathering: Engage the client in a series of discussions, refining their needs and suggesting means to meet those needs.
  • Formal verification: Use mechanical reasoning tools such as theorem provers, model checkers, and SMT-solvers to demonstrate or analyze security and correctness properties of systems.
  • Modeling: Leverage tools and frameworks such as Modelica, SysML, Ansys Twin Builder, and Ansys SCADE to create models of control systems, physical components, dynamics, and system architectures.
  • Technology research and development: Assess and evaluate cutting-edge technology and academic literature, incorporating it into prototype solutions.
  • Implementation: Design, develop, and maintain tools that automate the process of formally analyzing a complex cyber-physical or embedded system.
Key Qualifications
  • Education: A minimum of a Bachelor's degree in electrical engineering, computer engineering, computer science, or equivalent.
  • Required Technical Expertise:
    • Experience modeling and analyzing cyber-physical systems using tools and frameworks such as Modelica, SysML, Ansys TwinBuilder, or Ansys SCADE.
    • Background in cybersecurity exploitation or reverse engineering (e.g., binary analysis, vulnerability discovery, hardware reverse engineering).
    • Basic knowledge of hardware engineering languages and platforms.
  • Proficient in formal methods with demonstrated expertise in at least one of the following areas: model checking, theorem proving, program analysis, or reachability/falsification of hybrid systems.
  • Fluency in one or more programming languages with experience developing high-assurance systems and/or security products.
Required General Skills
  • Must work well with customers, including building rapport, identifying needs, and communicating with strong written, verbal, and presentation skills.
  • Must be highly motivated and able to self-manage deadlines and quality goals.
Security and Citizenship Requirement

The candidate must be a U.S. citizen. Candidates must have and retain a TS clearance. The candidate must not require a U.S. government export license to authorize access to export-controlled technology and software required to perform this role.

Location

This role requires the ability to work in person from one of Galois' office locations in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR.

Benefits

We offer a robust benefits package to provide for your and your family's well-being, including:

  • Employee Stock Ownership Plan (ESOP)
  • 401(k) retirement plan with 5% employer match and immediate vesting
  • Fully paid medical insurance plans and dental and vision reimbursement plan
  • Health Savings Account (HSA) with generous employer contributions
  • Mental health and wellbeing support through our employee assistance program
  • 5 weeks of paid time off and 9 days of paid company holidays each year
  • 16 weeks of fully paid parental leave (available for birth, adoption, and fostering)
  • 1 week of fully paid 'Blue Sky' innovation time each year to pursue your interests
Compensation

Compensation is based on the value of your results, not your value as an employee or person. The compensation process, individual salaries, and criteria for salary changes are transparent to the entire company.

Equal Employment Opportunity

Galois is an Equal Opportunity Employer and does not discriminate in employment opportunities or practices based on race, ethnicity, national origin, ancestry, color, sex, gender identity or expression, sexual orientation, marital or parental status, pregnancy or childbirth, disability, age, religion, creed, genetic information, veteran status, or any other characteristic protected by applicable federal, state, or local law.

We encourage and respect different viewpoints and experiences as being essential to the process of innovation. We strive to acquire, grow, and maintain a diverse and inclusive workplace that applies principles and standards equitably while supporting the needs and accommodations of the individual employee.

Consistent with the Americans with Disabilities Act (ADA) and federal and state laws, it is the policy of Galois, Inc. to provide reasonable accommodation when requested by a qualified applicant or employee with a disability, unless such accommodation would cause an undue hardship.

If you require reasonable accommodation in completing the employment application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please contact.

  • Cyber Forensics Specialist IV

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job Title: Host Based Cyber Systems Analyst IVJob Summary:Argo Cyber Systems is seeking a highly skilled Host Based Cyber Systems Analyst IV to join our team. As a key partner to the Department of Homeland Security (DHS), we provide critical support to the Hunt and Incident Response Team (HIRT) in securing the Nation's cyber and communications...

  • Cyber Incident Manager

    3 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job SummaryArgo Cyber Systems is seeking a highly skilled Cyber Incident Manager to support our critical customer mission. The successful candidate will be responsible for correlating incident data, recommending defense in depth principles, and performing computer network defense incident triage.Key Responsibilities:Correlating incident data to identify...

  • Cyber Incident Manager Level II

    2 months ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job Title: Cyber Incident Manager Level IIArgo Cyber Systems is seeking a highly skilled Cyber Incident Manager to support our critical customer mission. As a Cyber Incident Manager, you will be responsible for investigating and resolving cyber-attacks, developing mitigation plans, and assisting with the restoration of services.Key...

  • Senior Cyber Systems Engineer

    3 weeks ago

    Arlington, Virginia, United States Leidos Full time

    Job SummaryWe are seeking a highly skilled Senior Cyber Systems Engineer to join our team at Leidos. As a key member of our Electronic Warfare Division, you will be responsible for leading a team of engineers in performing data analysis, investigative analysis, and research on existing and emerging cyber threats.Key ResponsibilitiesLead small R&D projects as...

  • Senior Principal Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job OverviewArgo Cyber Systems is seeking a highly skilled Senior Principal Systems Engineer / Google Cloud Architect to lead the design, development, and operation of a network operations environment. This includes introducing new cyber capabilities to address emerging threats.The ideal candidate will have 10+ years of directly relevant systems engineering...

  • Senior Principal Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job Title: Senior Principal Systems Engineer / Google Cloud ArchitectCompany: Argo Cyber SystemsLocation: Arlington, VA / Dulles, VA / Pensacola, FLJob DescriptionArgo Cyber Systems is seeking a highly skilled Senior Principal Systems Engineer / Google Cloud Architect to join our team. As a key member of our cybersecurity team, you will be responsible for...

  • Senior Principal Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job Title: Senior Principal Systems Engineer / Google Cloud ArchitectAt Argo Cyber Systems, we are seeking a highly skilled Senior Principal Systems Engineer / Google Cloud Architect to join our team. As a key member of our organization, you will play a critical role in assessing, designing, and developing automated cloud-based requirements and...

  • Cyber Network Defense Analyst IV

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job Title: Cyber Network Defense Analyst IVArgo Cyber Systems is seeking a highly skilled Cyber Network Defense Analyst IV to join our team. As a key member of our cybersecurity team, you will be responsible for monitoring and analyzing network activity to identify potential threats and protect our systems and data.Key Responsibilities:Characterize and...

  • Deputy Cyber Incident Response Team Manager

    4 weeks ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job SummaryWe are seeking a highly skilled Deputy Cyber Incident Response Team Manager to join our team at Argo Cyber Systems. As a key member of our Cyber Defense Mission, you will play a critical role in ensuring exceptional service for our managed services customers and driving employee engagement for our CIRT staff members.Key ResponsibilitiesSupport the...

  • Senior Principal Systems Engineer

    1 month ago

    Arlington, Virginia, United States Argo Cyber Systems Full time

    Job OverviewArgo Cyber Systems is seeking a highly skilled Senior Principal Systems Engineer / Google Cloud Architect to join our team. As a key member of our cybersecurity team, you will be responsible for assessing, designing, and developing automated cloud-based requirements and architectures.Key ResponsibilitiesProvide Systems Engineering project...

  • Senior Cyber Systems Engineer

    3 weeks ago

    Arlington, Virginia, United States Peraton Full time

    Job Summary:We are seeking a highly qualified Senior Cyber Systems Engineer to provide expertise in cyber and technology security to support innovative and secure business processes for the Department of State (DoS) Diplomatic Security Cyber Mission (DSCM) program.This role requires in-depth knowledge of federal cybersecurity mandates, emerging technology...

  • Cyber Applied Research Scientist

    4 weeks ago

    Arlington, Virginia, United States Lockheed Martin Corporation Full time

    Unlock the Future of CybersecurityAt Lockheed Martin, we're pushing the boundaries of innovation in the field of cybersecurity. As a Cyber Applied Research Scientist, you'll be part of a dynamic team that's shaping the future of cyber operations.Our MissionWe're dedicated to empowering our nation's heroes with cutting-edge Information Operations (IO) and...

  • Cyber Security Researcher

    4 weeks ago

    Arlington, Virginia, United States Pyramid Consulting, Inc Full time

    Job Opportunity: Cyber Security Offensive ResearcherWe are seeking a highly skilled Cyber Security Offensive Researcher to join our team at Pyramid Consulting, Inc. This is a contract opportunity with a duration of 08+ months, offering a competitive pay range of $115 - $120/hour.Key Responsibilities:Conduct in-depth research and analysis of cyber threats and...

  • Cyber Systems Engineer

    3 weeks ago

    Arlington, Virginia, United States Leidos Full time

    Job Summary:We are seeking a highly skilled Senior Cyber Systems Engineer to join our team at Leidos. As a key member of our Electronic Warfare Division, you will be responsible for leading a team of engineers in threat hunting and tactical analysis of ongoing attacks to mission systems.Key Responsibilities:Lead small R&D projects as PI/ChEng.Contribute to...

  • Cyber Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Booz Allen Hamilton Full time

    Job Overview:F-35 Cyber Systems EngineerThe Opportunity:As a cyber mission specialist, you will play a critical role in developing cyber resilience for the world's most advanced and networked aircraft. You will work with industry leaders to create a cyber resilient 5th generation aircraft, utilizing your knowledge of cyberspace operations and systems...

  • Software Engineer for RF and Cyber Systems

    3 weeks ago

    Arlington, Virginia, United States BAE Systems USA Full time

    About the Role:We are seeking a highly skilled Software Engineer to join our team at BAE Systems USA. As a Software Engineer for RF and Cyber Systems, you will be responsible for developing software solutions to support signal processing and analysis of wireless communications and EW systems.Key Responsibilities:Develop software solutions to support signal...

  • Cyber Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Booz Allen Hamilton Full time

    We are seeking a Cyber Systems Engineer to apply expertise in defense systems to develop cyber resilience for worldwide impact on our nation's warfighting readiness.The role involves evaluating potential weaknesses and the effectiveness of cyber security solutions, informing senior leadership on fighter capability development, and creating cyber resilient...

  • Cyber Systems Engineer

    3 weeks ago

    Arlington, Virginia, United States Peraton Full time

    Job Summary:We are seeking a highly skilled Cyber Systems Engineer to join our team at Peraton. As a Cyber Systems Engineer, you will be responsible for providing leading cyber and technology security experience to enable innovative, effective, and secure business processes.Key Responsibilities:Support the Cyber Security Solutions team within the Emerging...

  • Cyber Systems Engineer

    4 weeks ago

    Arlington, Virginia, United States Peraton Full time

    Cyber Systems Engineer - Emerging TechnologiesWe are seeking a highly skilled Cyber Systems Engineer to join our Emerging Technologies Division. As a key member of our team, you will be responsible for developing and implementing cutting-edge cyber security solutions to protect our nation's interests.Key Responsibilities:Develop and implement cyber security...

  • Senior Cyber Systems Engineer

    3 weeks ago

    Arlington, Virginia, United States SkyePoint Decisions Full time

    About the Role:SkyePoint Decisions is seeking a highly skilled Cybersecurity Solutions Expert to support the Diplomatic Security Cyber Mission (DSCM) program. As a key member of our team, you will provide leading cyber and technology security experience to enable innovative, effective, and secure business processes.This position will work a rotating hybrid...