Find the right fit for you - faster
Get tailored insights about working at Galois in one quick step.
Galois Snapshot
Creating trustworthiness in critical systems, and ensuring that the systems you depend on work as intended, and only as intended.
Like the French mathematician for which it's named, Galois knows a thing or two about complex problems. Clients often refer to Galois as "the brain trust": the software firm specializes in the research and development of new technologies that solve difficult problems in computer science for the Department of Defense, other federal agencies, and large private companies.
Galois’s expertise lies in formally verified software — software whose correctness can be mathematically proven. Galois creates domain-specific languages and compilers for safe systems programming, programming at Internet scale, cryptographic algorithms, and crypto-computing protocols. It also specializes on correct-by-construction operating systems and controllers for cyber-physical systems such as UAVs.
Its systems engineering, language and tool design, and software testing services are used by the Navy, Air Force, and members of the intelligence community as well as General Dynamics, Rockwell Collins and Boeing.
Galois’s expertise lies in formally verified software — software whose correctness can be mathematically proven. Galois creates domain-specific languages and compilers for safe systems programming, programming at Internet scale, cryptographic algorithms, and crypto-computing protocols. It also specializes on correct-by-construction operating systems and controllers for cyber-physical systems such as UAVs.
Its systems engineering, language and tool design, and software testing services are used by the Navy, Air Force, and members of the intelligence community as well as General Dynamics, Rockwell Collins and Boeing.
