Certik Foundation

Fall/Winter Intern – Operating System Research

Viewed 97 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.

  • Tendermint is seeking a talented and motivated Senior Engineering Manager with experience in developing Go applications. You will be working within an incubated team to define requirements, iterate on software solutions, and deliver useful developer tools for people interested in building Cosmos blockchains.

    Apply Now
  • We are looking for a Senior Backend Engineer who can help us, among others, to write server-side code for our non-custodial blockchain wallet applications, suggest improvements, and help refactor the codebase as needed.

    Apply Now
  • As a Senior Backend Engineer, you will be responsible for spinning up and starting a brand new Cosmos Zone. Upon successful mainnet launch, you will leave with the rest of the core team to join a new entity whose mission will be to maintain and grow this network. You will play a pivotal role in setting up the network and writing the core modules.

    Apply Now