Skip to content
Back to jobs

Posted 6 years, 6 months ago

Galois

Cryptography and Secure Computation Researcher

Apply View on Hacker News Company site

Roles

Cryptography and Secure Computation Researcher others Software Integration Engineer Research Engineer

Tech stack

reinforcement learning Formal methods domain specific languages DDoS defense autonomous systems assurance statistical anomaly detection provable hardware security communication security cyber-deception software correctness binary analysis abstract interpretation static analysis programming languages theory formal verification type theory cryptographic algorithms

Location

Portland, OR, Arlington, VA, Dayton, OH

Work setup

Employment
Full-time Employee
Level
Mid-level

Description

Galois is looking for software engineers, researchers, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web Services to explore blue sky ideas and turn them into usable technology. Galois is employee-owned, we have a one-level flat organizational structure, and we make important decisions as a group. We love to learn and share what we know, and that’s a big part of how we approach R&D, so we have no hard requirements for previous experience with similar work. Some of the things we’ve worked on in the past: Formal methods, static analysis, binary analysis, cryptographic algorithms, domain specific languages, programming languages theory, abstract interpretation, type theory, formal verification and software correctness, reinforcement learning, autonomous systems assurance, communication security, cyber-deception for network defense, DDoS defense, provable hardware security, statistical anomaly detection for detecting advanced persistent threats.

Similar jobs

  • Loading similar jobs...