News

Press Release

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

Press Release

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

Test & Code

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

Press Release

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

Press Release

April 26, 2021

Auxon and University of Ottawa Announce Research Partnership To Advance Autonomous Systems Safety and Security

Auxon Technologies, a Canadian ...

RV'20

October 6-9, 2020

Auxon CEO Joins Bosch, Lockheed Martin, & Galois to Discuss Runtime Verification for Autonomy

Nathan Aschbacher, Auxon CEO

Oxidize Global

July 18th, 2020

Auxon Joins Volvo and Green Hills to Discuss Rust in Safety Critical Systems

Nathan Aschbacher, Auxon CEO

CES 2020

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

TLA+ Conf

January 7th - 10th, 2020

Auxon joins Infineon to Showcase Intelligent Analysis Tools for Systems Engineers

Russell Mull, Auxon Principal Software Engineer

Colorado Gold Rust

September 21st, 2019

A Tour of Empirical Verification in Rust

Zack Pierce, Auxon Principal Software Engineer

Rust Belt Rust

October 18th & 19th, 2019

Type Theory for the Working Rustacean

Dan Pittman, Auxon Principal Software Engineer