Design and develop automated tools for verifying the correctness of smart contracts. Collaborate with a team to implement algorithms and improve program verification tools.

The Security Research Internship involves developing analysis tools, performing vulnerability discovery, and publishing research findings in security topics.

The Blockchain Security Engineer audits and secures blockchain products, conducts research, and develops internal tools while collaborating with developers.