Software Engineering • Mid-Level

Who you are

You have a strong background in programming language theory and automated reasoning, with a passion for applying theoretical computer science to real-world problems. You enjoy tackling computationally hard challenges and have a proven track record of developing tools that users rely on to perform their jobs effectively. Collaboration is key for you; you thrive in team settings where brainstorming and feedback are encouraged. You are comfortable navigating the unknown and are eager to learn and grow in a supportive environment.

You possess experience in developing automated analyses for software correctness, particularly in the context of blockchain applications. Your technical skills include proficiency in languages such as Python, Java, and C++, and you have a solid understanding of blockchain technology and smart contracts. You are detail-oriented and have a keen eye for identifying security issues and bugs in code, ensuring that the tools you develop are robust and reliable.

What you'll do

In this role, you will design and develop innovative tools that automatically verify the correctness of smart contracts and identify potential security vulnerabilities. You will work closely with a multinational team of programming language experts, participating in all stages of tool development from idea generation to implementation and iterative improvements. Your contributions will directly impact the security of blockchain applications, helping to secure millions of dollars at stake in deployed protocols and smart contracts.

You will engage in collaborative brainstorming sessions, sharing ideas and feedback with your peers to enhance the tools you are developing. Your work will involve applying cutting-edge techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will have the opportunity to tackle complex problems and contribute to the advancement of blockchain security technology.

What we offer

At CertiK, you will be part of a mission-driven team dedicated to securing the cyber world through innovative blockchain security solutions. We offer a collaborative and supportive work environment where you can learn from experts in the field and grow your skills. You will have the chance to work on groundbreaking projects that have a significant impact on the industry. We encourage you to apply even if your experience doesn't match every requirement, as we value diverse perspectives and backgrounds. Join us in our ambitious mission to secure blockchain technology and make a difference in the digital world.