static analysis Jobs - November 2024
Search by company, role, stack, location, salary signal, source, and work setup.
Save this search
Turn the current filters into an email alert.
Log in to save filtered searches as alerts.
-
Sourcegraph
EM
Posted 1 year, 7 months ago
Sourcegraph is building the code intelligence platform that enables developers to move fast in messy production codebases. You probably use software that is built with our products, as we serve a wide range of customers, from Fortune 500s to quickly scaling s…
Location
San Francisco
-
Aqua Security
Open Source Engineer (Golang)
Posted 4 years, 5 months ago
Aqua Security provides the next generation of Cloud Native security solutions, and open source has been core to our DNA and strategy. Our Open Source team is fully remote worldwide.
-
Galois
Cryptography and Secure Computation Researcher
Posted 6 years, 6 months ago
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…
Roles
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 algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Cryptography and Secure Computation Researcher
Posted 6 years, 7 months ago
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…
Roles
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 algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Hardware Engineer
Posted 6 years, 11 months ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web …
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 algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH
-
Galois
Hardware Engineer
Posted 7 years, 1 month ago
Galois is looking for software and hardware engineers, researchers, technical project leads, and software integration engineers that enjoy working on challenging problems in computer science. We collaborate with organizations like NASA, DARPA, and Amazon Web …
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 algorithmsLocation
Portland, OR, Arlington, VA, Dayton, OH