Galois, Inc.

Full-stack Engineer

• Requirements gathering: Engaging the client in a series of discussions, where each iteration refines the needs of the client and leads to suggestions for means to meet those needs.
• Architecture and design: constructing high-level architectural descriptions of systems, and constructing deeper 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.
• Software Assurance: use mechanical reasoning tools and techniques such as static analysis, property-based testing, bounded model-checking, or symbolic execution to demonstrate or analyze desired security and correctness properties of software systems.
• Testing and validation: constructing and regularly conducting system, unit, and regression tests, as well as 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.

Embedded Systems Software Engineer

Research Engineer

• 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.