About us

Loonwerks is a collection of formal methods researchers associated with the Trusted Methods group in Collins Aerospace. Our work is focused on the use of formal methods to create safe and secure avionics software. We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry.

Work with us

Job ∈ {FormalMethods ∩ Airplanes} ⇒ Cool(Job)
Interested in joining the Trusted Methods team at Collins? For additional information contact us at info@loonwerks.com

Loonwerks is solely responsible for the content of this web site. Such content does not necessarily represent the views of Collins Aerospace. All content has been approved for public release.