Principal Software Engineer - IoT Systems Software

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

Principal 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 an exceptionally strong candidate to head our IoT systems software team. As a principal engineer, you should have expert knowledge about low-level systems software. And you should have the communication and leadership skills to set the strategy in this technology area, to support the sales team, and to lead a team of developers.We are particularly interested in candidates with deep experience in one or preferably more of the following areas and strong experience or interests in IoT systems:- OS kernels- Real-time systems- Distributed systems- IoT applications and ecosystems