Galois
–
Arlington, VA
... design, type theory, compiler design, static analysis, runtime verification, logical solvers, automated reasoning, interactive theorem proving, program analysis, binary analysis, verification, and cyber-security. Responsibilities As a Principal Scientist ... - Jun 20