Kestrel Institute

Synthesis of High-Assurance Software

Current job opportunities

Kestrel Institute is a non-profit computer science research center.

Our mission is to advance the art and practice of synthesizing provably correct code from high-level specifications, to increase assurance, productivity and performance.

Located in Stanford Research Park, Palo Alto — the birthplace of Silicon Valley — Kestrel Institute is close to such places as Stanford University, PARC and SRI.

Our researchers combine expertise in program synthesis, theorem proving, category theory, software environments and programming languages.

Kestrel's funding agencies include DARPA, IARPA, AFRL, ONR and NASA.

Specware

Specware^® is Kestrel Institute's leading-edge system for advanced software development.