Certik Foundation

Fall/Winter Intern – Operating System Research

Viewed 205 times

Job Description

Internships at CertiK

CertiK is a world-leading cybersecurity firm based in NYC that focuses on smart contract analysis and blockchain auditing.
It was founded by prof. Ronghui Gu (Columbia) and prof. Zhong Shao (Yale), drawing on their research about formal verification.

In collaboration with Yale University, the CertiK research department is developing an operating system kernel (CertiKOS) verified using the Coq proof assistant.
We are looking for interns to help us transition from an academic research project into production-ready software. 

Concretely, this involves adding new system calls needed to run useful applications on CertiKOS, adding new device drivers and hardware support, and writing userspace code to run blockchain security-related programs on top of CertiKOS.
The internship is suitable for current master students or strong undergraduates looking for research experience.
It can be either full-time or part-time to leave time for coursework.
Because of the current Covid-19 epidemic, these positions are completely remote.

Requirements

  • At a minimum, you should be familiar with the basics of Operating Systems implementation (e.g. from taking an OS class), and able to program in C.

Bonus Points

  • Previous experience working on an OS kernel or low-level libraries.

Job Summary

certik.io Website
Remote Location
Internship Job Type
Certik Foundation

About

CertiK is a world-leading cybersecurity firm based in NYC that focuses on smart contract analysis and blockchain auditing. It was founded by prof. Ronghui Gu (Columbia) and prof. Zhong Shao (Yale), drawing on their research about formal verification.
View project profile

Contacts

Email: info@certik.foundation

Similar Jobs

The largest community on the web to find and list jobs that aren't restricted by commutes or a specific location.

  • Our Full-stack Developer will work alongside our engineering team and rewrite and update code for our indexer. This role is perfect for someone excited about learning that would like to grow into a leadership role in the future.

    Apply Now
  • As a Senior Golang Engineer on our Engineering team, you will have a chance to work across the full spectrum of our protocol architecture that is built around the Cosmos-SDK, built in Golang, Rust and Solidity. Our software empowers Sommelier validators to secure the Sommelier network which offers financial automation globally. As an early employee you will be a critical part of our core team and have a significant influence over the direction of the company.

    Apply Now
  • In this role, you will build the ethereum contracts of one of the first flagship hybrid Ethereum/Cosmos DeFi protocols designed to leverage the strengths of the combined platforms. You will use Solidity and Vyper software languages that run on the Ethereum Virtual Machine. You will work to secure and test smart contact code that will control and route billions of dollars of value, daily.

    Apply Now