“I know there’s a big focus on commercialization and entrepreneurship here in Dayton,” he said in an interview Thursday.
The company will do defense work but is not a defense contractor, Miller emphasized. Working in Dayton will let the company tap into avionics expertise around Wright-Patterson Air Force Base, as well auto-technology manufacturing expertise.
Galois focuses on building “trustworthy” computer systems, secure systems that work only as they are intended to work, driven by new programming languages, he said.
Galois and its work have been spotlighted in Wired and Popular Science magazines, among other places. The company recently completed a cyber-militarized systems program, “the most secure avionics program that has ever been created,” Miller said.
“The Dayton office here is really going to extend some of the scientific relationships that we’re looking to build with our federal research partners” he said. “Obviously, the Air Force Research Lab is someone we’re looking to have a good team to match with.”
The company also hopes to work with academics, Honda’s Western Ohio research operations and commercial partners in autonomous vehicles which need secure “provably correct” programs.
“Being in Dayton is kind of a centerpiece, where we can have access to a lot of different markets,” Miller said.
The company has a total of 70 employees between Portland, Arlington Va. and Dayton.
“We are actively hiring right now,” Miller said.
FIVE NEW BUSINESS READS