Senior Software Engineer - IoT Systems Software

Senior Software Engineer - Systems Software CertiK is a world-leading cybersecurity firm based in NYC that focuses on secure smart contracts...

Senior Software Engineer - Systems Software CertiK is a world-leading cybersecurity firm based in NYC that focuses on secure smart contracts, secure blockchain platforms and secure system software. It was founded by prof. Ronghui Gu (Columbia) and prof. Zhong Shao (Yale), originally inspired by their work on the CertiKOS formally verified operating system kernel.CertiK is working on OS kernels, hypervisors, secure enclaves, IoT devices, blockchain software, and compilers and tooling. We are looking for experienced developers with a strong background and interest in this area. As a senior software engineer, you should have several years of development experience, and the confidence to design the overall architecture of a program and provide feedback and guidance to more junior developers.We are particularly interested in candidates with design and implementation experience in one or more of the following areas and experience or interests in IoT systems:- OS kernels- Real-time systems- Distributed systems- IoT applications and ecosystemsMastery of one or more systems programming languages such as C, Go, and Rust is expected.