Software Engineer (Engineer III to Principal) - Formal Methods - Remote

Overview

Join CertiK, the leading blockchain security company, as a research software engineer to work on automated analyses for provably secure and correct blockchain applications.

In Short

• Design and develop tools for smart contract correctness and security.
• Work with a multinational team of programming language experts.
• Participate in all stages of tool development from idea generation to implementation.
• Utilize techniques such as symbolic model checking and data flow analysis.
• Collaborate in a supportive and growth-oriented environment.
• Positions available at all levels of seniority.
• Contribute to the security of blockchain technology.
• Engage in brainstorming and feedback sessions with peers.
• Adapt to the dynamic nature of startup life.
• Achieve results that impact users positively.

Requirements

• Background in programming language theory and automated reasoning.
• Experience in tackling computationally hard problems.
• Proven track record of tool usage by others.
• Strong collaboration and communication skills.
• Comfortable with ambiguity and multiple roles.

Benefits

• Opportunity to work on cutting-edge blockchain technology.
• Supportive and collaborative team environment.
• Great opportunities for learning and growth.
• Work on impactful projects in the cybersecurity space.