Software Engineer – Low-level Systems (C, C++, Rust)

The Secure and Resilient Systems group seeks a software engineer with experience in low-level systems (crypto, operating systems) and in systems programming languages such as Rust, C and C++ to perform software development and to support a team that invents, prototypes, and evaluates software security approaches throughout the systems software stack.   Some topics of interest to a good candidate may include: modern systems programming languages such as Rust, compilers (e.g., frontends, IR & optimization, backends), automated program analysis and software testing. Interest in systems software (e.g., operating systems including RTOS, hypervisors), computer architecture (e.g., tagged architectures),...