Jobs in the United States

25+ jobs

Save this search

Added 1 min ago
Staff Data Engineer, Customer & Identity Resolution (Austin, TX On-Site)
HEB
Austin, TX
…to meet the needs of our growing audience. As a Staff Data Engineer, you'll lead, coach, and mentor engineers and teams and provide technical direction and support. You'll collaborate with…
Added 1 min ago
Senior Data Engineer, Customer & Identity Resolution (Austin, TX On-Site)
HEB
Austin, TX
…to meet the needs of our growing audience. As a Senior Data Engineer, you’ll use an advanced analytical, data-driven approach to drive a deep understanding of our fast-changing business and…
Added 2 mins ago
Engineer, Electrical
Constellation Energy Generation, LLC.
Cordova, IL
Experience developing or supporting electrical design modifications, engineering change packages, calculations, and field implementation activities.
Added 4 mins ago
O
Principal Platform Software Engineer
Oracle
Nashville, TN
- $104,500 to $234,600 USD / year
…leadership to other software developers and contribute to the design and implementation of significant enhancements to the Java platform. You will specify, design, and implement changes to…
Added 4 mins ago
Sr. Process Development & Automation Engineer
Abbott Laboratories
Phoenix, AZ
…Laboratory Operations teams through automation selection, system design, integration, commissioning, and project documentation. The role’s influence extends to technical, quality, and…
Added 6 mins ago
AA
Software Dev Eng II–AMZ001658
Amazon Advertising LLC
Seattle, WA
- $143,700 to $194,400 USD / year
Position Responsibilities: Design, develop, implement, test, and document embedded or distributed software applications, tools, systems and services. Translate functional requirements into…
Added 6 mins ago
ECAD Application Engineer, Amazon Leo
Amazon Kuiper Manufacturing Enterprises LLC
Bellevue, WA
As an ECAD Tools Application Engineer, you will be responsible for providing a stable, reliable set of Electrical Computer Aided Design (ECAD) tools and database management for electrical…
Added 6 mins ago
Design Systems Engineer - Engines
Stellantis
Auburn Hills, MI
The Design Systems Engineer is responsible for coordinating the technical aspects of base engine design to achieve customer requirements, functional objectives, and quality targets. Scope…
Added 6 mins ago
Design Release Engineer - Oil Pans and Covers
Stellantis
Auburn Hills, MI
Proven understanding of Design Release Engineer responsibilities.
Added 6 mins ago
Vehicle Dynamics Performance Engineer
Stellantis
Chelsea, MI
The Project Performance Engineer (PPE) for Vehicle Dynamics is responsible for achieving vehicle level ride and handling targets for Stellantis Vehicles. The candidate will coordinate with…
Added 7 mins ago
CV
Quality Engineer
Cambridge Valley Machining Inc.
Cambridge, NY
- $75,000 to $92,000 USD / year
Cambridge Valley Machining (CVM) is a family-owned and operated company providing comprehensive design through manufacturing services for startups, Fortune 500 businesses, and other…
Added 8 mins ago
Maintenance Engineer
Luxfer Magtech - Cincinnati
Cincinnati, OH
PRIMARY RESPONSIBILITIES: The Maintenance Engineer supports the Engineering Manager and manufacturing operations through the design, improvement, implementation, and optimization of…
Added 9 mins ago
23924 - Area Construction Engineer
VDOT
Staunton, VA
…projects. Conduct on-site field visits to ensure all elements of design and construction are within scope of contract and within established standards and specifications. Meet with all…
Added 11 mins ago
Principal Security Engineer - Reliability
B10 Wells Fargo Bank, N. A.
IRVING, TX · CHANDLER, AZ · CHARLOTTE, NC
5 plus years experience owning corrective actions from post-incident review through implementation, validation, and closure.
Added 12 mins ago
Manufacturing Engineer
Actalent
Warren, MA
Manufacturing Engineer Supporting Navy Programs!!
Added 12 mins ago
A
Signal Processing Software Engineer
Actalent
Moorestown, NJ
- $43 to $70 USD / hour
…system modeling, simulation, and analysis, and contribute to the design and development of compilers, assemblers, utility programs, and operating systems. As needed, you will provide input…
Added 12 mins ago
Product Engineer
Actalent
Glendale, CA
…inquiries from engineers and designers worldwide. Support the implementation of next-generation interconnect solutions as well as the maintenance of an extensive base of existing product…
Added 12 mins ago
Tooling Design Engineer
Actalent
Jacksonville, FL
Job DescriptionThe Tooling Design Engineer leads cross-functional teams to design and deliver optical tooling and mold inserts that consistently produce lenses meeting stringent design…
Added 12 mins ago
A
Systems Engineer
Actalent
Richardson, TX
- $55 to $75 USD / hour
Manage program architecture and system requirements across all phases of the lifecycle, including proposal, design, implementation, test, and deployment.
Added 12 mins ago
Quality Engineer
BorgWarner Thermal Systems Inc
Cadillac, MI
The Quality Engineer collaborates in the development and implementation of quality control methodologies to ensure compliance with quality assurance standards, guidelines, and procedures in…
Added 13 mins ago
SI
Software Engineering LMTS/PMTS
Salesforce, Inc.
CA · WA
- $172,500 to $344,700 USD / year
As a Lead Engineer on this team, you'll be working with multiple teams across the platform to design, develop, and deliver solutions that define the publishing experience for Salesforce's…
Added 13 mins ago
Systems Engineer
Salesforce, Inc.
TX · IN
The Systems Engineer is focused on the long and short term architecture and integration vision of the systems landscape, aligning internal business partners' interests with IT delivery, and…
Added 13 mins ago
Engineer, Software - Lead I
Quest Diagnostics
Secaucus, NJ
Participate in the full SDLC involving design, implementation, testing, and launching.
Added 16 mins ago
Director Integrated Grid Operations
SMUD
Sacramento, CA
Participates in and provides critical input to the integrated planning and design review process to prevent implementation of unsafe, inoperable, or inefficient system designs.
Added 16 mins ago
Director Power Generation
SMUD
Sacramento, CA
Seven or more (7+) years of experience in the design, construction, maintenance, and/or operations of utility assets with at least 5 of those years specific to power generation, including…

Galois, Inc.

Research Engineer

Remote, United States

Apply About employer

Applications open in a new tab.

Job details

Posting language: English
Posted: Jan 5, 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:
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 any of our offices in Arlington, VA, Dayton, OH, Minneapolis, MN, or Portland, OR. Additionally, being located in Boston, MA is also welcome.

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