Research Engineer, Formal Methods & Verification

Galois, Inc.

Dayton (OH)

Hybrid

USD 120,000 - 170,000

Full time

4 days ago

Be an early applicant

Get a reply from this employer

Your resume and cover letter, tailored to exactly what they’re hiring for.

Get past ATS filters

Benefits offered by this job

Employee Stock Ownership Plan (ESOP)

401(k) retirement plan with 5% match

Fully paid medical, dental and vision

Job summary

Galois, Inc. is hiring a Software Engineer/Researcher to advance programming language theory and formal verification for security-critical systems. You will apply formal methods to model, analyze, and prove software behavior to meet stringent reliability requirements.

The role emphasizes collaboration with clients and interdisciplinary teams in a fast-paced environment. Ideal candidates bring strong programming language and verification skills, experience with Haskell, and a track record in

Qualifications

Bachelor's degree in computer science or equivalent required.
MS or PhD in CS or related field desirable but optional.
Experience with formal verification techniques and software engineering practices required.

Responsibilities

Requirements gathering with clients to refine needs and propose solutions.
Architecture and design of software systems with formal assurance in mind.
Extend prototypes into finished products with robustness and usability in focus.
Perform formal verification using theorem provers and model checkers.
Develop and run system, unit, and regression tests; conduct semi-formal validation.
Conduct speculative R&D and incorporate new tech into product prototypes.
Develop and maintain internal tools and shared library code.