Jobs in the United States

25+ jobs

Save this search

Added 1 min ago
Manager Electrical Engineering 2
Northrop Grumman
Redondo Beach
You will interact with numerous stakeholders including program management, systems engineering, flight hardware design engineers, and logistical support services. Outstanding organizational…
Added 1 min ago
Sr. Principal System Engineer - NATO IFC Lead
Northrop Grumman
San Diego
Northrop Grumman Aeronautics Systems has an opening for a Senior Principal Systems Engineer to join our team of qualified, diverse individuals within our Systems Engineering organization,…
Added 1 min ago
Sentinel - Staff Systems Engineer - Mechanical Systems Design Integrator
Northrop Grumman
Roy · Manhattan Beach
The Staff Mechanical Systems Design Integrator (level 5 engineer) will work with our Sentinel Systems Engineering & Integration (SE&I) Business Unit’s System Integration & Sustainment (SIS)…
Added 1 min ago
Sentinel - Staff Systems Engineer - 17379
Northrop Grumman
Roy
Northrop Grumman Defense Systems is seeking a Staff Systems Engineer (level 5) to join its team. This position is in Roy, Utah and will support the Sentinel program. Northrop Grumman…
Added 22 mins ago
Embedded Hardware Security Research Engineer
Riverside Research Institute
Dayton, OH
Embedded Hardware Security Research Engineer Location US-OH-Dayton ID 2026-4414 Category Research & Development Position Type Full Time Salary Riverside Overview Riverside Research is an…
Added 31 mins ago
Senior Software Engineer, Digital Platforms and Embedded Systems
BAE Systems
Nashua, NH
Job Description BAE Systems is seeking a Senior Software Engineer to join the Digital Architecture Team (DAT) in Nashua, NH. DAT provides shared digital platforms and forward-deployed…
Added 38 mins ago
T
Principal Software Engineer, AMER Payments
Trustly
NY
- $260,000 to $390,000 USD / year
- Typically 15+ years in software engineering, with principal-level scope across multiple teams, and still writing production code.
Added 40 mins ago
Manager Electrical Engineering 2
SP - Orbital Space Systems
United States
You will interact with numerous stakeholders including program management, systems engineering, flight hardware design engineers, and logistical support services. Outstanding organizational…
Added 1 hour ago
BIM Systems Engineer, Design Services (DS)
Amazon Data Services, Inc.
Austin, TX · Herndon, VA
You’ll join a diverse team of software, hardware, and network engineers, supply chain specialists, security experts, operations managers, and other vital roles. You’ll collaborate with…
Added 1 hour ago
QA and Test Engineer Role
OpenDataJobs
Washington, DC
…end-to-end testing, test automation engineering (sometimes titled software development engineer in test, or SDET), API and integration testing, performance engineering, accessibility…
Added 1 hour ago
Project Manager Role
OpenDataJobs
Washington, DC
ODJ is organized around Roles and Openings. A Role is a durable career type, such as Data Engineer or AI Engineer: it describes the work, the skills that count, and where the path can lead.…
Added 1 hour ago
O
DevSecOps Engineer (Kubernetes, CI/CD)
OpenDataJobs
Washington, DC
- $120,000 to $140,000 USD / year
At Peregrine Advisors, you will stand up and operate the delivery pipelines and cloud infrastructure that carry federal systems into production, keeping all of it secure and automated. But…
Added 1 hour ago
SD
1792 - Software Engineer
Sigma Defense
Norfolk, VA
- $150,000 to $170,000 USD / year
Sigma Defense is seeking a Software Engineer to join our team in Norfolk, VA. The hired candidate will support engineering, development, integration, and modernization activities. This…
Added 1 hour ago
Research Engineer - Formal Methods
Galois, Inc.
Boston, MA
Architecture and design: constructing high-level architectural descriptions of software systems, and constructing deeper program designs by fleshing out architecture prototypes.…
Added 1 hour ago
I
Senior Opto-Mechanical Engineer (Quantum Computing)
Infleqtion
Boulder, CO
- $155,000 to $185,000 USD / year
Collaborating closely with physicists and optical, mechanical, electrical, software, and systems engineers to support the full experimental and hardware development lifecycle, from early…
Added 1 hour ago
I
Senior Opto-Mechanical Engineer (Quantum Computing)
Infleqtion
Louisville, CO
- $155,000 to $185,000 USD / year
Collaborating closely with physicists and optical, mechanical, electrical, software, and systems engineers to support the full experimental and hardware development lifecycle, from early…
Added 1 hour ago
Software Engineer I
Principal Financial Group
Des Moines, IA
We are looking for a Software Engineer I to join our Benefits & Protection (B&P) area. In this role, you’ll build your engineering skills while contributing to an agile team and software…
Added 2 hours ago
Systems Engineer
BAE Systems
Hudson, NH
Employee Benefits: At BAE Systems, we support our employees in all aspects of their life, including their health and financial well-being. Regular employees scheduled to work 20+ hours per…
Added 3 hours ago
Electrical Engineer (Hybrid)
BAE Systems
Cedar Rapids, IA
BAE Systems is looking for an entry level Electrical Engineer with a passion for engineering and the desire to be part of an innovative, dedicated team responsible for designing,…
Added 3 hours ago
EHS Engineer I
Axcelis Technologies, Inc.
Beverly, MA
…we are currently hiring an Environmental, Health and Safety Engineer. This role will contribute to the effective management of the environmental, health and safety program at Axcelis’…
Added 3 hours ago
Supervisory Healthcare Engineer (Recruitment/Relocation Incentive)
Veterans Affairs, Veterans Health Administration
San Antonio, TX
Added 3 hours ago
C
Software Engineer Compiler II (Full Time) – United States
Cisco
Austin, TX
- Full-time
Network Engineering builds the foundational software and hardware systems that connect the world. Within our Core Platform Software and Toolchains organization, our team develops,…
Added 3 hours ago
Principal Open-Source Networking Architect
NVIDIA Corporation
North District, IL
We seek a highly motivated and experienced System Architect specializing in Software for Open Networking in the Cloud (SONiC) and Switch Abstraction Interface (SAI), to join our team of…
Added 3 hours ago
Senior Hardware Technical Lead, Interconnect Systems
NVIDIA Corporation
North District, IL
Consolidate requirements from internal stakeholders (Systems Engineering, Software, Marketing, Architecture, Production) into a comprehensive plan of record; coordinate resource allocation…
Added 3 hours ago
HIL Functional Test Engineer
Deloitte US
Los Angeles, CA
The test engineer will run manual and automated hardware-in-the-loop functional and regression testing of AV fleets for meeting spaces. This covers Crestron and Q-SYS control logic and…

