Research Engineer - Formal Methods & Verification (Hybrid)

Galois, Inc.; Portland (OR); Hybrid; USD 150,000 - 190,000; Full time

Benefits offered by this job

ESOP

401(k) retirement plan with employer 5

Fully paid medical insurance

Dental and vision reimbursement

Health Savings Account (HSA)

Mental health support

Paid time off and holidays

Parental leave

Blue Sky innovation time

Job summary

Galois, Inc. is seeking a Software Engineer/Researcher to advance programming language theory, formal verification, and implementation. The role focuses on rigorous verification of software and systems to meet high security standards.

The candidate will engage in architecture, design, and development across projects, collaborating with researchers and engineers in a hybrid work environment across multiple offices including Portland, OR. U.S. citizenship security clearance eligibility is required.

Qualifications

• Bachelor’s degree in computer science or equivalent is required.
• MS or PhD in CS or a related field is desirable but optional.
• Strong background in programming languages and formal methods.
• Hands-on experience developing software and applying formal verification techniques.
• Familiarity with model checking, theorem proving, and program analysis.
• Fluent in using semi-formal methods such as Haskell or other functional programming languages.

Responsibilities

• Requirements gathering: engaging the client to refine needs across iterations.
• Architecture and design: high-level software architectures with assurance in mind.
• Implementation: extend prototypes to a finished product with robustness in mind.
• Formal verification: use theorem provers and model checkers to verify properties.
• Testing and validation: regular system, unit, and regression tests.
• Technology R&D: speculative R&D and incorporate new tech into prototypes.
• Technical infra development: build and maintain tools and libraries for projects.

Skills

Formal methods

Programming languages

Software development

Model checking

Theorem proving

Haskell

Education

Bachelor's degree in CS

MS or PhD in CS or related

Tools

SysML

AADL

VHDL

Chisel

Verilog

SystemVerilog

Job description

Galois, Inc. is seeking a Software Engineer/Researcher to advance programming language theory, formal verification, and implementation. The role focuses on rigorous verification of software and systems to meet high security standards.

The candidate will engage in architecture, design, and development across projects, collaborating with researchers and engineers in a hybrid work environment across multiple offices including Portland, OR. U.S. citizenship security clearance eligibility is required.