Certik Foundation

Fall/Winter Intern – Operating System Research

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

  • This role is a full-time remote position, and you’re free to work from anywhere. Be advised that most team meetings occur between 10am and 8pm CET Time. If you're applying from a location where these hours are outside your usual working hours, we expect you to adapt to our meeting times.

  • This role is a full-time remote position, and you’re free to work from anywhere. Be advised that most team meetings occur between 10am and 8pm CET Time. If you're applying from a location where these hours are outside your usual working hours, we expect you to adapt to our meeting times.

  • As a Cosmos SDK Engineer you would design, implement, deploy, and support blockchain architecture. Your work would both directly and indirectly affect multiple blockchains and their auxiliary systems.