Aerospace/Defense - Canton, CT, US
We are creating safe, verifiable and certifiable autonomy algorithms. Our team consists of aerospace and robotics engineers with expertise in flight control, dynamics, motion planning, probabilistic estimation, compilers and formal methods. We like having our cake and eating it too, by converting beautiful mathematical algorithms with guarantees into highly-reliable flight code.
Gmail
Typekit
Mobile Friendly