Full Time Research Engineer, Cryptography and Secure Computation Researcher, Software Integration Engineer, others
Posted 2 days ago
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.
See https://lifeatgalois.com for a glimpse of how we work together and what makes Galois special. To apply: https://galois.com/careers/
Portland, OR, Arlington, VA, Dayton, OH
5.0 / 5 (6 reviews)Found on Hacker News