Galois
–
Arlington, VA
... proving, program analysis, binary analysis, verification, and cyber-security.Responsibilities As a Principal Scientist, you will: Develop and lead an externally funded research program involving frequent client and government agency interactions. ... - Jun 15