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.All CertiK employees are expected to actively support diversity on their teams, and in the Company.