Jobs in the United States

25+ jobs

Save this search

Added just now
AA
Intern - Material Operations (Summer 2027)
Alaska Airlines
WA-SeaTac
- $25 USD / hour
Design and maintain AOG performance reporting and dashboards, providing visibility into key performance indicators (KPIs) such as Mean Time to Recover (MTTR), AOG event volume, vendor…
Added 1 min ago
HA
Intern - Business Transformation (Summer 2027)
Horizon Air
WA-SeaTac
- $25 USD / hour
Exposure to AI tools, coding, data analysis, automation, data visualization, design, or project-based business problem solving like Microsoft Copilot Studio and Databricks.
Added 1 min ago
HA
Intern - Horizon Air Financial Planning & Analysis (Summer 2027)
Horizon Air
WA-SeaTac
- $25 USD / hour
Design and/or create a dashboard using operational data and assist with other ad hoc projects and analysis.
Added 2 mins ago
Software/Web Developer (SharePoint) – TS/SCI required
GD Information Technology, Inc.
United States
Design, develop, and automate business processes using A365 Power Apps and Power Automate workflows to streamline operations and improve data flow across systems.
Added 2 mins ago
Senior Cloud Platform and DevSecOps Engineer - TS/SCI with Polygraph
GD Information Technology, Inc.
United States
Develop hardened container images, deployment templates, configuration standards, and environment-specific overlays for applications, data services, and AI inference workloads.
Added 2 mins ago
GI
Help Desk Technician III
GD Information Technology, Inc.
United States
- $23.3 to $29.9 USD / hour
Email and Chat Services – Design, install, operate, maintain, and support messaging and, collaboration, including Government Personal Electronic Devices/Tablets/Mobile Devices/etc., voice…
Added 7 mins ago
Research and Insights INTERN
Focus on the Family
Colorado Springs, CO
…assist with basic to intermediate tasks involving research design, questionnaire writing, data collection, quantitative and qualitative analysis, report writing, and presentation to…
Added 7 mins ago
FMI Marketing INTERN
Focus on the Family
Colorado Springs, CO
Take part in team meetings, planning sessions, and creative reviews, receive regular feedback and coaching, and learn alongside partners in Relationship Services, web, and data
Added 7 mins ago
AI Localization & Translation Systems INTERN
Focus on the Family
Colorado Springs, CO
Design and develop a prototype AI translation agent using commercially available AI tools and APIs.
Added 13 mins ago
CO
Systems Analyst I/II
City of Escondido
Escondido, CA
- $44.03 to $66.76 USD / hour
…II), performs a variety of complex systems analysis in the design, implementation, maintenance, and upgrades of information systems and supporting computer hardware and software…
Added 24 mins ago
Lead Product Owner - Edge
Lumen
Pierre, SD
Lumen is the trusted network for the AI‑powered world, connecting people, data, and applications through our expansive fiber network and connected ecosystem. We enable secure,…
Added 24 mins ago
Software Test Engineer
WCG Clinical
Pierre, SD
Review requirements and design documentation to help ensure requirements are clear, testable, and consistent with the clinical trial protocol and system design specifications before test…
Added 30 mins ago
J
Sr SAP SD & Vistex Functional Consultant
Jobgether
Remote, United States
- $70 to $95 USD / hour
The Senior SAP SD & Vistex Functional Consultant will lead the design, configuration, and optimization of enterprise Order-to-Cash (OTC) processes and commercial incentive management…
Added 30 mins ago
DevOps + Go (Platform Engineer )
Jobgether
Remote, United States
The DevOps + Go Platform Engineer will help build and evolve an internal developer platform and CI/CD ecosystem supporting multiple products and infrastructure environments. This hands-on…
Added 30 mins ago
MS
Digital Platforms (Banking) Product Owner, Assistant Vice President
Morgan Stanley Private Bank,NA
Purchase, NY
- $85,000 to $140,000 USD / year
Engage in end user research, and use data analysis to inform requirements writing, and wireframe design of new products
Added 35 mins ago
College Intern - Water Engineering
Great Lakes Water Authority
10100 E. Jefferson Detroit, MI
…visits and assisting in the preparation of future project plans, design documents and construction document…
Added 36 mins ago
Software Engineer II, Early Career
Google
Mountain View, CA · Kirkland, WA · Los Angeles, CA · Madison, WI · New York, NY · Palo Alto, CA · Pittsburgh, PA · Raleigh, NC · Durham, NC · San Bruno, CA · Seattle, WA · Sunnyvale, CA
…information retrieval, distributed computing, large-scale system design, networking and data storage, security, artificial intelligence, natural language processing, UI design and mobile;…
Added 36 mins ago
Data Center Electrical Engineer
Google
Sunnyvale, CA · Atlanta, GA · Austin, TX · Addison, TX · Kirkland, WA · New York, NY · Reston, VA · Seattle, WA · San Francisco, CA
Our thirst for technology is a part of everything we do. The Data Center Engineering team takes the physical design of our data centers into the future. Our lab mirrors a research and…
Added 36 mins ago
Senior Engineering Traffic Analyst, Search, Anti-scraper
Google
Mountain View, CA · New York, NY
5 years of experience in data analysis, including identifying trends, generating summary statistics, and drawing insights from quantitative and qualitative data.
Added 39 mins ago
Staff Geospatial Analyst
Vantor Inc.
Orlando, FL
Data stewardship • Geospatial analysis • Imagery interpretation • Vector editing and attribution • QA/QC • Production workflow design • Technical le
Added 48 mins ago
Senior Manager Enterprise Service Management & ServiceNow
SRP
Tempe, AZ
…Manager shapes investment decisions through financial modeling, data-driven insights, total-cost and risk analysis, prototypes, and measurable value outcomes, while balancing growth,…
Added 48 mins ago
College Intern - Design
SRP
Mesa, AZ
Assist with data entry, filing, and organizing digital assets.
Added 55 mins ago
Real-Time Information Center (RTIC) Manager
UWMSN University of Wisconsin Madison
Madison, WI
…emerging technologies. This position offers a rare opportunity to design, implement, and potentially lead a transformative public safety program that will support UWPD operations for years…
Added 56 mins ago
TA
Product Designer
TypeSafe AI
San Francisco, CA
- $200,000 to $271,000 USD / year
You’ll own design workflows across our marketing website and developer console - from someone’s first introduction to TypeSafe through their first API call and their team’s adoption in…
Added 59 mins ago
Clinic Manager- with $20k Sign On Bonus
Baker O & P Enterprises, Inc.
United States
…bracing and supports solutions; Fior & Gentz, an innovative developer of neuro orthotics; and College Park, creators of custom-built prosthetic solutions for people of all activity…

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