Create New Account
Sign up to continue searching for suitable jobs in Web 3.0

OR
Terms of Use
Already have an account?

Log In to Your Account
Log in to continue searching for suitable jobs in Web 3.0

OR
Don’t have an account?
CertiK
Internship Spring/Summer 2023 - Software Engineer, Tools
at CertiK
over 1 year ago | 2410 views | 74 applications

Internship Spring/Summer 2023 - Software Engineer, Tools

Full-time
New York, Remote, San Francisco, Seattle
Per year
$5,000 To $8,000

About the company

Founded 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 1800 enterprise clients, helped secure over $310 billion worth of digital assets, and detected over 31,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. CertiK just raised over $140 million and backed by Coatue, Tiger Global, Sequoia, and Hillhouse Capital.

Job Summary

You will design and develop tools that automatically identify security issues or assist security auditors to locate security issues. You will collaborate with security auditors to understand blockchain security issues. You will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. We develop and apply technologies such as static analysis, model checking, fuzz testing, language-based security (such as type systems), automated program verification, and theorem-prover based program verification. Our team is highly supportive and collaborative with great opportunities to learn and grow.

About you You are a self-starter and excellent at programming. You love to solve problems and get results, where results are people using your tool to do their jobs. You believe in solving the most important problems, even if they are the most difficult ones. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you need to be creative, flexible, and focused on results.

Responsibilities

Design and develop software tools that help identify blockchain security issues. Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support. Collaborate with other software engineers on developing tools. Learn new verification and security analysis technologies. Required Qualifications

Pursuing Bachelor's Degree or higher in Computer Science or s related field. Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, testing, and source code control. At least 1 year of experience programming in an object-oriented language or functional programming language. Preferred Qualifications

Experience with one of the following: static analysis, program verification, model checking, fuzz testing, compilers, or related technologies. At least one course or equivalent experience. Pursuing a Masters or PhD in Computer Science or related field. Strong and creative problem-solving skills; always willing to embrace new technologies and collaborate. About the Company Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class 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.

Compensation $5000 - $8000/month (full-time). The compensation will be determined by the skills and experience of qualified candidates.

CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays.

In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.

CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.

CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf

All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Similar jobs

about 2 hours ago | 5 views | Be the first one to apply
Full-time
India
about 2 hours ago | 4 views | Be the first one to apply
Full-time
Lithuania
about 2 hours ago | 7 views | Be the first one to apply
Full-time
United States
3 days ago | 171 views | 3 applications
$76,000 To $112,000 per year
3 days ago | 105 views | Be the first one to apply