binary analysis Jobs - October 2022

We're looking for a developer with experience in modern C++. We're developing a next-generation decompiler featuring a VSCode-based UI and have a series of projects related to dynamic binary translation. We work with C++20, LLVM, MLIR, emulation, dynamic bina…

Our group largely works on research projects trying to apply formal methods to cybersecurity applications. If you're interested in functional programming (OCaml), compilers, binary analysis, cybersecurity or SMT solvers maybe you'd like what we do.

Immunant is working tirelessly to make the lower levels of the modern software stack more secure and reliable. We are looking for systems programming experts to help us harden and enhance components used by hundreds of millions of users each day. If you have …

Immunant wishes to rid the world of memory corruption errors. We harden existing C/C++ or migrate it to Rust; we also maintain C2Rust. We are looking for systems programming experts to help us harden and enhance components used by hundreds of millions of user…

Immunant is working tirelessly to make the lower levels of the modern software stack more secure. We are looking for systems programming experts to help us harden and enhance components used by hundreds of millions of users each day. If you have substantial e…

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…