About Us

ExistX was founded in 2023 with the goal to combine cutting edge invention with practical implementation in the unique environments our customers demand to solve national security problems in the real world. 

Our team of software and systems engineers bring experience working with cutting-edge advancements in cryptography, cyber-physical systems, MBSE, and formal methods for both government and commercial applications. We leverage a unique suite of capabilities—incubated through our sister R&D firm, Galois, and other key research partnerships—to rapidly prototype and deliver impactful solutions to the warfighter.

                   ∃X.P(X):

                There exists a solution X that satisfies problem P.

The solution exists. Let’s build it together.

About This Role

...