Internship 2022 - Blockchain Security, Certified Systems
atCertiK
May 06
Recent statistics have shown in 2020 alone the crytosphere suffered more than 20 major hacks, totaling approximately $200 million in losses. From premeditated exploits to accidental losses, security in blockchain is undoubtedly under serious attack and desperately in need of an infrastructure to establish a safer ecology and regain the public's confidence in blockchain needed for broader adoption. It's with this very mission that the CertiK Chain project was created.
The CertiK Chain is an interoperable, security-oriented public blockchain built on top of the Cosmos SDK. Leveraging CertiK's proprietary Formal Verification engine, on-chain smart contracts in the CertiK Chain contain cryptographic certificates as well as machine-checkable proofs for extra security assurances. On the base layer is the CertiK Virtual Machine (CVM), of which a verified compiler is designed to ensure no bugs will be introduced during the transformation of source code into the CVM bytecode. Collectively with CertiKShield, Security Oracle and a plethora of other products offered at CertiK, the CertiK Chain puts security at its forefront and strives to help secure the blockchain industry today for a better tomorrow.
About the CompanyOne 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 RoleCertiK 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 (e.g. from reading the Software Foundations textbook or similar).[Preferred] Experience with non-trivial projects written in Coq. Proficient in Rust.ORFamiliar with compiler implementation (e.g. from taking an Compilers class), and experience with functional programming (e.g. 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.https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdfAll CertiK employees are expected to actively support diversity on their teams, and in the Company.
Listed in: Cryptocurrency Jobs, Remote Web3 Jobs, Legal Crypto Jobs, Internship Crypto Jobs, Security Web3 Jobs, Full Time Web3 Jobs, Developer Web3 Jobs, Engineering Crypto Jobs, Phd Web3 Jobs, Polygon Web3 Jobs, Rust Crypto Jobs, Compliance Web3 Jobs, EVM Crypto Jobs, Entry Level Web3 Jobs, Bsc Web3 Jobs.