Galois, Inc.

Research Engineer - Formal Methods

Boston, MA, United States

Apply About employer

Applications open in a new tab.

Job details

Posting language: English
Posted: Oct 29, 2026

Original job description

About Galois Who We Are: From building digital engineering tools that make space exploration safer to verifying cryptographic libraries that protect some of the world’s most valuable data, Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable. We are a community of researchers, engineers, and operations people dedicated to creating trustworthiness in critical systems in every functional area of the organization. Our unique organizational structure enables us to adapt to the needs of the innovative projects we deliver. What We Do: We believe trustworthy systems are built on a formal mathematical foundation. Our researchers apply formal analysis techniques to the design and verification of critical software systems, allowing us to model, analyze, and mathematically prove that a system behaves exactly as intended under all circumstances. With clients including NASA, DARPA, AWS, and the DoW, we leverage our cutting-edge research to deliver high assurance solutions and tools that enhance security, reliability, and operational efficiency across sectors including aerospace & defense, healthcare, semiconductors, and fintech. Research Engineers at Galois design and develop advanced technologies for safety- and security-critical systems, networks, and 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. Life at Galois: People are the foundation of Galois’s success. As an employee-owned company, we care not only about the technologies we develop, but also the path we take to create them. Galois operates under a highly collaborative organizational model that encourages leadership and teamwork and respects the individuals. For more on our culture and organizational structure, visit Life at Galois. About This Role Galois is hiring a Software Engineer/Researcher to join our team! This role will primarily focus on advancing the state of the art in programming language theory research and implementation. Researchers in this role will use their expertise in Formal Methods and Programming Languages to conduct rigorous formal verification of software and systems, ensuring they meet the highest security standards.

Responsibilities

As a Research Engineer, you will have the following responsibilities:

Requirements gathering: engaging the client in a series of discussions, where each iteration refines the needs of the client, and leads to the suggestion of means to meet those needs.
Architecture and design: constructing high-level architectural descriptions of software systems, and constructing deeper program designs by fleshing out architecture prototypes. Architectures must be designed with assurance in mind, determining where and how formal methods are to be applied.
Implementation: extending design prototypes through to a finished product, with care taken to ensure robustness and ease of use.
Formal verification: use mechanical reasoning tools such as theorem provers and model checkers to demonstrate or analyze desired security and correctness properties of systems.
Testing and validation: constructing and regularly conducting system, unit, and regression tests, and conducting semi-formal validation and verification.
Technology research and development: conducting speculative research and development of cutting-edge technology, and incorporating that technology in product prototypes.
Technical infrastructure development: developing (designing, implementing, and maintaining) tools to be used within Galois, and developing library code to be shared among projects.

Key Qualifications

Education:
A minimum of a Bachelor's degree in computer science or equivalent is required.
An MS or PhD in CS or a related field is desirable but optional.
Required Technical Expertise:
A programming languages background and experience with formal methods.
Must have hands-on experience developing software and applying formal verification techniques.
Familiarity with diverse formal methods, such as model checking, theorem proving, program analysis, and formal semantics of programming languages, and demonstrated expertise in at least one such area.
Experience in all aspects of software engineering practices.
Fluent in using semi-formal methods such as Haskell or other functional programming languages, including executable formal specifications.
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.
Preference will be given to candidates with one or more of the following technical expertise:
Experience applying formal methods to artificial intelligence and machine learning systems, including techniques for verifying, analyzing, or improving the safety, security, and reliability of AI-enabled systems.
Direct experience in developing high-assurance systems and/or security products.
Experience with Model Based Systems Engineering tools, with expertise in SysML and AADL.
Knowledge of hardware engineering languages and platforms such as VHDL, Chisel, Bluespec, SystemVerilog, and Verilog.

Security and Citizenship Requirement U.S. citizenship is required, as only U.S. citizens are eligible for a security clearance. Location We enjoy a hybrid work environment, and candidates may be based out of the greater Boston, MA area or any of our offices 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

For more information on our benefits, visit Careers at Galois.

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. For more information about our forward-looking and transparent approach to pay, visit Compensation. 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 peopleoperations@galois.com.

Apply About employer

Report this job