Back
Profile
CertiK
Website
www.certik.comNumber of employees
Not specified
Locations
United States
Markets
Description
Founded in 2018 by professors of Columbia and Yale, CertiK is a pioneer in blockchain security, utilizing best-in-class Formal Verification and AI technology to secure and monitor blockchains, smart contracts, and Web3 apps.
Preferred payment options
CertiK
Blockchain Security Expert - Security Audit Track
USA
USA
Full time
Remote
About You
As a proactive individual, you are driven to solve challenging problems and thrive in ambiguous situations typical of a startup environment. Embracing a multifaceted role is something you find motivating and you hold yourself and others to high standards of accountability and continuous improvement. You are enthusiastic about the opportunity to contribute to building a top-tier company dedicated to enhancing software security.
About the Company
CertiK specializes in blockchain security solutions, employing cutting-edge Formal Verification technology to secure smart contracts and blockchain networks. Founded by esteemed Computer Science professors from Yale University and Columbia University, CertiK has successfully audited and protected assets totaling over $500B, partnering with leading global blockchain projects.
About the Role
This role primarily focuses on providing security-related services at CertiK. Spanning the domains of cybersecurity and blockchain technology, CertiK's security services include consulting, reviews, auditing, and verification of smart contracts and blockchains, along with penetration testing.
Responsibilities
Perform comprehensive security services for blockchain systems, encompassing consulting, reviewing, auditing, verifying, testing, and delivering detailed security assessments for various components like smart contracts, web3 protocols, and dApps.
Conduct thorough manual code reviews across Solidity, Golang, Rust, or other blockchain languages to identify vulnerabilities, logical flaws, economic attacks, and edge cases.
Develop and enhance threat models and attack surfaces, covering economic, technical, operational, and trust-based risks associated with blockchain protocols.
Design and execute security tests, including property-based testing and gas-related analysis.
Requirements
Bachelor's degree in areas like Security, Computer Science, Mathematics, Physics, or Engineering.
Proficiency in efficiently managing multiple priorities and deadlines while possessing expert knowledge in cybersecurity and security auditing.
Ability to write and deploy smart contracts, blockchain infrastructure, and tests using frameworks.
Familiarity with common attack vectors and vulnerabilities such as reentrancy, sandwich attacks, overflow/underflow.
Strong communication skills, both verbal and written in English, for effectively liaising with clients and internal teams on security services and requirements.
[Preferred] Prior hands-on experience in security auditing.
What We Offer
Opportunity to contribute to shaping discussions on blockchain and security at a global level.
Collaboration with top-notch security researchers, technologists, and renowned institutions.
Flexible work environment and a culture driven by a meaningful mission.
Compensation: For U.S.-based roles, the expected annual compensation ranges from $120,000 to $180,000 USD, considering the qualifications and experience of candidates.
Certik is an equal opportunity employer and offers comprehensive benefits such as medical, vision, and dental insurance, 401(k) matching, life insurance, flexible spending accounts, and more to full-time employees. Employees are expected to advocate for diversity within the team and the organization.
As a proactive individual, you are driven to solve challenging problems and thrive in ambiguous situations typical of a startup environment. Embracing a multifaceted role is something you find motivating and you hold yourself and others to high standards of accountability and continuous improvement. You are enthusiastic about the opportunity to contribute to building a top-tier company dedicated to enhancing software security.
About the Company
CertiK specializes in blockchain security solutions, employing cutting-edge Formal Verification technology to secure smart contracts and blockchain networks. Founded by esteemed Computer Science professors from Yale University and Columbia University, CertiK has successfully audited and protected assets totaling over $500B, partnering with leading global blockchain projects.
About the Role
This role primarily focuses on providing security-related services at CertiK. Spanning the domains of cybersecurity and blockchain technology, CertiK's security services include consulting, reviews, auditing, and verification of smart contracts and blockchains, along with penetration testing.
Responsibilities
Perform comprehensive security services for blockchain systems, encompassing consulting, reviewing, auditing, verifying, testing, and delivering detailed security assessments for various components like smart contracts, web3 protocols, and dApps.
Conduct thorough manual code reviews across Solidity, Golang, Rust, or other blockchain languages to identify vulnerabilities, logical flaws, economic attacks, and edge cases.
Develop and enhance threat models and attack surfaces, covering economic, technical, operational, and trust-based risks associated with blockchain protocols.
Design and execute security tests, including property-based testing and gas-related analysis.
Requirements
Bachelor's degree in areas like Security, Computer Science, Mathematics, Physics, or Engineering.
Proficiency in efficiently managing multiple priorities and deadlines while possessing expert knowledge in cybersecurity and security auditing.
Ability to write and deploy smart contracts, blockchain infrastructure, and tests using frameworks.
Familiarity with common attack vectors and vulnerabilities such as reentrancy, sandwich attacks, overflow/underflow.
Strong communication skills, both verbal and written in English, for effectively liaising with clients and internal teams on security services and requirements.
[Preferred] Prior hands-on experience in security auditing.
What We Offer
Opportunity to contribute to shaping discussions on blockchain and security at a global level.
Collaboration with top-notch security researchers, technologists, and renowned institutions.
Flexible work environment and a culture driven by a meaningful mission.
Compensation: For U.S.-based roles, the expected annual compensation ranges from $120,000 to $180,000 USD, considering the qualifications and experience of candidates.
Certik is an equal opportunity employer and offers comprehensive benefits such as medical, vision, and dental insurance, 401(k) matching, life insurance, flexible spending accounts, and more to full-time employees. Employees are expected to advocate for diversity within the team and the organization.
CertiK
Blockchain Security Expert - Chain Security Evaluation Track
USA
USA
Full time
Remote
About You
We are seeking a proactive problem solver who thrives on challenging and impactful tasks, even when they are complex. The ideal candidate should be comfortable with ambiguity and ready to take on multiple roles in a startup setting. A sense of accountability, coupled with a relentless pursuit of self-improvement and growth, should drive your work approach. Your motivation should stem from the opportunity to contribute to building a top-tier company that aspires to become a leading provider of secure software solutions.
About the Company
CertiK is at the forefront of blockchain security, leveraging cutting-edge Formal Verification technology to safeguard smart contracts and blockchains. Founded by Computer Science professors from renowned institutions like Yale University and Columbia University, CertiK has successfully audited and secured assets totaling over $500 billion, including major blockchain projects worldwide.
About the Role
As a Security Engineer at CertiK, your key responsibility will revolve around managing the company's security services. These services span the intersection of cybersecurity and blockchain, encompassing security consulting, reviews, and audits on smart contracts and blockchains, as well as verification and penetration testing.
Responsibilities
Conduct thorough security assessments on various blockchain components like nodes, validators, consensus mechanisms, and network layers.
Evaluate and analyze blockchain frameworks such as Cosmos SDK, Geth, Hyperledger, among others.
Identify security vulnerabilities related to consensus protocols, permission models, and block production risks.
Develop and execute custom scripts and test cases to mimic validator behaviors and stress test chains under different conditions.
Requirements
Proficient in written and verbal English communication.
Strong attention to detail, particularly in complex testing scenarios and experiments.
Sound knowledge of blockchain architecture and internals, including Cosmos SDK, Go-Ethereum, and Hyperledger Fabric/Besu.
Proficiency in scripting and automation using Python or Bash.
Experience with Docker and containerized testing environments.
Previous exposure to manual Web3 security auditing is a plus.
What We Offer
Opportunity to contribute to shaping the dialogue around blockchain and security.
Collaboration with top-tier security researchers, technologists, and global institutions.
Flexible work environment and a culture centered around a shared mission.
Compensation: The annual salary for this role in the US ranges between $120,000 to $180,000, dependent on the skills and experience of the successful candidate.
CertiK extends benefits such as medical, vision, and dental insurance, 401(k) plan with matching, life insurance, HSA, FSA, flexible paid time off, and holidays. Additionally, there is a variable commission program in place for business development sales roles.
We endorse diversity, acting as an equal opportunity employer that does not discriminate based on various factors outlined by the law. Candidates with criminal histories will be considered in line with legal requirements related to employment.
We are committed to fostering a diverse workforce and may use AI tools to support the hiring process, though all final decisions will be made by human recruiters. For more information on data processing, please reach out to us directly.
We are seeking a proactive problem solver who thrives on challenging and impactful tasks, even when they are complex. The ideal candidate should be comfortable with ambiguity and ready to take on multiple roles in a startup setting. A sense of accountability, coupled with a relentless pursuit of self-improvement and growth, should drive your work approach. Your motivation should stem from the opportunity to contribute to building a top-tier company that aspires to become a leading provider of secure software solutions.
About the Company
CertiK is at the forefront of blockchain security, leveraging cutting-edge Formal Verification technology to safeguard smart contracts and blockchains. Founded by Computer Science professors from renowned institutions like Yale University and Columbia University, CertiK has successfully audited and secured assets totaling over $500 billion, including major blockchain projects worldwide.
About the Role
As a Security Engineer at CertiK, your key responsibility will revolve around managing the company's security services. These services span the intersection of cybersecurity and blockchain, encompassing security consulting, reviews, and audits on smart contracts and blockchains, as well as verification and penetration testing.
Responsibilities
Conduct thorough security assessments on various blockchain components like nodes, validators, consensus mechanisms, and network layers.
Evaluate and analyze blockchain frameworks such as Cosmos SDK, Geth, Hyperledger, among others.
Identify security vulnerabilities related to consensus protocols, permission models, and block production risks.
Develop and execute custom scripts and test cases to mimic validator behaviors and stress test chains under different conditions.
Requirements
Proficient in written and verbal English communication.
Strong attention to detail, particularly in complex testing scenarios and experiments.
Sound knowledge of blockchain architecture and internals, including Cosmos SDK, Go-Ethereum, and Hyperledger Fabric/Besu.
Proficiency in scripting and automation using Python or Bash.
Experience with Docker and containerized testing environments.
Previous exposure to manual Web3 security auditing is a plus.
What We Offer
Opportunity to contribute to shaping the dialogue around blockchain and security.
Collaboration with top-tier security researchers, technologists, and global institutions.
Flexible work environment and a culture centered around a shared mission.
Compensation: The annual salary for this role in the US ranges between $120,000 to $180,000, dependent on the skills and experience of the successful candidate.
CertiK extends benefits such as medical, vision, and dental insurance, 401(k) plan with matching, life insurance, HSA, FSA, flexible paid time off, and holidays. Additionally, there is a variable commission program in place for business development sales roles.
We endorse diversity, acting as an equal opportunity employer that does not discriminate based on various factors outlined by the law. Candidates with criminal histories will be considered in line with legal requirements related to employment.
We are committed to fostering a diverse workforce and may use AI tools to support the hiring process, though all final decisions will be made by human recruiters. For more information on data processing, please reach out to us directly.
CertiK
Office Administrator
New York, USA
New York, USA
Full time
Hybrid
About the Company
CertiK is a prominent blockchain security auditor specializing in providing an extensive range of tools to enhance industry-wide security operations. With a successful track record of collaborating with over 4,900 Enterprise clients and safeguarding digital assets worth $557 billion, CertiK has identified over 18,000 vulnerabilities in blockchain code. The company boasts a prestigious client portfolio that includes renowned projects like OKX, Tether, Ripple, and Pancakeswap, in addition to backing from reputable investors such as Tiger Global, Coatue Management, Shunwei Capital, and Hillhouse Capital, as well as leading industry players like Coinbase Ventures and Binance.
Responsibilities
Office Administration:
Oversee general office operations and manage supplies.
Provide ad-hoc administrative support as required.
Assist with organizing in-house events, including setup and post-event activities.
HR Support:
Support company events and activities.
Manage swag and inventory efficiently.
Coordinate with vendors and service providers when needed.
IT Support:
Collaborate with IT to handle basic tech-related logistics such as shipping and receiving devices.
Offer general administrative support, acting as the first point of contact for a help desk.
Requirements
Previous experience (1–3 years) in office administration, operations, or a similar capacity.
Geographically located in Midtown Manhattan near Bryant Park to provide on-site support.
Exceptional organizational skills, proactive nature, and attention to detail. Ability to manage multiple tasks effectively.
Strong communication skills in English; proficiency in Mandarin is advantageous.
Hands-on approach with a proactive attitude towards problem-solving.
Tech-savvy with a basic understanding of tools like Google Workspace, Slack, and spreadsheets.
Compensation: $60,000 - $100,000 annually
Applications for this position at CertiK are accepted on an ongoing basis.
CertiK provides comprehensive benefits to all full-time employees, including medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA and FSA options, and flexible paid time off. A variable commission program for business development sales roles is also available.
Equal employment opportunities are offered by CertiK, refraining from discrimination based on various factors including age, race, religion, gender, disability, and more. The company considers qualified applicants with criminal histories in compliance with relevant regulations governing hiring practices.
Diversity is actively supported and encouraged across all teams and aspects of the company at CertiK.
AI tools may be utilized in parts of the hiring process to enhance efficiency; however, all final employment decisions are made by humans. For more details regarding data processing, feel free to reach out for additional information.
CertiK is a prominent blockchain security auditor specializing in providing an extensive range of tools to enhance industry-wide security operations. With a successful track record of collaborating with over 4,900 Enterprise clients and safeguarding digital assets worth $557 billion, CertiK has identified over 18,000 vulnerabilities in blockchain code. The company boasts a prestigious client portfolio that includes renowned projects like OKX, Tether, Ripple, and Pancakeswap, in addition to backing from reputable investors such as Tiger Global, Coatue Management, Shunwei Capital, and Hillhouse Capital, as well as leading industry players like Coinbase Ventures and Binance.
Responsibilities
Office Administration:
Oversee general office operations and manage supplies.
Provide ad-hoc administrative support as required.
Assist with organizing in-house events, including setup and post-event activities.
HR Support:
Support company events and activities.
Manage swag and inventory efficiently.
Coordinate with vendors and service providers when needed.
IT Support:
Collaborate with IT to handle basic tech-related logistics such as shipping and receiving devices.
Offer general administrative support, acting as the first point of contact for a help desk.
Requirements
Previous experience (1–3 years) in office administration, operations, or a similar capacity.
Geographically located in Midtown Manhattan near Bryant Park to provide on-site support.
Exceptional organizational skills, proactive nature, and attention to detail. Ability to manage multiple tasks effectively.
Strong communication skills in English; proficiency in Mandarin is advantageous.
Hands-on approach with a proactive attitude towards problem-solving.
Tech-savvy with a basic understanding of tools like Google Workspace, Slack, and spreadsheets.
Compensation: $60,000 - $100,000 annually
Applications for this position at CertiK are accepted on an ongoing basis.
CertiK provides comprehensive benefits to all full-time employees, including medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA and FSA options, and flexible paid time off. A variable commission program for business development sales roles is also available.
Equal employment opportunities are offered by CertiK, refraining from discrimination based on various factors including age, race, religion, gender, disability, and more. The company considers qualified applicants with criminal histories in compliance with relevant regulations governing hiring practices.
Diversity is actively supported and encouraged across all teams and aspects of the company at CertiK.
AI tools may be utilized in parts of the hiring process to enhance efficiency; however, all final employment decisions are made by humans. For more details regarding data processing, feel free to reach out for additional information.
CertiK
Solidity Compiler Frontend Engineer
USA
USA
Full time
Remote
About the Company
An up-and-coming pioneer in blockchain security, CertiK boasts a reputation as a fast-growing and reliable firm with an impressive track record. With over thousands of clients, they have safeguarded billions worth of digital assets and overseen numerous projects, partnering with renowned entities like Aave, Polygon, Yearn, and Chiliz.
About the Role
CertiK is on the lookout for a proficient Solidity Compiler Frontend Engineer to join their team specializing in cutting-edge blockchain compiler infrastructure and formal verification tools. In this role, you will be instrumental in developing and refining the frontend aspects of Solidity compilation pipelines, focusing primarily on static analysis, type checking, and integration with formal verification systems.
Responsibilities
Construct and implement frontend components for the Solidity compiler, spanning lexical analysis, parsing, AST generation, and semantic analysis.
Enhance compiler performance, elevate error reporting, and diagnostics.
Create integration interfaces between the Solidity compiler and formal verification tools.
Contribute to enhancing Solidity language features and specifications.
Collaborate closely with security researchers to implement security checks and static analysis procedures.
Sustain and enhance the current compiler infrastructure and tools.
Requirements
3+ years of professional experience in Solidity compiler development or related compiler projects involving EVM-based languages and smart contract compilers.
Profound proficiency in C++ with a comprehensive understanding of contemporary C++ standards.
Thorough grasp of compiler theory covering parsing techniques, type systems, and intermediate representations.
Familiarity with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks.
Sound understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models.
Strong problem-solving skills coupled with exceptional attention to detail.
Preferred Qualifications
Prior experience with LLVM or similar compiler infrastructures.
Understanding of programming language semantics and type theory.
Contributions to open-source compiler projects.
Exposure to Solidity or other blockchain programming languages.
What We Offer
Opportunity to influence discussions on blockchain and security at a global level.
Engage with top-tier security researchers, technologists, and global establishments.
Enjoy a flexible work environment embedded in a culture driven by purpose.
Compensation: For roles performed in the US, the anticipated annual compensation falls within the range of $140,000 - $220,000 based on the qualification and expertise of successful candidates.
Application acceptance for this position at CertiK is ongoing.
CertiK extends a package of benefits, including medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for particular business development sales roles.
Note: CertiK is an equal opportunity employer and adheres to federal law requirements. They uphold a commitment to diversity within teams and across the Company. The organization assesses applications from individuals with criminal histories adhering to local and federal regulations.
An up-and-coming pioneer in blockchain security, CertiK boasts a reputation as a fast-growing and reliable firm with an impressive track record. With over thousands of clients, they have safeguarded billions worth of digital assets and overseen numerous projects, partnering with renowned entities like Aave, Polygon, Yearn, and Chiliz.
About the Role
CertiK is on the lookout for a proficient Solidity Compiler Frontend Engineer to join their team specializing in cutting-edge blockchain compiler infrastructure and formal verification tools. In this role, you will be instrumental in developing and refining the frontend aspects of Solidity compilation pipelines, focusing primarily on static analysis, type checking, and integration with formal verification systems.
Responsibilities
Construct and implement frontend components for the Solidity compiler, spanning lexical analysis, parsing, AST generation, and semantic analysis.
Enhance compiler performance, elevate error reporting, and diagnostics.
Create integration interfaces between the Solidity compiler and formal verification tools.
Contribute to enhancing Solidity language features and specifications.
Collaborate closely with security researchers to implement security checks and static analysis procedures.
Sustain and enhance the current compiler infrastructure and tools.
Requirements
3+ years of professional experience in Solidity compiler development or related compiler projects involving EVM-based languages and smart contract compilers.
Profound proficiency in C++ with a comprehensive understanding of contemporary C++ standards.
Thorough grasp of compiler theory covering parsing techniques, type systems, and intermediate representations.
Familiarity with formal methods or formal verification tools such as SMT solvers, theorem provers, or verification frameworks.
Sound understanding of the Ethereum Virtual Machine (EVM) and smart contract execution models.
Strong problem-solving skills coupled with exceptional attention to detail.
Preferred Qualifications
Prior experience with LLVM or similar compiler infrastructures.
Understanding of programming language semantics and type theory.
Contributions to open-source compiler projects.
Exposure to Solidity or other blockchain programming languages.
What We Offer
Opportunity to influence discussions on blockchain and security at a global level.
Engage with top-tier security researchers, technologists, and global establishments.
Enjoy a flexible work environment embedded in a culture driven by purpose.
Compensation: For roles performed in the US, the anticipated annual compensation falls within the range of $140,000 - $220,000 based on the qualification and expertise of successful candidates.
Application acceptance for this position at CertiK is ongoing.
CertiK extends a package of benefits, including medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for particular business development sales roles.
Note: CertiK is an equal opportunity employer and adheres to federal law requirements. They uphold a commitment to diversity within teams and across the Company. The organization assesses applications from individuals with criminal histories adhering to local and federal regulations.
CertiK
Zero-Knowledge Cryptography Expert
New York, USA +2
New York, USA +2
Full time
Remote
About the Company
A rapidly growing and highly reputable company in the field of blockchain security, CertiK is a renowned market leader in the industry. With a track record of serving more than 4,798 clients and safeguarding over $597 billion in digital assets, CertiK has also monitored 17,000 projects. Notable clients include Aave, Polygon, Yearn, and Chiliz. The company's investors include Insight Partners, Sequoia, Tiger Global, and other distinguished names.
About the Role
This position plays a pivotal role in supporting CertiK's security-related services that encompass cryptography, blockchain, and cybersecurity. These services include security consulting, reviews, auditing of smart contracts, blockchains, verifying smart contracts, conducting penetration testing, and more. The ideal candidate will have a strong interest in cryptography and blockchain, a deep understanding of zero-knowledge protocols, expertise in the Ethereum Virtual Machine (EVM), and overall security.
As a specialist in zero-knowledge cryptography at CertiK, you will be instrumental in securing foundational cryptographic protocols. Responsibilities will involve engaging in blockchain security research with a focus on zero-knowledge proof systems and multi-party computation while collaborating with a team of top-tier security professionals.
While mastery of all zero-knowledge protocols is not mandatory, proficiency in at least one protocol with the ability to quickly grasp others is highly valued. The role requires competence in analyzing and comparing various zero-knowledge protocols, identifying their strengths and weaknesses, and offering practical insights.
Furthermore, you will be tasked with effectively communicating your research findings to team members and at times, engaging directly with clients to explain technical concepts and solutions.
Responsibilities
Collaborate with external protocol developers to audit their code and secure cryptographic protocol implementations.
Conduct thorough security research on cryptographic protocols and publish findings in technical blog posts or conferences.
Research zero-knowledge protocols, simplify complex academic papers into understandable insights for fellow engineers.
Identify and integrate common vulnerabilities in zero-knowledge protocols into internal tools, and stay updated on the latest advancements in zero-knowledge cryptography.
Requirements
Minimum educational background: Bachelor’s degree with 2+ years of relevant work experience or Master's/Ph.D. in Computer Science, Mathematics, or related fields.
Strong knowledge of cryptography, including elliptic curve cryptography, cryptographic protocol design, implementation, and circuit design.
Familiarity with zero-knowledge proof systems like SNARKs, STARKs, and Bulletproofs.
Proficiency in one of the following programming languages: C/C++, Go, or Rust.
Nice to Have
Understanding of the blockchain ecosystem, particularly Ethereum and layer2 ZK-rollups.
Familiarity with domain-specific languages such as Circom and multi-party computation (MPC).
Strong background in Mathematics, experience in blockchain security, and working knowledge of ZK systems.
Compensation
For candidates in the US, the anticipated annual compensation for this role ranges from $120,000 to $220,000. The exact compensation will be based on the skills and experience of qualified candidates.
CertiK offers a comprehensive benefits package to full-time employees, including medical, vision, dental insurance, 401(k) plan with matching, life and accidental death and dismemberment insurance, HSA, FSA, paid time off, and holidays. Additionally, CertiK provides a variable commission program for business development sales roles.
CertiK is an equal opportunity employer and embraces diversity in the workplace, welcoming qualified candidates from all backgrounds.
A rapidly growing and highly reputable company in the field of blockchain security, CertiK is a renowned market leader in the industry. With a track record of serving more than 4,798 clients and safeguarding over $597 billion in digital assets, CertiK has also monitored 17,000 projects. Notable clients include Aave, Polygon, Yearn, and Chiliz. The company's investors include Insight Partners, Sequoia, Tiger Global, and other distinguished names.
About the Role
This position plays a pivotal role in supporting CertiK's security-related services that encompass cryptography, blockchain, and cybersecurity. These services include security consulting, reviews, auditing of smart contracts, blockchains, verifying smart contracts, conducting penetration testing, and more. The ideal candidate will have a strong interest in cryptography and blockchain, a deep understanding of zero-knowledge protocols, expertise in the Ethereum Virtual Machine (EVM), and overall security.
As a specialist in zero-knowledge cryptography at CertiK, you will be instrumental in securing foundational cryptographic protocols. Responsibilities will involve engaging in blockchain security research with a focus on zero-knowledge proof systems and multi-party computation while collaborating with a team of top-tier security professionals.
While mastery of all zero-knowledge protocols is not mandatory, proficiency in at least one protocol with the ability to quickly grasp others is highly valued. The role requires competence in analyzing and comparing various zero-knowledge protocols, identifying their strengths and weaknesses, and offering practical insights.
Furthermore, you will be tasked with effectively communicating your research findings to team members and at times, engaging directly with clients to explain technical concepts and solutions.
Responsibilities
Collaborate with external protocol developers to audit their code and secure cryptographic protocol implementations.
Conduct thorough security research on cryptographic protocols and publish findings in technical blog posts or conferences.
Research zero-knowledge protocols, simplify complex academic papers into understandable insights for fellow engineers.
Identify and integrate common vulnerabilities in zero-knowledge protocols into internal tools, and stay updated on the latest advancements in zero-knowledge cryptography.
Requirements
Minimum educational background: Bachelor’s degree with 2+ years of relevant work experience or Master's/Ph.D. in Computer Science, Mathematics, or related fields.
Strong knowledge of cryptography, including elliptic curve cryptography, cryptographic protocol design, implementation, and circuit design.
Familiarity with zero-knowledge proof systems like SNARKs, STARKs, and Bulletproofs.
Proficiency in one of the following programming languages: C/C++, Go, or Rust.
Nice to Have
Understanding of the blockchain ecosystem, particularly Ethereum and layer2 ZK-rollups.
Familiarity with domain-specific languages such as Circom and multi-party computation (MPC).
Strong background in Mathematics, experience in blockchain security, and working knowledge of ZK systems.
Compensation
For candidates in the US, the anticipated annual compensation for this role ranges from $120,000 to $220,000. The exact compensation will be based on the skills and experience of qualified candidates.
CertiK offers a comprehensive benefits package to full-time employees, including medical, vision, dental insurance, 401(k) plan with matching, life and accidental death and dismemberment insurance, HSA, FSA, paid time off, and holidays. Additionally, CertiK provides a variable commission program for business development sales roles.
CertiK is an equal opportunity employer and embraces diversity in the workplace, welcoming qualified candidates from all backgrounds.
CertiK
Blockchain Security Expert - AI Track
USA
USA
Full time
Remote
About the Company
CertiK is renowned for its rapid growth and credibility in the blockchain security sector, serving as a trusted market leader. They have an impressive track record of collaborating with numerous clients, securing a significant value of digital assets, and monitoring a multitude of projects, including high-profile clients like Aave, Polygon, Yearn, and Chiliz.
Investors in CertiK include reputable firms like Insight Partners, Sequoia, Tiger Global, Coatue Management, and more.
About the Role
As a Blockchain Security Expert on the AI Track at CertiK, you will spearhead the development of an intelligent AI agent driven by large language models (LLMs) to bolster security audit tools in the blockchain domain. Working closely with the blockchain security team, your role involves aligning cutting-edge academic research with practical implementation. Your main responsibilities will revolve around constructing, testing, and optimizing LLM-powered AI agents tasked with automatically scrutinizing smart contracts to identify potential vulnerabilities. You will be deeply engaged in exploration and experimentation to enhance threat detection and risk evaluation within CertiK's security audit platform, directly contributing to the fortification of secure blockchain infrastructures.
Responsibilities
Collaborate with the blockchain security team to create an LLM-focused AI agent for security audit tools.
Experiment with innovative AI techniques to augment threat detection and risk assessment in blockchain landscapes.
Aid in translating advanced research on AI agents into scalable security audit solutions.
Stay abreast of emerging trends in LLMs, AI agent architectures, and cybersecurity, proactively suggesting enhancements.
Requirements
Hold a bachelor’s degree or higher, preferably in a science or engineering discipline.
Possess over 2 years of experience in security or software development.
Be knowledgeable about blockchain and smart contract technologies.
Familiarity with agentic coding tools like Cursor, Windsurf, Cline, etc.
Strong problem-solving aptitude, enthusiasm for learning new technologies, and readiness to collaborate.
Preferred Qualifications
Prior experience in developing AI agents or automated security analysis tools.
Proven ability to translate research findings into effective, production-ready tools.
Background in web3 security audits.
Hands-on blockchain experience, e.g., evaluating risks for blockchain ventures or analyzing on-chain security incidents.
Compensation
For roles based in the US, the target annual compensation ranges from $120,000 to $180,000, with the exact amount contingent on candidates' skills and experience.
CertiK accepts applications for this role continuously.
CertiK provides comprehensive benefits like medical, vision, and dental insurance, 401(k) plan, life and accidental death and dismemberment insurance, HsA, FSA, and more to full-time employees. Flexible paid time off, holidays, and a variable commission scheme for business development sales roles are also available.
As an equal opportunity employer, CertiK values diversity and does not discriminate based on various protected groups as per federal, state, and local laws.
Applicants with criminal histories will be considered for employment in compliance with legal mandates.
CertiK is renowned for its rapid growth and credibility in the blockchain security sector, serving as a trusted market leader. They have an impressive track record of collaborating with numerous clients, securing a significant value of digital assets, and monitoring a multitude of projects, including high-profile clients like Aave, Polygon, Yearn, and Chiliz.
Investors in CertiK include reputable firms like Insight Partners, Sequoia, Tiger Global, Coatue Management, and more.
About the Role
As a Blockchain Security Expert on the AI Track at CertiK, you will spearhead the development of an intelligent AI agent driven by large language models (LLMs) to bolster security audit tools in the blockchain domain. Working closely with the blockchain security team, your role involves aligning cutting-edge academic research with practical implementation. Your main responsibilities will revolve around constructing, testing, and optimizing LLM-powered AI agents tasked with automatically scrutinizing smart contracts to identify potential vulnerabilities. You will be deeply engaged in exploration and experimentation to enhance threat detection and risk evaluation within CertiK's security audit platform, directly contributing to the fortification of secure blockchain infrastructures.
Responsibilities
Collaborate with the blockchain security team to create an LLM-focused AI agent for security audit tools.
Experiment with innovative AI techniques to augment threat detection and risk assessment in blockchain landscapes.
Aid in translating advanced research on AI agents into scalable security audit solutions.
Stay abreast of emerging trends in LLMs, AI agent architectures, and cybersecurity, proactively suggesting enhancements.
Requirements
Hold a bachelor’s degree or higher, preferably in a science or engineering discipline.
Possess over 2 years of experience in security or software development.
Be knowledgeable about blockchain and smart contract technologies.
Familiarity with agentic coding tools like Cursor, Windsurf, Cline, etc.
Strong problem-solving aptitude, enthusiasm for learning new technologies, and readiness to collaborate.
Preferred Qualifications
Prior experience in developing AI agents or automated security analysis tools.
Proven ability to translate research findings into effective, production-ready tools.
Background in web3 security audits.
Hands-on blockchain experience, e.g., evaluating risks for blockchain ventures or analyzing on-chain security incidents.
Compensation
For roles based in the US, the target annual compensation ranges from $120,000 to $180,000, with the exact amount contingent on candidates' skills and experience.
CertiK accepts applications for this role continuously.
CertiK provides comprehensive benefits like medical, vision, and dental insurance, 401(k) plan, life and accidental death and dismemberment insurance, HsA, FSA, and more to full-time employees. Flexible paid time off, holidays, and a variable commission scheme for business development sales roles are also available.
As an equal opportunity employer, CertiK values diversity and does not discriminate based on various protected groups as per federal, state, and local laws.
Applicants with criminal histories will be considered for employment in compliance with legal mandates.
CertiK
Blockchain Security Expert Intern - AI Track
New York, USA
New York, USA
Full time
Remote
About the Company
Established in 2018 by esteemed educators from Yale University and Columbia University, CertiK is a groundbreaking entity in blockchain security. Employing state-of-the-art AI technology, CertiK specializes in safeguarding and monitoring blockchain protocols and smart contracts with a vision to enhance cybersecurity. By bringing advanced academic innovations into corporate settings, CertiK facilitates the development of secure and accurate mission-critical applications. Renowned as a rapidly expanding and well-respected organization in blockchain security, CertiK enjoys a prime position in its sector. Noteworthy clients include eminent projects such as Aave, Polygon, Binance Smart Chain, Yearn, and Chiliz. Notable investors backing CertiK's endeavors comprise prestigious VCs like Tiger Global, Coatue Management, Shunwei Capital, and Hillhouse Capital, alongside industry giants such as Coinbase Ventures and Binance.
About the Position
The primary objective of this role is to spearhead the evolution of an intelligent AI agent propelled by large language models (LLMs) to elevate the efficacy of our security audit tools in the realm of blockchain technology. As an Intern specializing in Blockchain Security, you will collaborate closely with our blockchain security team to fuse cutting-edge academic research with real-world applications. Your core duties will encompass the design, optimization, and integration of LLM-driven AI agents engineered to automatically scrutinize smart contracts and uncover potential vulnerabilities. Engaged in research and experimentation, you will explore new methodologies to bolster threat identification and risk evaluation within our security audit platform, actively contributing to enhanced security of blockchain infrastructures.
Responsibilities
Work alongside our blockchain security team to devise and implement a large language model (LLM)-powered AI agent for security audit tools.
Conduct experiments utilizing innovative AI techniques to enrich threat detection and risk assessment within blockchain ecosystems.
Aid in transforming advanced research on AI agents into pragmatic, scalable solutions for security audits.
Stay abreast of emerging trends in LLMs, AI agent architectures, and cybersecurity, proactively suggesting enhancements.
Requirements
Pursuing or possessing a recent PhD in Artificial Intelligence, Computer Science, or related field, with a strong focus on machine learning, natural language processing, and/or cybersecurity.
Profound comprehension of LLM architectures (e.g., transformers) and hands-on expertise in training or fine-tuning such models.
Advanced proficiency in Python and hands-on experience with deep learning frameworks like PyTorch or TensorFlow.
Basic knowledge of blockchain technology and smart contract development is advantageous.
Exceptional analytical skills, problem-solving abilities, and adaptability in a fast-paced, pioneering startup environment.
Excellent written and verbal communication skills in English.
Bonus Points
Previous research or project involvement in developing AI agents or automated security analysis tools.
Exposure to security audit methodologies and vulnerability assessment, particularly within blockchain or smart contract spheres.
Familiarity with blockchain programming languages (e.g., Solidity) and platforms (e.g., Ethereum).
Contributions to top conferences/journals in AI, NLP, or cybersecurity.
Demonstrated capability to translate research insights into practical, production-ready tools.
Target compensation for this role, if based in the US, ranges from $6,000 to $8,000 monthly. The final compensation offered will be predicated on the skills and experience exhibited by eligible candidates.
CertiK welcomes applications for this role continuously.
CertiK provides comprehensive benefits such as medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, alongside flexible paid time off and holidays. For business development sales roles, CertiK also offers a variable commission program.
In compliance with federal regulations, all recruited personnel will be required to authenticate identity and eligibility to work in the US, duly completing the necessary form at the time of hiring.
CertiK remains committed to maintaining an unbiased recruitment process, refraining from any form of discrimination based on age, race, creed, religion, gender, sexual orientation, medical condition, national origin, genetics, military status, or any other legally impermissible criterion during hiring decisions.
CertiK will review applications from candidates with criminal histories in compliance with applicable local and federal directives.
All team members at CertiK are expected to actively champion diversity within their teams and the organization at large.
Established in 2018 by esteemed educators from Yale University and Columbia University, CertiK is a groundbreaking entity in blockchain security. Employing state-of-the-art AI technology, CertiK specializes in safeguarding and monitoring blockchain protocols and smart contracts with a vision to enhance cybersecurity. By bringing advanced academic innovations into corporate settings, CertiK facilitates the development of secure and accurate mission-critical applications. Renowned as a rapidly expanding and well-respected organization in blockchain security, CertiK enjoys a prime position in its sector. Noteworthy clients include eminent projects such as Aave, Polygon, Binance Smart Chain, Yearn, and Chiliz. Notable investors backing CertiK's endeavors comprise prestigious VCs like Tiger Global, Coatue Management, Shunwei Capital, and Hillhouse Capital, alongside industry giants such as Coinbase Ventures and Binance.
About the Position
The primary objective of this role is to spearhead the evolution of an intelligent AI agent propelled by large language models (LLMs) to elevate the efficacy of our security audit tools in the realm of blockchain technology. As an Intern specializing in Blockchain Security, you will collaborate closely with our blockchain security team to fuse cutting-edge academic research with real-world applications. Your core duties will encompass the design, optimization, and integration of LLM-driven AI agents engineered to automatically scrutinize smart contracts and uncover potential vulnerabilities. Engaged in research and experimentation, you will explore new methodologies to bolster threat identification and risk evaluation within our security audit platform, actively contributing to enhanced security of blockchain infrastructures.
Responsibilities
Work alongside our blockchain security team to devise and implement a large language model (LLM)-powered AI agent for security audit tools.
Conduct experiments utilizing innovative AI techniques to enrich threat detection and risk assessment within blockchain ecosystems.
Aid in transforming advanced research on AI agents into pragmatic, scalable solutions for security audits.
Stay abreast of emerging trends in LLMs, AI agent architectures, and cybersecurity, proactively suggesting enhancements.
Requirements
Pursuing or possessing a recent PhD in Artificial Intelligence, Computer Science, or related field, with a strong focus on machine learning, natural language processing, and/or cybersecurity.
Profound comprehension of LLM architectures (e.g., transformers) and hands-on expertise in training or fine-tuning such models.
Advanced proficiency in Python and hands-on experience with deep learning frameworks like PyTorch or TensorFlow.
Basic knowledge of blockchain technology and smart contract development is advantageous.
Exceptional analytical skills, problem-solving abilities, and adaptability in a fast-paced, pioneering startup environment.
Excellent written and verbal communication skills in English.
Bonus Points
Previous research or project involvement in developing AI agents or automated security analysis tools.
Exposure to security audit methodologies and vulnerability assessment, particularly within blockchain or smart contract spheres.
Familiarity with blockchain programming languages (e.g., Solidity) and platforms (e.g., Ethereum).
Contributions to top conferences/journals in AI, NLP, or cybersecurity.
Demonstrated capability to translate research insights into practical, production-ready tools.
Target compensation for this role, if based in the US, ranges from $6,000 to $8,000 monthly. The final compensation offered will be predicated on the skills and experience exhibited by eligible candidates.
CertiK welcomes applications for this role continuously.
CertiK provides comprehensive benefits such as medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, alongside flexible paid time off and holidays. For business development sales roles, CertiK also offers a variable commission program.
In compliance with federal regulations, all recruited personnel will be required to authenticate identity and eligibility to work in the US, duly completing the necessary form at the time of hiring.
CertiK remains committed to maintaining an unbiased recruitment process, refraining from any form of discrimination based on age, race, creed, religion, gender, sexual orientation, medical condition, national origin, genetics, military status, or any other legally impermissible criterion during hiring decisions.
CertiK will review applications from candidates with criminal histories in compliance with applicable local and federal directives.
All team members at CertiK are expected to actively champion diversity within their teams and the organization at large.
CertiK
Blockchain Security Expert - Anti Defect Track
USA
USA
Full time
Remote
About the Company
Founded in 2018 by professors from Yale University and Columbia University, CertiK is at the forefront of blockchain security, leveraging top-notch AI technology to secure and monitor blockchain protocols and smart contracts. Their goal is to safeguard the cyber world and bring cutting-edge innovations to enterprise applications, ensuring security and correctness in mission-critical operations. CertiK has gained significant trust in the blockchain security sector and is experiencing rapid growth, with high-profile clients and investors on board.
About the Position
As a Security Engineer at CertiK, the main focus will be on contributing to the company's security-related services at the intersection of cybersecurity and blockchain technology. Responsibilities include participating in security reviews, audits of smart contracts and blockchains, penetration testing, and verification processes. The role also involves identifying and analyzing vulnerabilities in smart contracts, developing feature code analysis tools, and staying up-to-date with the latest technology trends to enhance CertiK's security offerings.
Responsibilities
Conduct audits for blockchain smart contracts, detecting and addressing security vulnerabilities.
Define attack models for blockchain security evaluations.
Develop tools for feature code analysis based on extracted insights from exploited code.
Stay informed on analysis tools and emerging technologies in the sector.
Requirements
Hold a bachelor’s degree or higher in a science or engineering field, along with a minimum of 3 years of work experience.
Proficiency in languages like Solidity, Go, Rust, C++, Python, or Node.js is required, as well as a strong grasp of common algorithms.
Familiarity with fundamental information security concepts is essential.
Ability to operate effectively in an English-language working environment with strong communication skills.
Passion for blockchain technology and a willingness to continuously learn and adapt.
Bonus Points
Experience with maintaining or developing production pipelines.
Knowledge of static code analysis methods like Syntax Analysis, Semantic Analysis, and Taint Analysis.
Exposure to popular blockchain platforms such as Ethereum, Hyperledger, and Cosmos.
Previous experience with blockchain smart contracts, security audits, and associated best practices.
Hands-on experience evaluating risks for blockchain projects or analyzing on-chain security events.
The expected annual salary range for this position is $90,000 - $150,000, with the final compensation depending on the candidate's skills and experience. CertiK offers a comprehensive benefits package, including medical, vision, and dental insurance, a 401(k) plan, life insurance, flexible paid time off, and more.
CertiK is an equal opportunity employer, committed to diversity and inclusion in the workplace. Candidates with criminal histories will also be considered based on local and federal regulations.
Founded in 2018 by professors from Yale University and Columbia University, CertiK is at the forefront of blockchain security, leveraging top-notch AI technology to secure and monitor blockchain protocols and smart contracts. Their goal is to safeguard the cyber world and bring cutting-edge innovations to enterprise applications, ensuring security and correctness in mission-critical operations. CertiK has gained significant trust in the blockchain security sector and is experiencing rapid growth, with high-profile clients and investors on board.
About the Position
As a Security Engineer at CertiK, the main focus will be on contributing to the company's security-related services at the intersection of cybersecurity and blockchain technology. Responsibilities include participating in security reviews, audits of smart contracts and blockchains, penetration testing, and verification processes. The role also involves identifying and analyzing vulnerabilities in smart contracts, developing feature code analysis tools, and staying up-to-date with the latest technology trends to enhance CertiK's security offerings.
Responsibilities
Conduct audits for blockchain smart contracts, detecting and addressing security vulnerabilities.
Define attack models for blockchain security evaluations.
Develop tools for feature code analysis based on extracted insights from exploited code.
Stay informed on analysis tools and emerging technologies in the sector.
Requirements
Hold a bachelor’s degree or higher in a science or engineering field, along with a minimum of 3 years of work experience.
Proficiency in languages like Solidity, Go, Rust, C++, Python, or Node.js is required, as well as a strong grasp of common algorithms.
Familiarity with fundamental information security concepts is essential.
Ability to operate effectively in an English-language working environment with strong communication skills.
Passion for blockchain technology and a willingness to continuously learn and adapt.
Bonus Points
Experience with maintaining or developing production pipelines.
Knowledge of static code analysis methods like Syntax Analysis, Semantic Analysis, and Taint Analysis.
Exposure to popular blockchain platforms such as Ethereum, Hyperledger, and Cosmos.
Previous experience with blockchain smart contracts, security audits, and associated best practices.
Hands-on experience evaluating risks for blockchain projects or analyzing on-chain security events.
The expected annual salary range for this position is $90,000 - $150,000, with the final compensation depending on the candidate's skills and experience. CertiK offers a comprehensive benefits package, including medical, vision, and dental insurance, a 401(k) plan, life insurance, flexible paid time off, and more.
CertiK is an equal opportunity employer, committed to diversity and inclusion in the workplace. Candidates with criminal histories will also be considered based on local and federal regulations.
CertiK
Software Engineer (Engineer III to Principal) - Formal Methods
New York, USA +2
New York, USA +2
Full time
Remote
** Why Us?**
In a world witnessing tremendous innovation fueled by blockchain technology, ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount. CertiK, a leading blockchain security company, is dedicated to securing the digital space by leveraging cutting-edge academic techniques to safeguard blockchain code. Join us in our mission to develop automated analyses for provably secure and correct blockchain applications.
What You Will Do
As a Research Software Engineer at CertiK, you will be responsible for designing and implementing tools that autonomously verify the accuracy of smart contracts and detect security vulnerabilities and bugs in them. Various positions are available at different seniority levels, with titles and responsibilities aligned with experience and background.
Working alongside a diverse team of programming language experts, you will contribute to the creation of tools based on techniques like symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in all aspects of tool development, from conception to enhancements, in a collaborative and supportive environment that encourages continuous learning and professional growth.
About You
You possess a background in programming language theory and automated reasoning and thrive on applying theoretical computer science outcomes to practical solutions. You excel in solving complex computational challenges and have a history of delivering impactful results that enhance user workflows. Collaboration is key to you, as you enjoy exchanging ideas, engaging in group brainstorming, and providing and receiving constructive feedback. You are adaptable and understand the dynamic nature of a startup environment, where versatility is essential.
Responsibilities
Enhance automated program verification tools and foster the development of new tools
Refine algorithms for symbolic software model checking, such as BMC, CEGAR, and IC3/PDR
Develop translators for diverse input languages into optimized models for automated analysis
Define new security properties for smart contracts and integrate them into verification tools
Collaborate closely with software engineers to drive tool development and problem-solving efforts
Engage in the complete software lifecycle, including analysis, design, testing, operations, and customer support
Required Qualifications
Master's Degree in Computer Science or equivalent experience
Minimum of 4 years of software development experience
At least 2 years of experience in model checking, formal verification, SAT/SMT solving, or related fields
Proficiency in fundamental computer science concepts
Preferred Qualifications
Ph.D. in automated reasoning or related discipline
Record of publications in conferences like POPL, CAV, and TACAS
Familiarity with functional programming languages like OCaml or Haskell
Strong problem-solving skills and a willingness to learn and collaborate
Previous experience in a professional software development setting
About the Company
Established in 2018 by Yale University and Columbia University professors, CertiK is a pioneer in blockchain security, utilizing advanced technology to safeguard blockchain protocols and smart contracts. With a commitment to enhancing security across the digital realm, CertiK integrates cutting-edge academic innovations into enterprise solutions, enabling the development of secure and accurate mission-critical applications.
Compensation
The targeted annual base salary for this role in the U.S. ranges from $115,000 to $230,000. The actual salary offered will depend on the candidate's skills and background.
At CertiK, full-time employees receive comprehensive benefits, including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, and flexible paid time off. The company also offers a variable commission program for certain roles.
CertiK adheres to federal employment regulations and maintains a commitment to equal opportunity employment, welcoming applicants without bias based on various characteristics.
All CertiK team members are encouraged to actively promote diversity within their teams and the organization as a whole.
In a world witnessing tremendous innovation fueled by blockchain technology, ensuring the security and correctness of blockchain code, including protocols and smart contracts, is paramount. CertiK, a leading blockchain security company, is dedicated to securing the digital space by leveraging cutting-edge academic techniques to safeguard blockchain code. Join us in our mission to develop automated analyses for provably secure and correct blockchain applications.
What You Will Do
As a Research Software Engineer at CertiK, you will be responsible for designing and implementing tools that autonomously verify the accuracy of smart contracts and detect security vulnerabilities and bugs in them. Various positions are available at different seniority levels, with titles and responsibilities aligned with experience and background.
Working alongside a diverse team of programming language experts, you will contribute to the creation of tools based on techniques like symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will engage in all aspects of tool development, from conception to enhancements, in a collaborative and supportive environment that encourages continuous learning and professional growth.
About You
You possess a background in programming language theory and automated reasoning and thrive on applying theoretical computer science outcomes to practical solutions. You excel in solving complex computational challenges and have a history of delivering impactful results that enhance user workflows. Collaboration is key to you, as you enjoy exchanging ideas, engaging in group brainstorming, and providing and receiving constructive feedback. You are adaptable and understand the dynamic nature of a startup environment, where versatility is essential.
Responsibilities
Enhance automated program verification tools and foster the development of new tools
Refine algorithms for symbolic software model checking, such as BMC, CEGAR, and IC3/PDR
Develop translators for diverse input languages into optimized models for automated analysis
Define new security properties for smart contracts and integrate them into verification tools
Collaborate closely with software engineers to drive tool development and problem-solving efforts
Engage in the complete software lifecycle, including analysis, design, testing, operations, and customer support
Required Qualifications
Master's Degree in Computer Science or equivalent experience
Minimum of 4 years of software development experience
At least 2 years of experience in model checking, formal verification, SAT/SMT solving, or related fields
Proficiency in fundamental computer science concepts
Preferred Qualifications
Ph.D. in automated reasoning or related discipline
Record of publications in conferences like POPL, CAV, and TACAS
Familiarity with functional programming languages like OCaml or Haskell
Strong problem-solving skills and a willingness to learn and collaborate
Previous experience in a professional software development setting
About the Company
Established in 2018 by Yale University and Columbia University professors, CertiK is a pioneer in blockchain security, utilizing advanced technology to safeguard blockchain protocols and smart contracts. With a commitment to enhancing security across the digital realm, CertiK integrates cutting-edge academic innovations into enterprise solutions, enabling the development of secure and accurate mission-critical applications.
Compensation
The targeted annual base salary for this role in the U.S. ranges from $115,000 to $230,000. The actual salary offered will depend on the candidate's skills and background.
At CertiK, full-time employees receive comprehensive benefits, including medical, vision, and dental insurance, a 401(k) plan with company matching, life insurance, and flexible paid time off. The company also offers a variable commission program for certain roles.
CertiK adheres to federal employment regulations and maintains a commitment to equal opportunity employment, welcoming applicants without bias based on various characteristics.
All CertiK team members are encouraged to actively promote diversity within their teams and the organization as a whole.
CertiK
IT/Blockchain Infrastructure Engineer
USA
USA
Full time
Remote
Introduction:
Founded by professors from prestigious universities, CertiK is a leading blockchain security company that leverages advanced AI technology to secure blockchain protocols and smart contracts. CertiK is dedicated to enhancing cyber security through innovative solutions derived from academic research. They are a rapidly growing and trusted firm serving renowned clients and backed by influential investors in the industry.
*
CertiK is looking for a qualified IT/Blockchain Infrastructure Engineer to join their team. The role involves designing, implementing, and maintaining cloud infrastructure and IT services to ensure optimal performance and security. The selected candidate will collaborate with various teams to address the organization's technological and operational requirements.
Responsibilities:
Design and oversee blockchain infrastructure, including validator and data nodes, and related services
Monitor system performance, resolve issues, and ensure high availability and reliability
Implement security measures to safeguard data and systems
Support fundamental IT services
Conduct routine system backups and disaster recovery planning
Document infrastructure configurations and processes
Stay updated on emerging technologies to propose enhancements
Requirements:
Bachelor’s degree in Computer Science, Information Technology, or related field
Demonstrated experience in maintaining Blockchain infrastructure
Previous experience as an IT/Infrastructure Engineer
Proficiency in server management and cloud technologies (e.g., AWS, Alicloud)
Knowledge of scripting languages and automation tools
Strong problem-solving skills and attention to detail
Excellent communication and teamwork skills
Salary Range:
The annual salary for this role ranges from $70,000 to $120,000 based on the candidate’s skills and experience.
Application Process:
Applications for this position are accepted continuously.
Benefits:
CertiK offers comprehensive benefits for full-time employees, including medical, vision, and dental insurance, 401(k) plan with matching, life insurance, flexible paid time off, and more.
Equal Opportunity Employer:
CertiK is committed to equal employment opportunities and does not discriminate against applicants based on various factors in accordance with federal, state, and local regulations. Qualified candidates with criminal histories will be considered for employment as required by law.
Diversity and Inclusion:
CertiK expects all employees to actively promote diversity within the teams and the company.
Founded by professors from prestigious universities, CertiK is a leading blockchain security company that leverages advanced AI technology to secure blockchain protocols and smart contracts. CertiK is dedicated to enhancing cyber security through innovative solutions derived from academic research. They are a rapidly growing and trusted firm serving renowned clients and backed by influential investors in the industry.
*
CertiK is looking for a qualified IT/Blockchain Infrastructure Engineer to join their team. The role involves designing, implementing, and maintaining cloud infrastructure and IT services to ensure optimal performance and security. The selected candidate will collaborate with various teams to address the organization's technological and operational requirements.
Responsibilities:
Design and oversee blockchain infrastructure, including validator and data nodes, and related services
Monitor system performance, resolve issues, and ensure high availability and reliability
Implement security measures to safeguard data and systems
Support fundamental IT services
Conduct routine system backups and disaster recovery planning
Document infrastructure configurations and processes
Stay updated on emerging technologies to propose enhancements
Requirements:
Bachelor’s degree in Computer Science, Information Technology, or related field
Demonstrated experience in maintaining Blockchain infrastructure
Previous experience as an IT/Infrastructure Engineer
Proficiency in server management and cloud technologies (e.g., AWS, Alicloud)
Knowledge of scripting languages and automation tools
Strong problem-solving skills and attention to detail
Excellent communication and teamwork skills
Salary Range:
The annual salary for this role ranges from $70,000 to $120,000 based on the candidate’s skills and experience.
Application Process:
Applications for this position are accepted continuously.
Benefits:
CertiK offers comprehensive benefits for full-time employees, including medical, vision, and dental insurance, 401(k) plan with matching, life insurance, flexible paid time off, and more.
Equal Opportunity Employer:
CertiK is committed to equal employment opportunities and does not discriminate against applicants based on various factors in accordance with federal, state, and local regulations. Qualified candidates with criminal histories will be considered for employment as required by law.
Diversity and Inclusion:
CertiK expects all employees to actively promote diversity within the teams and the company.
CertiK
Security Engineer (Penetration Testing)
USA
USA
Full time
Remote
Why Us?
CertiK is a forward-thinking leader in blockchain security, using advanced AI technology to safeguard and monitor blockchain protocols and smart contracts. Established in 2018 by experts from distinguished universities, CertiK is dedicated to securing the web3 world by merging academic innovations with enterprise solutions.
About the Role
The key responsibility of this position revolves around CertiK's security services. Combining cybersecurity with blockchain expertise, CertiK's security services encompass consultancy, reviews, auditing of smart contracts and blockchains, verification of smart contracts, penetration testing, and more. We seek an individual with a strong interest in application security and penetration testing. This challenging full-time role entails various tasks such as hacking, threat modeling, auditing, and enhancing application security. Alongside client interactions, you will have numerous opportunities to contribute to our research and development initiatives, thereby elevating blockchain security standards.
Responsibilities
Conduct security assessments on web, mobile, thick client applications, and browser extensions.
Execute external and internal network penetration tests.
Collaborate with external blockchain developers to audit code and secure products like smart contracts and dApps.
Generate detailed pentest reports tailored for both technical and non-technical audiences.
Engage in Research and development to create innovative techniques, tools, and methodologies for pentesting applications in the Blockchain sector.
Contribute to the community by developing tools, delivering presentations, and creating blog posts.
Requirements
Enthusiasm for Cryptocurrency, DeFi, and Blockchain.
Proficiency in Solidity programming language and smart contracts.
At least 3 years of experience in application security and penetration testing.
Bachelor's degree in Computer Science, Security Information, or related field (Master's or PhD preferred).
Proficiency in programming using scripting languages like Python, Perl, Ruby, and Bash.
Deep comprehension of cryptography.
Strong verbal and written communication skills.
Bonus Points
Possession of certifications like OSCP, OSWE, OSCE, GWAPT, etc.
Familiarity with cloud platforms such as AWS, Azure, and GCP.
Experience in smart contract security auditing.
Participation in bug bounty programs.
Publication of security-related blog posts.
Speaking engagements at security conferences or local meetups.
About the Company
CertiK, a fast-growing and reputable entity in blockchain security, boasts a rich history of collaborating with prominent Enterprise clients, securing substantial digital assets, and identifying numerous vulnerabilities in blockchain code. The company's stellar performance and track record have attracted investments from notable investors.
Compensation
The anticipated annual salary range for this role in the US is $100,000 - $140,000, contingent upon the skills and experience of potential candidates.
In accordance with federal regulations, all hires must verify identity and work eligibility in the US.
CertiK is an equal opportunity employer, committed to fostering diversity and inclusivity among its workforce. Hiring decisions are made without discrimination based on various protected characteristics.
CertiK employees are encouraged to actively support diversity within their teams and the Company.
CertiK is a forward-thinking leader in blockchain security, using advanced AI technology to safeguard and monitor blockchain protocols and smart contracts. Established in 2018 by experts from distinguished universities, CertiK is dedicated to securing the web3 world by merging academic innovations with enterprise solutions.
About the Role
The key responsibility of this position revolves around CertiK's security services. Combining cybersecurity with blockchain expertise, CertiK's security services encompass consultancy, reviews, auditing of smart contracts and blockchains, verification of smart contracts, penetration testing, and more. We seek an individual with a strong interest in application security and penetration testing. This challenging full-time role entails various tasks such as hacking, threat modeling, auditing, and enhancing application security. Alongside client interactions, you will have numerous opportunities to contribute to our research and development initiatives, thereby elevating blockchain security standards.
Responsibilities
Conduct security assessments on web, mobile, thick client applications, and browser extensions.
Execute external and internal network penetration tests.
Collaborate with external blockchain developers to audit code and secure products like smart contracts and dApps.
Generate detailed pentest reports tailored for both technical and non-technical audiences.
Engage in Research and development to create innovative techniques, tools, and methodologies for pentesting applications in the Blockchain sector.
Contribute to the community by developing tools, delivering presentations, and creating blog posts.
Requirements
Enthusiasm for Cryptocurrency, DeFi, and Blockchain.
Proficiency in Solidity programming language and smart contracts.
At least 3 years of experience in application security and penetration testing.
Bachelor's degree in Computer Science, Security Information, or related field (Master's or PhD preferred).
Proficiency in programming using scripting languages like Python, Perl, Ruby, and Bash.
Deep comprehension of cryptography.
Strong verbal and written communication skills.
Bonus Points
Possession of certifications like OSCP, OSWE, OSCE, GWAPT, etc.
Familiarity with cloud platforms such as AWS, Azure, and GCP.
Experience in smart contract security auditing.
Participation in bug bounty programs.
Publication of security-related blog posts.
Speaking engagements at security conferences or local meetups.
About the Company
CertiK, a fast-growing and reputable entity in blockchain security, boasts a rich history of collaborating with prominent Enterprise clients, securing substantial digital assets, and identifying numerous vulnerabilities in blockchain code. The company's stellar performance and track record have attracted investments from notable investors.
Compensation
The anticipated annual salary range for this role in the US is $100,000 - $140,000, contingent upon the skills and experience of potential candidates.
In accordance with federal regulations, all hires must verify identity and work eligibility in the US.
CertiK is an equal opportunity employer, committed to fostering diversity and inclusivity among its workforce. Hiring decisions are made without discrimination based on various protected characteristics.
CertiK employees are encouraged to actively support diversity within their teams and the Company.
CertiK
Business Development Associate (Remote, Europe)
Europe
Europe
Full time
Remote
About the Company
Join a rapidly growing and reputable blockchain security company, CertiK, recognized as a market leader in the industry. With an impressive track record of working with over 3,200 Enterprise clients, securing billions of dollars in digital assets, and identifying numerous vulnerabilities in blockchain code, CertiK stands out as a trusted partner. Noteworthy clients such as Aave, Polygon, Yearn, and Chiliz testify to CertiK's renowned reputation.
CertiK boasts a notable list of investors, including Insight Partners, Sequoia, Tiger Global, and others.
About You
Ideal candidates are proactive self-starters driven by solving challenging problems and embracing the unpredictability of startup environments. Being versatile and adaptable, you find motivation in taking on various roles within the company. A commitment to personal growth and continual improvement defines your work ethic. As part of a mission to establish a world-class company, you are enthusiastic about contributing to a more secure software ecosystem.
Responsibilities
Cultivate existing relationships and identify avenues for expansion
Coordinate and spearhead advertising campaigns from launch to performance evaluation
Deliver product demos and presentations digitally and in person
Engage with diverse internal and external stakeholders
Requirements
Hold a BS in Computer Science, Economics, Marketing, or related fields
Possess a minimum of 1 year BDR/SDR experience in enterprise SaaS/Blockchain
Demonstrate proficiency in lead qualification and opportunity development to establish a strong pipeline
Proactively discover new opportunities through platforms like discord and telegram
Ability to comprehend and effectively present new products and technologies focusing on their value proposition
Display intellectual curiosity and a passion for continuous learning
Take ownership of cultivating strategic relationships and partnerships aligned with the product roadmap
Adapt quickly to evolving environments and challenges
Willingness to take risks and promptly acknowledge and learn from failures
Bonus Points
Previous experience in financial, blockchain, cybersecurity, or crypto industries
Enthusiasm for Cryptocurrency, Defi, and Blockchain
The position remains open for applications at CertiK. Competitive benefits such as medical, vision, and dental insurance, along with a range of other perks, are available to full-time employees. CertiK operates as an equal opportunity employer, embracing diversity within its workforce.
Join a rapidly growing and reputable blockchain security company, CertiK, recognized as a market leader in the industry. With an impressive track record of working with over 3,200 Enterprise clients, securing billions of dollars in digital assets, and identifying numerous vulnerabilities in blockchain code, CertiK stands out as a trusted partner. Noteworthy clients such as Aave, Polygon, Yearn, and Chiliz testify to CertiK's renowned reputation.
CertiK boasts a notable list of investors, including Insight Partners, Sequoia, Tiger Global, and others.
About You
Ideal candidates are proactive self-starters driven by solving challenging problems and embracing the unpredictability of startup environments. Being versatile and adaptable, you find motivation in taking on various roles within the company. A commitment to personal growth and continual improvement defines your work ethic. As part of a mission to establish a world-class company, you are enthusiastic about contributing to a more secure software ecosystem.
Responsibilities
Cultivate existing relationships and identify avenues for expansion
Coordinate and spearhead advertising campaigns from launch to performance evaluation
Deliver product demos and presentations digitally and in person
Engage with diverse internal and external stakeholders
Requirements
Hold a BS in Computer Science, Economics, Marketing, or related fields
Possess a minimum of 1 year BDR/SDR experience in enterprise SaaS/Blockchain
Demonstrate proficiency in lead qualification and opportunity development to establish a strong pipeline
Proactively discover new opportunities through platforms like discord and telegram
Ability to comprehend and effectively present new products and technologies focusing on their value proposition
Display intellectual curiosity and a passion for continuous learning
Take ownership of cultivating strategic relationships and partnerships aligned with the product roadmap
Adapt quickly to evolving environments and challenges
Willingness to take risks and promptly acknowledge and learn from failures
Bonus Points
Previous experience in financial, blockchain, cybersecurity, or crypto industries
Enthusiasm for Cryptocurrency, Defi, and Blockchain
The position remains open for applications at CertiK. Competitive benefits such as medical, vision, and dental insurance, along with a range of other perks, are available to full-time employees. CertiK operates as an equal opportunity employer, embracing diversity within its workforce.
CertiK
Business Development Associate (Remote, Dubai)
Dubai, United Arab Emirates
Dubai, United Arab Emirates
Full time
Remote
About the Company:
A leading company in blockchain security, CertiK has established a strong reputation for its rapid growth and reliability. Having served over 3,200 Enterprise clients, securing more than $310 billion in digital assets, and identifying over 60,000 vulnerabilities in blockchain code, CertiK stands out as a market leader. Noteworthy clients include Aave, Polygon, Yearn, and Chiliz. The company has garnered support from investors such as Insight Partners, Sequoia, Tiger Global, and various others.
About You:
We seek a self-motivated individual who thrives in challenging environments. Being comfortable with ambiguity and willing to undertake diverse responsibilities typical in startup settings is crucial. The ideal candidate is driven by accountability and a commitment to personal and collective growth. Aiming to contribute towards establishing a top-tier organization dedicated to enhancing software security on a global scale is a key motivator.
Responsibilities:
Nurture existing relationships and identify avenues for expansion
Coordinate and oversee advertising campaigns from inception to reporting on performance
Deliver web and in-person presentations as well as product demonstrations
Maintain effective communication with a wide array of internal and external stakeholders
Requirements:
Bachelor's degree in Computer Science, Economics, Marketing, or related fields
Minimum of 1 year of experience as a Business Development Representative or Sales Development Representative in enterprise SaaS or blockchain
Successful track record in lead qualification and opportunity development
Proactive approach towards exploring novel lead generation methods, e.g., utilizing platforms like Discord or Telegram
Ability to comprehend and effectively present new products and technology, emphasizing value propositions
Marked curiosity and a continual drive towards learning
Willingness to assume responsibility for executing strategic relationships and partnerships aligned with the product roadmap
Capacity to adapt swiftly in a fast-paced work environment
Comfort with failure and a promptness in taking ownership of mistakes
Bonus Points:
Prior exposure to financial, blockchain, cybersecurity, or crypto industries
Enthusiasm for Cryptocurrency, DeFi, and Blockchain
CertiK extends benefits including medical, vision, and dental insurance, retirement plan with company matching, life and accidental death/dismemberment insurance, health savings account, flexible spending account, as well as various other perks to full-time employees. Additionally, a competitive commission structure is in place for business development sales roles.
Federal regulations mandate verification of identity and eligibility to work in the U.S. upon hiring. CertiK is committed to fostering an inclusive workplace environment where individuals are assessed based on merit without discrimination.
Qualified applicants with criminal backgrounds will be considered for employment in accordance with local and federal statutes. CertiK promotes diversity and expects employees to actively support diversity initiatives within the team and the organization.
A leading company in blockchain security, CertiK has established a strong reputation for its rapid growth and reliability. Having served over 3,200 Enterprise clients, securing more than $310 billion in digital assets, and identifying over 60,000 vulnerabilities in blockchain code, CertiK stands out as a market leader. Noteworthy clients include Aave, Polygon, Yearn, and Chiliz. The company has garnered support from investors such as Insight Partners, Sequoia, Tiger Global, and various others.
About You:
We seek a self-motivated individual who thrives in challenging environments. Being comfortable with ambiguity and willing to undertake diverse responsibilities typical in startup settings is crucial. The ideal candidate is driven by accountability and a commitment to personal and collective growth. Aiming to contribute towards establishing a top-tier organization dedicated to enhancing software security on a global scale is a key motivator.
Responsibilities:
Nurture existing relationships and identify avenues for expansion
Coordinate and oversee advertising campaigns from inception to reporting on performance
Deliver web and in-person presentations as well as product demonstrations
Maintain effective communication with a wide array of internal and external stakeholders
Requirements:
Bachelor's degree in Computer Science, Economics, Marketing, or related fields
Minimum of 1 year of experience as a Business Development Representative or Sales Development Representative in enterprise SaaS or blockchain
Successful track record in lead qualification and opportunity development
Proactive approach towards exploring novel lead generation methods, e.g., utilizing platforms like Discord or Telegram
Ability to comprehend and effectively present new products and technology, emphasizing value propositions
Marked curiosity and a continual drive towards learning
Willingness to assume responsibility for executing strategic relationships and partnerships aligned with the product roadmap
Capacity to adapt swiftly in a fast-paced work environment
Comfort with failure and a promptness in taking ownership of mistakes
Bonus Points:
Prior exposure to financial, blockchain, cybersecurity, or crypto industries
Enthusiasm for Cryptocurrency, DeFi, and Blockchain
CertiK extends benefits including medical, vision, and dental insurance, retirement plan with company matching, life and accidental death/dismemberment insurance, health savings account, flexible spending account, as well as various other perks to full-time employees. Additionally, a competitive commission structure is in place for business development sales roles.
Federal regulations mandate verification of identity and eligibility to work in the U.S. upon hiring. CertiK is committed to fostering an inclusive workplace environment where individuals are assessed based on merit without discrimination.
Qualified applicants with criminal backgrounds will be considered for employment in accordance with local and federal statutes. CertiK promotes diversity and expects employees to actively support diversity initiatives within the team and the organization.
CertiK
Business Development Associate (US, Silicon Valley)
Bengaluru, India +1
Bengaluru, India +1
Full time
Remote
About the Company
CertiK is a reputable and rapidly growing company in the field of blockchain security. With a strong track record, we have provided services to over 3,200 enterprise clients, safeguarding digital assets worth over $310 billion. Our expertise includes identifying and resolving more than 60,000 vulnerabilities in blockchain code. We have partnered with renowned projects such as Aave, Polygon, Terra, Yearn, and Chiliz. Our investors include leading firms such as Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, and Danhua Capital.
About You
We are seeking a motivated self-starter who enjoys taking on challenges. As a startup company, you should be comfortable with uncertainty and adaptable enough to handle multiple responsibilities. Being accountable, you are passionate about personal and professional growth. Your goal is to contribute to building a world-class company that provides secure software infrastructure.
Responsibilities
Manage and foster existing relationships while identifying opportunities for growth
Coordinate and lead advertising campaigns, including preparation, launch, and performance reporting
Conduct presentations and product demos both online and in person
Communicate effectively with various internal and external stakeholders
Requirements
Bachelor's degree in Computer Science, Economics, Marketing, Business, or a related field
Minimum of 1 year of experience as a BDR/SDR in the enterprise SaaS/Blockchain industry
Proven ability to build a pipeline by qualifying leads and developing opportunities
Initiative to explore new avenues for finding opportunities, such as discord and telegram
Ability to quickly grasp and pitch new products and technologies, focusing on their value proposition
Naturally curious with a strong desire to learn
Take ownership of strategic and value-driven relationships and partnerships aligned with our product roadmap
Ability to adapt readily to a fast-paced and changing environment
Willingness to take risks and promptly accept accountability for any failures
Bonus Points
Previous experience in the financial, blockchain, cybersecurity, or crypto industries
Strong passion for Cryptocurrency/Defi/Blockchain
Compensation: The target base salary compensation for this role is $50,000 - $100,000 for candidates working in the US. The exact compensation will be determined based on the skills and experience of qualified candidates.
CertiK processes applications for this position on an ongoing basis.
CertiK offers comprehensive benefits to full-time employees, including medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for business development sales roles.
CertiK is committed to ensuring equal opportunity in employment. We do not discriminate against applicants or employees based on age, race, color, creed, religion, sex, sexual orientation, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military or veteran status, or any other basis prohibited by applicable federal, state, or local law.
CertiK considers applicants with criminal histories in accordance with local and federal requirements.
All CertiK employees are expected to actively promote diversity within their teams and the company.
CertiK is a reputable and rapidly growing company in the field of blockchain security. With a strong track record, we have provided services to over 3,200 enterprise clients, safeguarding digital assets worth over $310 billion. Our expertise includes identifying and resolving more than 60,000 vulnerabilities in blockchain code. We have partnered with renowned projects such as Aave, Polygon, Terra, Yearn, and Chiliz. Our investors include leading firms such as Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, and Danhua Capital.
About You
We are seeking a motivated self-starter who enjoys taking on challenges. As a startup company, you should be comfortable with uncertainty and adaptable enough to handle multiple responsibilities. Being accountable, you are passionate about personal and professional growth. Your goal is to contribute to building a world-class company that provides secure software infrastructure.
Responsibilities
Manage and foster existing relationships while identifying opportunities for growth
Coordinate and lead advertising campaigns, including preparation, launch, and performance reporting
Conduct presentations and product demos both online and in person
Communicate effectively with various internal and external stakeholders
Requirements
Bachelor's degree in Computer Science, Economics, Marketing, Business, or a related field
Minimum of 1 year of experience as a BDR/SDR in the enterprise SaaS/Blockchain industry
Proven ability to build a pipeline by qualifying leads and developing opportunities
Initiative to explore new avenues for finding opportunities, such as discord and telegram
Ability to quickly grasp and pitch new products and technologies, focusing on their value proposition
Naturally curious with a strong desire to learn
Take ownership of strategic and value-driven relationships and partnerships aligned with our product roadmap
Ability to adapt readily to a fast-paced and changing environment
Willingness to take risks and promptly accept accountability for any failures
Bonus Points
Previous experience in the financial, blockchain, cybersecurity, or crypto industries
Strong passion for Cryptocurrency/Defi/Blockchain
Compensation: The target base salary compensation for this role is $50,000 - $100,000 for candidates working in the US. The exact compensation will be determined based on the skills and experience of qualified candidates.
CertiK processes applications for this position on an ongoing basis.
CertiK offers comprehensive benefits to full-time employees, including medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for business development sales roles.
CertiK is committed to ensuring equal opportunity in employment. We do not discriminate against applicants or employees based on age, race, color, creed, religion, sex, sexual orientation, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military or veteran status, or any other basis prohibited by applicable federal, state, or local law.
CertiK considers applicants with criminal histories in accordance with local and federal requirements.
All CertiK employees are expected to actively promote diversity within their teams and the company.