As a research software engineer, you will develop tools for verifying the correctness of smart contracts and identifying bugs. You will work on symbolic model checking and optimize algorithms, as well as collaborate with peers to enhance automated analysis tools for blockchain applications.

The Security Research Intern will engage in various security research topics, develop analysis tools, perform vulnerability discovery, and publish findings. Responsibilities include analyzing systems and designing mitigation techniques to improve security.

As a Blockchain Security Engineer, you will audit blockchain-related code and smart contracts, enhance security measures, engage in security research, and improve client services at CertiK, focusing on cybersecurity in blockchain technology.