As a research software engineer at CertiK, you will develop tools for verifying the correctness of smart contracts, work on model checking and formal verification algorithms, and collaborate with a team to enhance software verification processes and security properties.