September 18, 2023
Auxon Selected By AFWERX To Develop AI Fault Prediction Technology for Air Force
Auxon, a leader in automated verification and validation solutions, announced it has been selected by AFWERX for a Direct-to-Phase II contract in the amount of $1.25 million ...
September 19, 2022
Auxon awarded SpaceWERX Orbital Prime Contract
Auxon Corporation announces it has been selected by SpaceWERX for a STTR Phase I in the amount of
March 14, 2022
An Unorthodox Technical Interview and Hiring Process
Auxon's CEO is not interested in bizarre interview processes where the interviewer doesn't know ...
January 24, 2022
Auxon Names Industry Experts In Automation and Digital Transformation as Strategic Advisors
Auxon Corporation, a US-based technology ...
May 28, 2021
Chaos Engineering Moves Beyond 'Breaking Stuff' to Highlight Business Value
When Netflix first pioneered chaos engineering 10 years ago with its Chaos Monkey tools ...
April 26, 2021
Auxon and University of Ottawa Announce Research Partnership To Advance Autonomous Systems Safety and Security
Auxon Technologies, a Canadian ...
October 6-9, 2020
Auxon CEO Joins Bosch, Lockheed Martin, & Galois to Discuss Runtime Verification for Autonomy
Nathan Aschbacher, Auxon CEO
July 18th, 2020
Auxon Joins Volvo and Green Hills to Discuss Rust in Safety Critical Systems
Nathan Aschbacher, Auxon CEO
January 7th - 10th, 2020
Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers
January 7th - 10th, 2020
Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers
Russell Mull, Auxon Principal Software Engineer
September 21st, 2019
A Tour of Empirical Verification in Rust
Zack Pierce, Auxon Principal Software Engineer
October 18th & 19th, 2019
Type Theory for the Working Rustacean
Dan Pittman, Auxon Principal Software Engineer
