Research Engineer: Formal Methods & PL Verification

Galois, Inc.; Oregon, Northern (WI, KY); Hybrid; USD 110,000 - 170,000; Full time

Benefits offered by this job

ESOP

401(k) match

Medical insurance

Dental & Vision

HSA

Parental leave

Paid time off

Job summary

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory through formal methods and verification. The role emphasizes rigorous analysis and proving properties of software and systems to meet high security standards.

The position requires collaboration with clients, architecture design, and development of prototype-to-product solutions, with a hybrid work arrangement across multiple offices in the US.

Qualifications

• Bachelor's degree in computer science or equivalent required.
• MS or PhD in CS or related field desirable but optional.
• Programming languages background with formal methods experience.
• Hands-on software development and formal verification experience.
• Familiarity with model checking, theorem proving, program analysis, and formal semantics.
• Proficiency with functional languages like Haskell and executable specifications.

Responsibilities

• Gather requirements by engaging clients to refine needs.
• Create high-level architectures and design prototypes with formal methods in mind.
• Develop software from prototypes to finished products with robustness in mind.
• Apply formal verification techniques to demonstrate security and correctness.
• Build and run system, unit, and regression tests; perform semi-formal validation.
• Research and develop cutting-edge technology for integration into products.
• Develop internal tools and shared library code for projects.

Skills

Formal methods

Haskell

Program analysis

Theorem proving

Model checking

Software development

Client interaction

Education

Bachelor's in CS

MS/PhD desirable

Tools

SysML

AADL

VHDL

Chisel

Job description

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory through formal methods and verification. The role emphasizes rigorous analysis and proving properties of software and systems to meet high security standards.

The position requires collaboration with clients, architecture design, and development of prototype-to-product solutions, with a hybrid work arrangement across multiple offices in the US.