CertiK logoCertiK logo

Software Engineer (Engineer III to Principal) - Formal Methods

CertiKNew York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote
Remote Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Experience

Qualifications

Qualifications:Strong background in programming language theory and automated reasoning. Experience in developing tools for verification or analysis of software systems. Ability to tackle computationally challenging problems successfully. Excellent collaboration and communication skills. Adaptability in a dynamic startup environment.

About the job

Why Choose Us? 
At CertiK, we are at the forefront of blockchain technology, driving a transformative wave of innovation in the digital landscape. Ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount as these systems are immutable once deployed. With vulnerabilities potentially risking millions, our mission is clear: to secure the cyber world through advanced techniques rooted in academic research. Join us as a Research Software Engineer and contribute to automated analyses that ensure the provable security of blockchain applications!

Your Role
As a vital member of our global team, you will design and create tools that automatically verify the correctness of smart contracts or detect security vulnerabilities and bugs. We have openings for software engineers across all seniority levels, with titles and responsibilities tailored to your experience and background.
Work alongside a collaborative team of experts in programming languages, developing tools that leverage cutting-edge techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in every phase of tool development, from ideation to implementation and iterative enhancements. Our environment fosters support and collaboration, presenting excellent opportunities for professional growth.

About You
You possess a strong foundation in programming language theory and automated reasoning, thriving at the intersection of theoretical computer science and practical application. You have a knack for solving complex computational problems and a proven record of delivering impactful results that users rely on. A true collaborator, you enjoy sharing ideas, brainstorming with teammates, and providing constructive feedback. You're adaptable and comfortable navigating the uncertainties of startup life, ready to take on diverse roles.

About CertiK

CertiK is a premier blockchain security firm committed to making the digital world safer. By applying advanced academic techniques to secure and verify blockchain code, we help protect users and organizations from vulnerabilities that could compromise their assets. Join us to be part of a mission-driven team that is shaping the future of blockchain technology.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.