Research Engineer: Formal Methods & Programming Languages

Galois, Inc.; United States; Presencial; USD 120.000 - 160.000; Jornada completa

Descripción de la vacante

Galois, Inc. is seeking a Software Engineer/Researcher in the United States to advance programming language theory with formal verification and rigorous analysis.

You will apply formal methods to prove system properties and contribute to state-of-the-art research in safety- and security-critical software. The role requires hands-on software development, collaboration with clients, and developing tooling for reusable components across projects.

Formación

• Bachelor's degree required in CS or equivalent.
• MS/PhD in CS or related field desirable but optional.
• Strong background in formal methods and programming languages.

Responsabilidades

• Requirements gathering through client discussions to refine needs.
• Architect high-level descriptions and prototyping with assurance in mind.
• Implement designs and ensure robustness and usability.
• Apply formal verification using theorem provers, model checkers.
• Conduct system, unit, and regression testing and validation.
• Engage in R&D to explore cutting-edge tech for prototypes.
• Develop tooling and library code for internal use.

Conocimientos

Formal methods

Programming languages

Haskell

Theorem proving

Model checking

Program analysis

Software engineering

Customer interaction

Educación

Bachelor's degree in CS or equivalent

MS or PhD in CS or related field (desirable)

Herramientas

Haskell

Descripción del empleo

Galois, Inc. is seeking a Software Engineer/Researcher in the United States to advance programming language theory with formal verification and rigorous analysis.

You will apply formal methods to prove system properties and contribute to state-of-the-art research in safety- and security-critical software. The role requires hands-on software development, collaboration with clients, and developing tooling for reusable components across projects.