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, dy…

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…

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 millio…

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 sub…

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…