Internship 2022 – Blockchain Security, Certified Systems

  • 1 applications
  • Applications may have closed

About the Company

One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader
To date, CertiK has worked with over 3,200 Enterprise clients, secured over $310 billion worth of digital assets, and has detected over 60,000 vulnerabilities in blockchain code
Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz
Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors
Certified Systems

is the core organization in CertiK delivering the advanced blockchain security technologies, tooling, platform, and services for the entire CertiK team to use for serving the security protection demand of CertiK's clients
We are looking for talented Software Engineers to join our growing backend engineering team
Ideal candidates should have experience in building backend applications such as Cybersecurity, RESTful server, computer networking tools, database engine, etc
About the Role

CertiK is working on the next-gen blockchain testing, analysis, and verification tools to satisfy the ever growing blockchain artifacts complexity
We are looking for interns who help take our work to the next level
The internship is suitable for current master/phd students, or strong undergraduates looking for experience solving real-world blockchain security and correctness challenges
You should be familiar with one of the following areas:Formal verification using an interactive proof assistant ( from reading the Software Foundations textbook or similar)
[Preferred] Experience with non-trivial projects written in Coq
Proficient in Rust
ORFamiliar with compiler implementation ( from taking an Compilers class), and experience with functional programming ( Ocaml, Gallina)
[Preferred] Previous experience working on a compiler; or experience specifying programming languages using operational semantics; or experience working with WASM, LLVM, or EVM
ORExperience with SMT-based theorem proving systems (Z3, Boogie, Why3, etc) or model checkers
 [Preferred] Previous experience building verification tools for programming languages
ORExperience with fuzzing test tools or other test-based software defects detection and prevention approaches
[Preferred] Previous experience building testing tools for blockchain artifacts
ORExperience with static analysis method-based tools to reveal vulnerabilities on source code or low-level code of blockchain application[Preferred] Previous experience building static analysis testing tools for any type of software programsORExperience with the blockchain dApp(smart contract, protocols, etc
) auditing to reveal any potential security vulnerabilities
Compensation: depending on level of experience: $2000 – $6000/month (full-time and onsite employment in US)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
All CertiK employees are expected to actively support diversity on their teams, and in the Company