Sr. Mathematical & Computational Engineer

Company: CertiK
Location: New York, New York, United States
Type: Full-time
Posted: 13.AUG.2021
< >


About the CompanyFounded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utili...


About the CompanyFounded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class AI technology to secure and monitor blockchain protocols and smart contracts. CertiK's mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness. CertiK is one of the fastest growing and most trusted companies in blockchain security and has become a true market leader. To date, we have collectively worked with over 1300 enterprise clients, helped secure over $90 billion worth of digital assets, and detected over 23,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. Our Q1 2021 revenues have more than quadrupled the revenue of the full 2020 year. Since Q1 2020, our team size has more than doubled, and this rate of growth will continue in 2021, creating a highly effective, remote-friendly culture with talents located worldwide.CertiK just raised over $60 million in Series B and B+ funding rounds in 2021. Our investors include top VCs like Tiger Global, Coatue Management, Shunwei Capital and Hillhouse Capital as well as industry leaders like Coinbase Ventures and Binance.About YouYou're a self-starter. You believe in tackling the most important problems, even if they are the most difficult problems. You're comfortable with the unknown and understand that startup life means that you're going to be wearing multiple hats. And that's what motivates you. You're accountable and obsessed with improvement, both in yourself and in others. You're up to the challenge of building a world-class company that aims to be the infrastructure for more secure software for all.ResponsibilitiesAnalysis on mathematic models of smart contracts and blockchainsDevelop tools for static analysisdevelop blockchainsConduct formal verifications for smart contractsRequirementsBachelor's Degree in Math, Physics, Computer Science or related disciplines2+ years of experience in software developmentMastery of one or more backend languages: Java, C/C++, Python, Golang, etcStrong mathematical modeling, coding, and numerical analysis skillsAbility of conducting research on open-ended problemsSelf-motivated with the ability to work well independently and in teamsAble to make responsible decisions, set priorities and meet deadlines on a consistent basisExcellent written and verbal communication skillsBonus PointsMS/PhD in Math, Physics, Computer Science or related disciplinesResearch experience in numerical simulations and analysis, or static analysisExperience in blockchain or smart contract developmentKnowledge of decentralized finance or traditional finance

Apply Now


Free eBook

Loader2 Processing ...