Bradley "Viper" Saucier
For 22 years I brought order to chaos as a USAF Combat Controller - night jumps onto dirt strips, remote airfields, and radio traffic that could not wait. Now I steer special projects at Anduril Industries while finishing a B.S. in Computer Science with a concentration in Project Management for STEM at SNHU (expected May 2026). Mission‑ready autonomy and formal logic tooling are still the standard.
Core Competencies
Python, C++, Java, SQL
Spring Boot, NetworkX, Pytest, GoogleTest
Git, Docker, Gazebo, STM32, Linux
Formal Methods, TDD, UML, Agile
Projects in the Shop
Proof Arena
Turns discrete proofs into runnable assertions so logic errors break the build, not the mission.
Firepath
A* and Dijkstra routing for quadcopters through dynamic no‑fly grids, reducing path time by 85 percent in simulated high‑threat scenarios.
Deadman Grid
Boolean contingency matrix in Modern C++ guaranteeing a safe state transition in under 2 ms (tested on an STM32F4 MCU).
OpTempo Scheduler
Gantt‑style planner that reallocates threads and resources on the fly - no more static timelines.
Operating Principles
Purposeful Code
Every line has a cost and a consequence.
Clarity Is Armor
Simple logic stands up to real‑world chaos.
No Technical Debt
Temporary fixes turn permanent at the worst time.
Contact
I prefer signal‑to‑noise ratios above 1. If you build defense tech, autonomy, or logic‑heavy systems, reach out
through professional channels:
github.com/bradsaucier