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
Senior Security Engineer
New York, USA
New York, USA
Full time
Office
About the Company
CertiK is a reputable Web3 security company founded in New York City in 2017. The company specializes in securing blockchain protocols, smart contracts, and decentralized applications through advanced security research, formal verification, and AI-powered technology. CertiK offers comprehensive security solutions, including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent digital asset projects.
CertiK has a global presence, serving numerous enterprise clients and Web3 projects worldwide. The company has a diverse international team across North America, Asia, and Europe and is supported by renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital. CertiK's contributions to blockchain security innovation have been acknowledged by prestigious organizations such as the World Economic Forum and CB Insights.
About the Role
The primary focus of this role is to oversee CertiK's security services, which involve cybersecurity and blockchain integration. Responsibilities include security consulting, audits of smart contracts and blockchains, security reviews, formal verification of smart contracts, penetration testing, and more. We seek a candidate with a strong interest in application security and penetration testing. This is a dynamic full-time position suited for individuals passionate about enhancing application security across various domains. Apart from client engagements, there will be ample opportunities to contribute to research and development initiatives aimed at elevating blockchain security standards.
Responsibilities
Collaborate with external blockchain developers to conduct security audits and ensure the security of products like smart contracts, protocols, and applications.
Define and enforce security policies, manage vulnerabilities, address security incidents and exploits, and generate comprehensive analysis reports.
Monitor security breaches, shield systems against cyberattacks, and offer expert technical advice on cybersecurity.
Perform penetration testing on web and mobile applications (Android and iOS), as well as conduct internal and external network security assessments.
Review source code and security design, perform threat modeling, and provide guidance to software development teams.
Contribute to the enhancement of internal security tools and devise new tools that adhere to best engineering practices to bolster security services.
Utilize static and dynamic analyses to identify vulnerabilities in smart contracts, propose appropriate solutions, assess sandbox, VM, network, and distributed-system code for weaknesses, and develop PoC exploits.
Engage in security research, publish findings through technical blogs, and present at various conferences and tech events to showcase technical expertise and insights.
Requirements
Hold a Master’s degree in Security Informatics, Cybersecurity, or a related field.
Possess in-depth knowledge of solidity, smart contract security, cryptography, and blockchain technology.
Demonstrate technical proficiency in Web3 security, threat and vulnerability management, penetration testing, and security reviews for programs written in languages like Java, JavaScript, Python, C/C++, PHP, and Go.
Have familiarity with cloud platforms such as AWS, Azure, and GCP, and proficiency in Python and JavaScript.
The expected annual salary range for this role is $130,000 to $163,000, depending on the qualifications and experience of candidates. CertiK offers a comprehensive benefits package to full-time employees, including medical, vision, and dental insurance, a 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 roles.
CertiK is an equal opportunity employer, committed to supporting diversity in the workplace and complying with all federal laws regarding employment eligibility. Qualified applicants with criminal histories will be considered in accordance with local and federal regulations.
In the recruitment process, CertiK may utilize artificial intelligence tools to aid in application reviews, resume analysis, and evaluation of responses, though final hiring decisions are made by humans. For more information on data processing, kindly reach out to us.
CertiK is a reputable Web3 security company founded in New York City in 2017. The company specializes in securing blockchain protocols, smart contracts, and decentralized applications through advanced security research, formal verification, and AI-powered technology. CertiK offers comprehensive security solutions, including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent digital asset projects.
CertiK has a global presence, serving numerous enterprise clients and Web3 projects worldwide. The company has a diverse international team across North America, Asia, and Europe and is supported by renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital. CertiK's contributions to blockchain security innovation have been acknowledged by prestigious organizations such as the World Economic Forum and CB Insights.
About the Role
The primary focus of this role is to oversee CertiK's security services, which involve cybersecurity and blockchain integration. Responsibilities include security consulting, audits of smart contracts and blockchains, security reviews, formal verification of smart contracts, penetration testing, and more. We seek a candidate with a strong interest in application security and penetration testing. This is a dynamic full-time position suited for individuals passionate about enhancing application security across various domains. Apart from client engagements, there will be ample opportunities to contribute to research and development initiatives aimed at elevating blockchain security standards.
Responsibilities
Collaborate with external blockchain developers to conduct security audits and ensure the security of products like smart contracts, protocols, and applications.
Define and enforce security policies, manage vulnerabilities, address security incidents and exploits, and generate comprehensive analysis reports.
Monitor security breaches, shield systems against cyberattacks, and offer expert technical advice on cybersecurity.
Perform penetration testing on web and mobile applications (Android and iOS), as well as conduct internal and external network security assessments.
Review source code and security design, perform threat modeling, and provide guidance to software development teams.
Contribute to the enhancement of internal security tools and devise new tools that adhere to best engineering practices to bolster security services.
Utilize static and dynamic analyses to identify vulnerabilities in smart contracts, propose appropriate solutions, assess sandbox, VM, network, and distributed-system code for weaknesses, and develop PoC exploits.
Engage in security research, publish findings through technical blogs, and present at various conferences and tech events to showcase technical expertise and insights.
Requirements
Hold a Master’s degree in Security Informatics, Cybersecurity, or a related field.
Possess in-depth knowledge of solidity, smart contract security, cryptography, and blockchain technology.
Demonstrate technical proficiency in Web3 security, threat and vulnerability management, penetration testing, and security reviews for programs written in languages like Java, JavaScript, Python, C/C++, PHP, and Go.
Have familiarity with cloud platforms such as AWS, Azure, and GCP, and proficiency in Python and JavaScript.
The expected annual salary range for this role is $130,000 to $163,000, depending on the qualifications and experience of candidates. CertiK offers a comprehensive benefits package to full-time employees, including medical, vision, and dental insurance, a 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 roles.
CertiK is an equal opportunity employer, committed to supporting diversity in the workplace and complying with all federal laws regarding employment eligibility. Qualified applicants with criminal histories will be considered in accordance with local and federal regulations.
In the recruitment process, CertiK may utilize artificial intelligence tools to aid in application reviews, resume analysis, and evaluation of responses, though final hiring decisions are made by humans. For more information on data processing, kindly reach out to us.
CertiK
Senior Data Scientist
New York, USA
New York, USA
Full time
Office
About the Company
CertiK is a reputable company rooted in pioneering research at Columbia University and Yale University. They specialize in Web3 security, safeguarding blockchain protocols, smart contracts, and decentralized applications through advanced security research, formal verification, and AI technology. Established in 2017 and based in New York City, CertiK offers comprehensive security solutions, including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent digital asset projects.
Today, CertiK serves numerous enterprise clients and Web3 projects globally, with a diverse international team across North America, Asia, and Europe. The company has garnered support from top investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital and has received accolades from esteemed organizations for its groundbreaking contributions to blockchain security.
About the Role
The key focus of this role is to oversee CertiK’s security services, which lie at the intersection of cybersecurity and blockchain technology. Responsibilities encompass consulting on security matters, conducting security reviews and audits for smart contracts and blockchains, verifying smart contracts, performing penetration tests, and more. They seek an individual with a strong enthusiasm for application security and penetration testing, offering a stimulating full-time position that involves hacking, threat modeling, auditing, and enhancing application security. The role not only involves client interactions but also opportunities for engagement in research and development to elevate blockchain security standards.
Responsibilities
Evaluate codes and secure products for external blockchain developers, including smart contracts, protocols, and applications.
Enforce security policies, handle vulnerabilities, respond to incidents, and generate detailed analysis reports.
Monitor security breaches, safeguard systems from cyber threats, and offer technical cybersecurity consulting.
Perform penetration tests on web/mobile platforms, conduct network security assessments, and examine source code for security flaws.
Collaborate with software development teams to guide security design, conduct threat modeling, and review security aspects.
Contribute to enhancing security services by developing internal security tools and best engineering practices.
Utilize analyses to identify vulnerabilities in smart contracts, propose solutions, and delve into distributed system code to unveil weaknesses.
Actively engage in security research, publish findings, and present at conferences, tech talks, or similar events to showcase expertise in the field.
Requirements
Hold a Master’s degree in Security Informatics, Cybersecurity, or a related field.
Possess profound knowledge of smart contract security, cryptography, and blockchain technology.
Demonstrate expertise in Web3 security, threat management, penetration testing, and security reviews across various programming languages.
Familiarity with cloud platforms like AWS, Azure, or GCP and proficiency in Python and JavaScript.
Salary for this role ranges between $130,000 to $163,000 annually, dependent on candidate skills and experience. Full-time employees at CertiK receive comprehensive benefits including medical, vision, dental insurance, 401(k) with company matching, life insurance, flexible paid time off, and more.
CertiK is committed to promoting diversity and is an equal opportunity employer that does not discriminate based on various factors as outlined in applicable laws. Applicants with criminal histories are considered in accordance with applicable requirements. AI tools may be used in parts of the hiring process to support recruitment activities.
CertiK is a reputable company rooted in pioneering research at Columbia University and Yale University. They specialize in Web3 security, safeguarding blockchain protocols, smart contracts, and decentralized applications through advanced security research, formal verification, and AI technology. Established in 2017 and based in New York City, CertiK offers comprehensive security solutions, including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent digital asset projects.
Today, CertiK serves numerous enterprise clients and Web3 projects globally, with a diverse international team across North America, Asia, and Europe. The company has garnered support from top investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital and has received accolades from esteemed organizations for its groundbreaking contributions to blockchain security.
About the Role
The key focus of this role is to oversee CertiK’s security services, which lie at the intersection of cybersecurity and blockchain technology. Responsibilities encompass consulting on security matters, conducting security reviews and audits for smart contracts and blockchains, verifying smart contracts, performing penetration tests, and more. They seek an individual with a strong enthusiasm for application security and penetration testing, offering a stimulating full-time position that involves hacking, threat modeling, auditing, and enhancing application security. The role not only involves client interactions but also opportunities for engagement in research and development to elevate blockchain security standards.
Responsibilities
Evaluate codes and secure products for external blockchain developers, including smart contracts, protocols, and applications.
Enforce security policies, handle vulnerabilities, respond to incidents, and generate detailed analysis reports.
Monitor security breaches, safeguard systems from cyber threats, and offer technical cybersecurity consulting.
Perform penetration tests on web/mobile platforms, conduct network security assessments, and examine source code for security flaws.
Collaborate with software development teams to guide security design, conduct threat modeling, and review security aspects.
Contribute to enhancing security services by developing internal security tools and best engineering practices.
Utilize analyses to identify vulnerabilities in smart contracts, propose solutions, and delve into distributed system code to unveil weaknesses.
Actively engage in security research, publish findings, and present at conferences, tech talks, or similar events to showcase expertise in the field.
Requirements
Hold a Master’s degree in Security Informatics, Cybersecurity, or a related field.
Possess profound knowledge of smart contract security, cryptography, and blockchain technology.
Demonstrate expertise in Web3 security, threat management, penetration testing, and security reviews across various programming languages.
Familiarity with cloud platforms like AWS, Azure, or GCP and proficiency in Python and JavaScript.
Salary for this role ranges between $130,000 to $163,000 annually, dependent on candidate skills and experience. Full-time employees at CertiK receive comprehensive benefits including medical, vision, dental insurance, 401(k) with company matching, life insurance, flexible paid time off, and more.
CertiK is committed to promoting diversity and is an equal opportunity employer that does not discriminate based on various factors as outlined in applicable laws. Applicants with criminal histories are considered in accordance with applicable requirements. AI tools may be used in parts of the hiring process to support recruitment activities.
CertiK
HR Business Partner
New York, USA
New York, USA
Full time
Office
About the Company
CertiK is a leading Web3 security company that focuses on securing blockchain protocols, smart contracts, and decentralized applications through innovative security research, formal verification, and AI-driven technology. Founded in 2017 and based in New York City, CertiK offers comprehensive security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent projects in the digital asset space.
CertiK serves a wide range of enterprise clients and Web3 projects worldwide, with a globally dispersed team across North America, Asia, and Europe. The company boasts significant investment backing from reputable firms such as Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital. It has also received recognition from esteemed organizations like the World Economic Forum and CB Insights for its advancements in blockchain security.
About the Role
This role primarily focuses on supporting business partnerships and planning by aligning human capital strategies with business objectives. It involves leading HR processes, overseeing HR operations and total rewards administration, and driving talent development and global HR systems adaptation.
Responsibilities
Conduct analysis of team data to optimize team structure, support organizational planning, and enhance talent flow within the organization.
Ensure the integrity of the HRIS system and implement automated workflows and efficient data management practices.
Develop compensation and benefits structures, including designing specialized retirement vehicles and flexible benefit plans.
Provide guidance to managers and employees on multistate employment laws and regulations, resolving associated issues effectively.
Identify team performance issues and create and deliver training programs to enhance employees’ skills, knowledge, and leadership capabilities.
Requirements
Bachelor’s degree in Human Resources Management or a related field.
Strong knowledge of compensation and benefits programs, training and development, and employment law.
Proficient in data analytics to identify and enhance core HR functions.
Excellent skills in HRIS system management and training program design.
Proficiency in SPSS and advanced Excel.
The salary range for this role is $70,000 to $90,000 annually, based on the skills and experience of qualified candidates.
CertiK accepts applications for this position on an ongoing basis.
CertiK offers a comprehensive benefits package to 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, flexible paid time off, holidays, and a variable commission program for business development sales roles.
CertiK is an equal opportunity employer and does not discriminate against any applicant or employee based on various factors.
We use AI tools as part of the hiring process to aid our recruitment team but emphasize that final decisions are made by humans.
CertiK is a leading Web3 security company that focuses on securing blockchain protocols, smart contracts, and decentralized applications through innovative security research, formal verification, and AI-driven technology. Founded in 2017 and based in New York City, CertiK offers comprehensive security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent projects in the digital asset space.
CertiK serves a wide range of enterprise clients and Web3 projects worldwide, with a globally dispersed team across North America, Asia, and Europe. The company boasts significant investment backing from reputable firms such as Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital. It has also received recognition from esteemed organizations like the World Economic Forum and CB Insights for its advancements in blockchain security.
About the Role
This role primarily focuses on supporting business partnerships and planning by aligning human capital strategies with business objectives. It involves leading HR processes, overseeing HR operations and total rewards administration, and driving talent development and global HR systems adaptation.
Responsibilities
Conduct analysis of team data to optimize team structure, support organizational planning, and enhance talent flow within the organization.
Ensure the integrity of the HRIS system and implement automated workflows and efficient data management practices.
Develop compensation and benefits structures, including designing specialized retirement vehicles and flexible benefit plans.
Provide guidance to managers and employees on multistate employment laws and regulations, resolving associated issues effectively.
Identify team performance issues and create and deliver training programs to enhance employees’ skills, knowledge, and leadership capabilities.
Requirements
Bachelor’s degree in Human Resources Management or a related field.
Strong knowledge of compensation and benefits programs, training and development, and employment law.
Proficient in data analytics to identify and enhance core HR functions.
Excellent skills in HRIS system management and training program design.
Proficiency in SPSS and advanced Excel.
The salary range for this role is $70,000 to $90,000 annually, based on the skills and experience of qualified candidates.
CertiK accepts applications for this position on an ongoing basis.
CertiK offers a comprehensive benefits package to 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, flexible paid time off, holidays, and a variable commission program for business development sales roles.
CertiK is an equal opportunity employer and does not discriminate against any applicant or employee based on various factors.
We use AI tools as part of the hiring process to aid our recruitment team but emphasize that final decisions are made by humans.
CertiK
Senior Security Engineer
New York, USA
New York, USA
Full time
Office
About the Company:
CertiK is a pioneering Web3 security company that specializes in securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Established in 2017 and headquartered in New York City, CertiK offers comprehensive security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent projects in the digital asset ecosystem.
CertiK has a diverse international team across North America, Asia, and Europe, serving thousands of enterprise clients and Web3 projects globally. The company has secured backing from renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, receiving recognition from reputable organizations such as the World Economic Forum and CB Insights for its innovative contributions to blockchain security.
About the Role:
As part of CertiK's security team, this role involves overseeing a range of security services that merge cybersecurity and blockchain technologies. Responsibilities include security consulting, reviews, audits of smart contracts and blockchains, verification of smart contracts, penetration testing, and more. The ideal candidate will have a strong interest in application security and penetration testing, with opportunities to engage in research and development to elevate blockchain security standards.
Responsibilities:
Develop and implement robust enterprise-level security solutions to protect internal networks, applications, and infrastructure, ensuring the security and availability of critical systems and data.
Establish and enforce organization-wide security policies and standards, lead vulnerability management, and coordinate incident response efforts across engineering, IT, and compliance teams.
Monitor and respond to real-time security threats, conduct forensic investigations, perform root cause analysis of significant security incidents, and formulate long-term defense strategies.
Conduct comprehensive security assessments on internal and third-party systems, including architecture reviews, endpoint security evaluations, and infrastructure hardening initiatives.
Guide secure development practices by leveraging advanced static and dynamic analysis to identify vulnerabilities and provide remediation guidance to engineering teams.
Undertake threat modeling and risk analysis for high-value systems to proactively detect and mitigate potential attack vectors, influencing system and product architecture.
Design and maintain internal security tools to enhance detection capabilities, streamline response workflows, and improve operational visibility.
Requirements:
Master's degree in Computer Science, Software Engineering, Security Informatics, or a related field.
Demonstrated expertise in threat modeling and architectural risk assessment utilizing structured methodologies like STRIDE and DREAD.
Advanced knowledge of secure software development lifecycle, including static and dynamic analysis, QA practices, and end-to-end vulnerability management.
Strong ability to conduct thorough security assessments across network infrastructure, application architecture, and system configurations.
Familiarity with cloud environments (AWS, Azure, GCP), CI/CD deployment workflows, proficiency in Java/Python, secure coding, debugging, symbolic execution, and automation scripting.
The anticipated annual salary range for this role is $130,000 to $160,000, commensurate with candidate skills and experience. CertiK offers comprehensive benefits including medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, and flexible paid time off.
CertiK is an equal opportunity employer and does not discriminate based on various factors as outlined in federal law. The company actively supports diversity and may employ AI tools during the hiring process.
Kindly let me know if there is anything else you need assistance with.
CertiK is a pioneering Web3 security company that specializes in securing blockchain protocols, smart contracts, and decentralized applications through cutting-edge security research, formal verification, and AI-powered technology. Established in 2017 and headquartered in New York City, CertiK offers comprehensive security solutions including smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services for prominent projects in the digital asset ecosystem.
CertiK has a diverse international team across North America, Asia, and Europe, serving thousands of enterprise clients and Web3 projects globally. The company has secured backing from renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, receiving recognition from reputable organizations such as the World Economic Forum and CB Insights for its innovative contributions to blockchain security.
About the Role:
As part of CertiK's security team, this role involves overseeing a range of security services that merge cybersecurity and blockchain technologies. Responsibilities include security consulting, reviews, audits of smart contracts and blockchains, verification of smart contracts, penetration testing, and more. The ideal candidate will have a strong interest in application security and penetration testing, with opportunities to engage in research and development to elevate blockchain security standards.
Responsibilities:
Develop and implement robust enterprise-level security solutions to protect internal networks, applications, and infrastructure, ensuring the security and availability of critical systems and data.
Establish and enforce organization-wide security policies and standards, lead vulnerability management, and coordinate incident response efforts across engineering, IT, and compliance teams.
Monitor and respond to real-time security threats, conduct forensic investigations, perform root cause analysis of significant security incidents, and formulate long-term defense strategies.
Conduct comprehensive security assessments on internal and third-party systems, including architecture reviews, endpoint security evaluations, and infrastructure hardening initiatives.
Guide secure development practices by leveraging advanced static and dynamic analysis to identify vulnerabilities and provide remediation guidance to engineering teams.
Undertake threat modeling and risk analysis for high-value systems to proactively detect and mitigate potential attack vectors, influencing system and product architecture.
Design and maintain internal security tools to enhance detection capabilities, streamline response workflows, and improve operational visibility.
Requirements:
Master's degree in Computer Science, Software Engineering, Security Informatics, or a related field.
Demonstrated expertise in threat modeling and architectural risk assessment utilizing structured methodologies like STRIDE and DREAD.
Advanced knowledge of secure software development lifecycle, including static and dynamic analysis, QA practices, and end-to-end vulnerability management.
Strong ability to conduct thorough security assessments across network infrastructure, application architecture, and system configurations.
Familiarity with cloud environments (AWS, Azure, GCP), CI/CD deployment workflows, proficiency in Java/Python, secure coding, debugging, symbolic execution, and automation scripting.
The anticipated annual salary range for this role is $130,000 to $160,000, commensurate with candidate skills and experience. CertiK offers comprehensive benefits including medical, vision, and dental insurance, a 401(k) plan with company matching, life and accidental death and dismemberment insurance, and flexible paid time off.
CertiK is an equal opportunity employer and does not discriminate based on various factors as outlined in federal law. The company actively supports diversity and may employ AI tools during the hiring process.
Kindly let me know if there is anything else you need assistance with.
CertiK
Senior Data Analyst
New York, USA
New York, USA
Full time
Office
About the Company
Founded in 2017 and headquartered in New York City, this company is a prominent Web3 security firm specializing in securing blockchain protocols, smart contracts, and decentralized applications. They focus on cutting-edge security research, formal verification, and AI-powered technology. CertiK offers end-to-end security solutions such as smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services to major projects in the digital asset sector. They serve numerous enterprise clients and Web3 projects globally with an internationally distributed team across North America, Asia, and Europe. The company is financially supported by renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has received recognition from esteemed organizations for its innovation in blockchain security.
About the Role
The main duty of this position involves constructing and managing ETL pipelines to process extensive datasets from APIs, databases, and third-party platforms. This facilitates real-time team analytics and automates data preprocessing tasks like cleaning, normalization, and validation for client accounts. The incumbent will utilize rule-based logic and statistical checks to guarantee data quality, prepare analysis-ready datasets for modeling and reporting purposes.
Responsibilities
Formulate data models to extract, classify, and summarize metadata from unstructured documents to forecast market dynamics and facilitate data-driven strategies.
Develop interactive Tableau dashboards to visualize key performance indicators, trends, and progress to support data-driven decision-making by stakeholders.
Perform data analysis on large datasets and apply techniques like segmentation, clustering, regression, and exploratory data analysis to back client management, market intelligence, and pricing strategies.
Collaborate with business, product, finance, and engineering teams to translate business challenges into data projects. This includes tasks like churn prediction and sales funnel analysis, and providing growth and retention recommendations to leadership.
Requirements
Hold a Master of Science in Data Science, Business Analytics, or a related field.
Possess a minimum of 1 year of work experience in large-scale data processing, quality management, predictive modeling, and working with cloud-based data platforms in Agile environments utilizing project management tools.
Proficiency in designing interactive dashboards using Tableau.
Familiarity with tools like Scikit-learn, XGBoost, LightGBM, and NLP.
Skilled in Python, SQL (PostgreSQL/MySQL/NoSQL), and ETL tools (e.g., Apache Airflow).
Salary & Benefits
The anticipated annual salary compensation for this role falls within the range of $110,000 to $125,000. However, the specific compensation offered will be based on the qualifications and experience of the selected candidate. The company provides a comprehensive benefits package including medical, vision, and dental insurance, a 401(k) plan with matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for relevant roles in business development sales.
The company upholds equal employment opportunities and does not discriminate against applicants or employees on various protected categories as outlined by laws and regulations. Upon hiring, all individuals will be required to show proof of identity and eligibility to work in the United States. CertiK actively promotes diversity within its workforce and utilizes AI tools as part of the recruitment process to enhance efficiency, with final hiring decisions made by human personnel.
Founded in 2017 and headquartered in New York City, this company is a prominent Web3 security firm specializing in securing blockchain protocols, smart contracts, and decentralized applications. They focus on cutting-edge security research, formal verification, and AI-powered technology. CertiK offers end-to-end security solutions such as smart contract audits, penetration testing, on-chain monitoring, incident response, and compliance services to major projects in the digital asset sector. They serve numerous enterprise clients and Web3 projects globally with an internationally distributed team across North America, Asia, and Europe. The company is financially supported by renowned investors like Coatue, Goldman Sachs, Insight Partners, and Sequoia Capital, and has received recognition from esteemed organizations for its innovation in blockchain security.
About the Role
The main duty of this position involves constructing and managing ETL pipelines to process extensive datasets from APIs, databases, and third-party platforms. This facilitates real-time team analytics and automates data preprocessing tasks like cleaning, normalization, and validation for client accounts. The incumbent will utilize rule-based logic and statistical checks to guarantee data quality, prepare analysis-ready datasets for modeling and reporting purposes.
Responsibilities
Formulate data models to extract, classify, and summarize metadata from unstructured documents to forecast market dynamics and facilitate data-driven strategies.
Develop interactive Tableau dashboards to visualize key performance indicators, trends, and progress to support data-driven decision-making by stakeholders.
Perform data analysis on large datasets and apply techniques like segmentation, clustering, regression, and exploratory data analysis to back client management, market intelligence, and pricing strategies.
Collaborate with business, product, finance, and engineering teams to translate business challenges into data projects. This includes tasks like churn prediction and sales funnel analysis, and providing growth and retention recommendations to leadership.
Requirements
Hold a Master of Science in Data Science, Business Analytics, or a related field.
Possess a minimum of 1 year of work experience in large-scale data processing, quality management, predictive modeling, and working with cloud-based data platforms in Agile environments utilizing project management tools.
Proficiency in designing interactive dashboards using Tableau.
Familiarity with tools like Scikit-learn, XGBoost, LightGBM, and NLP.
Skilled in Python, SQL (PostgreSQL/MySQL/NoSQL), and ETL tools (e.g., Apache Airflow).
Salary & Benefits
The anticipated annual salary compensation for this role falls within the range of $110,000 to $125,000. However, the specific compensation offered will be based on the qualifications and experience of the selected candidate. The company provides a comprehensive benefits package including medical, vision, and dental insurance, a 401(k) plan with matching, life and accidental death and dismemberment insurance, HSA, FSA, flexible paid time off, holidays, and a variable commission program for relevant roles in business development sales.
The company upholds equal employment opportunities and does not discriminate against applicants or employees on various protected categories as outlined by laws and regulations. Upon hiring, all individuals will be required to show proof of identity and eligibility to work in the United States. CertiK actively promotes diversity within its workforce and utilizes AI tools as part of the recruitment process to enhance efficiency, with final hiring decisions made by human personnel.
CertiK
Business Development Intern / CertiK Ambassador
Shenzhen, China +1
Shenzhen, China +1
Full time
Hybrid
About the Company
CertiK is a prominent blockchain security auditor, offering a comprehensive set of tools to enhance security within the industry. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has been instrumental in identifying over 18,000 vulnerabilities in blockchain code. Some notable clients of CertiK include OKX, Tether, Ripple, and Pancakeswap, and the company is backed by renowned VCs like Tiger Global, Coatue Management, and Coinbase Ventures.
The Role
Represent CertiK at local blockchain meetups and participate in weekly crypto events to engage with industry professionals.
Gain valuable industry experience in blockchain security and business development, along with mentorship from CertiK's partnerships team.
Forge connections with local crypto founders and VCs while showcasing CertiK's security services when opportunities arise.
Responsibilities
Attend a local blockchain meetup every week.
Establish and nurture relationships with developers, founders, and community members.
Identify potential business prospects and facilitate introductions to CertiK's business development team.
Expected time commitment is 5 hours per week.
Requirements
Actively involved in local blockchain meetups or open to becoming a regular attendee.
Proficient in networking with diverse individuals.
Prior knowledge of Crypto and DeFi concepts.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK accepts applications for this role continuously.
In accordance with federal regulations, all hires must verify their identity and eligibility to work in the United States by completing the necessary forms.
CertiK upholds a commitment to diversity and equal opportunity employment. Discrimination based on various factors including age, race, religion, gender, or disability is strictly prohibited.
Individuals with criminal histories will be considered for employment at CertiK in accordance with relevant laws.
Diversity support is integral to CertiK's organizational culture. AI tools may be used during the hiring process to aid in application review, resume analysis, and response assessments. Nonetheless, the final hiring decisions are made by human evaluators. For further inquiries regarding data processing, kindly reach out to us.
CertiK is a prominent blockchain security auditor, offering a comprehensive set of tools to enhance security within the industry. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has been instrumental in identifying over 18,000 vulnerabilities in blockchain code. Some notable clients of CertiK include OKX, Tether, Ripple, and Pancakeswap, and the company is backed by renowned VCs like Tiger Global, Coatue Management, and Coinbase Ventures.
The Role
Represent CertiK at local blockchain meetups and participate in weekly crypto events to engage with industry professionals.
Gain valuable industry experience in blockchain security and business development, along with mentorship from CertiK's partnerships team.
Forge connections with local crypto founders and VCs while showcasing CertiK's security services when opportunities arise.
Responsibilities
Attend a local blockchain meetup every week.
Establish and nurture relationships with developers, founders, and community members.
Identify potential business prospects and facilitate introductions to CertiK's business development team.
Expected time commitment is 5 hours per week.
Requirements
Actively involved in local blockchain meetups or open to becoming a regular attendee.
Proficient in networking with diverse individuals.
Prior knowledge of Crypto and DeFi concepts.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK accepts applications for this role continuously.
In accordance with federal regulations, all hires must verify their identity and eligibility to work in the United States by completing the necessary forms.
CertiK upholds a commitment to diversity and equal opportunity employment. Discrimination based on various factors including age, race, religion, gender, or disability is strictly prohibited.
Individuals with criminal histories will be considered for employment at CertiK in accordance with relevant laws.
Diversity support is integral to CertiK's organizational culture. AI tools may be used during the hiring process to aid in application review, resume analysis, and response assessments. Nonetheless, the final hiring decisions are made by human evaluators. For further inquiries regarding data processing, kindly reach out to us.
CertiK
Business Development Intern / CertiK Ambassador
Dubai, United Arab Emirates
Dubai, United Arab Emirates
Full time
Hybrid
About the Company
CertiK is a prominent blockchain security auditor that offers a comprehensive range of tools to enhance industry security on a large scale. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion worth of digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. Some notable clients of CertiK include OKX, Tether, Ripple, and Pancakeswap. The company is backed by reputable investors such as Tiger Global, Coatue Management, Shunwei Capital, Hillhouse Capital, Coinbase Ventures, and Binance.
Investors: Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital, and other investors.
The Role
Represent CertiK at local blockchain meetups, attend crypto events weekly, network with industry professionals, introduce CertiK's security services when appropriate, and gain valuable experience in blockchain security and business development. This position offers mentorship from CertiK's partnerships team, networking opportunities with local crypto founders and VCs, and the chance to enhance your resume with potential pathways to full-time roles within CertiK.
Responsibilities
Attend one local blockchain meetup weekly.
Establish connections with developers, founders, and community members.
Identify business prospects and provide warm introductions to CertiK's BD team.
Time commitment: 5 hours per week.
Requirements
Actively involved in local blockchain meetups or willing to become a regular attendee.
Comfortable with networking and meeting new individuals.
Prior knowledge of Crypto & DeFi.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK accepts applications for this position continuously.
In accordance with federal laws, all hired individuals must verify their identity and eligibility to work in the United States.
CertiK is dedicated to being an equal opportunity employer, ensuring fair treatment without discrimination based on various factors such as age, race, religion, gender, sexual orientation, disability, and more. An inclusive work environment that supports diversity is cultivated within the company.
CertiK reserves the right to consider qualified applicants with criminal histories in line with local and federal regulations.
Artificial intelligence tools may be utilized in the hiring process to aid tasks such as application review and resume analysis. However, the final hiring decisions are made by humans, not solely reliant on AI technologies. For further details on data processing, feel free to reach out to us.
CertiK is a prominent blockchain security auditor that offers a comprehensive range of tools to enhance industry security on a large scale. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion worth of digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. Some notable clients of CertiK include OKX, Tether, Ripple, and Pancakeswap. The company is backed by reputable investors such as Tiger Global, Coatue Management, Shunwei Capital, Hillhouse Capital, Coinbase Ventures, and Binance.
Investors: Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital, and other investors.
The Role
Represent CertiK at local blockchain meetups, attend crypto events weekly, network with industry professionals, introduce CertiK's security services when appropriate, and gain valuable experience in blockchain security and business development. This position offers mentorship from CertiK's partnerships team, networking opportunities with local crypto founders and VCs, and the chance to enhance your resume with potential pathways to full-time roles within CertiK.
Responsibilities
Attend one local blockchain meetup weekly.
Establish connections with developers, founders, and community members.
Identify business prospects and provide warm introductions to CertiK's BD team.
Time commitment: 5 hours per week.
Requirements
Actively involved in local blockchain meetups or willing to become a regular attendee.
Comfortable with networking and meeting new individuals.
Prior knowledge of Crypto & DeFi.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK accepts applications for this position continuously.
In accordance with federal laws, all hired individuals must verify their identity and eligibility to work in the United States.
CertiK is dedicated to being an equal opportunity employer, ensuring fair treatment without discrimination based on various factors such as age, race, religion, gender, sexual orientation, disability, and more. An inclusive work environment that supports diversity is cultivated within the company.
CertiK reserves the right to consider qualified applicants with criminal histories in line with local and federal regulations.
Artificial intelligence tools may be utilized in the hiring process to aid tasks such as application review and resume analysis. However, the final hiring decisions are made by humans, not solely reliant on AI technologies. For further details on data processing, feel free to reach out to us.
CertiK
Business Development Intern / CertiK Ambassador
New York, USA
New York, USA
Full time
Hybrid
Company Overview
CertiK is a prominent blockchain security auditor offering a comprehensive suite of tools to enhance industry-wide security. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. The company has collaborated with reputable projects such as OKX, Tether, Ripple, and Pancakeswap, and is backed by renowned investors including Tiger Global, Coatue Management, Shunwei Capital, Hillhouse Capital, Coinbase Ventures, and Binance.
Investors
CertiK's investors include Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital, among others.
Role Overview
Represent CertiK at local blockchain meetups by actively participating in weekly crypto events. Network with industry protagonists, founders, and builders while introducing CertiK's security services where relevant. In addition to gaining industry experience in blockchain security and business development, this role offers direct mentorship from CertiK's partnerships team, networking opportunities with local crypto figures, and the potential for career advancement within CertiK.
Responsibilities
Weekly attendance at a local blockchain meetup
Cultivation of relationships with developers, founders, and community members
Identification of business opportunities and facilitating introductions to CertiK's business development team
Time commitment: 5 hours per week
Requirements
Active involvement in local blockchain meetups or a willingness to become a regular attendee
Comfort with networking and connecting with new individuals
Prior knowledge of Crypto and DeFi concepts
Time Commitment
5 hours per week
Compensation
$1,000 USD per month
CertiK accepts applications for this position on an ongoing basis.
CertiK is committed to being an equal opportunity employer and does not discriminate based on age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other protected status in accordance with applicable laws.
Qualified applicants with criminal histories will be considered for employment in compliance with local and federal regulations.
All CertiK employees are expected to actively champion diversity within their respective teams and the company. We may use AI tools during the hiring process for tasks such as reviewing applications and analyzing resumes; however, all final hiring decisions are made by humans. If you require additional information on how your data is processed, please reach out to us directly.
CertiK is a prominent blockchain security auditor offering a comprehensive suite of tools to enhance industry-wide security. With a track record of serving over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. The company has collaborated with reputable projects such as OKX, Tether, Ripple, and Pancakeswap, and is backed by renowned investors including Tiger Global, Coatue Management, Shunwei Capital, Hillhouse Capital, Coinbase Ventures, and Binance.
Investors
CertiK's investors include Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital, among others.
Role Overview
Represent CertiK at local blockchain meetups by actively participating in weekly crypto events. Network with industry protagonists, founders, and builders while introducing CertiK's security services where relevant. In addition to gaining industry experience in blockchain security and business development, this role offers direct mentorship from CertiK's partnerships team, networking opportunities with local crypto figures, and the potential for career advancement within CertiK.
Responsibilities
Weekly attendance at a local blockchain meetup
Cultivation of relationships with developers, founders, and community members
Identification of business opportunities and facilitating introductions to CertiK's business development team
Time commitment: 5 hours per week
Requirements
Active involvement in local blockchain meetups or a willingness to become a regular attendee
Comfort with networking and connecting with new individuals
Prior knowledge of Crypto and DeFi concepts
Time Commitment
5 hours per week
Compensation
$1,000 USD per month
CertiK accepts applications for this position on an ongoing basis.
CertiK is committed to being an equal opportunity employer and does not discriminate based on age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other protected status in accordance with applicable laws.
Qualified applicants with criminal histories will be considered for employment in compliance with local and federal regulations.
All CertiK employees are expected to actively champion diversity within their respective teams and the company. We may use AI tools during the hiring process for tasks such as reviewing applications and analyzing resumes; however, all final hiring decisions are made by humans. If you require additional information on how your data is processed, please reach out to us directly.
CertiK
Business Development Intern / CertiK Ambassador
San Francisco, USA
San Francisco, USA
Full time
Hybrid
About the Company
CertiK is a leading blockchain security auditor, offering a range of tools to enhance industry security on a large scale. With a track record of working with over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. Notable clients include OKX, Tether, Ripple, and Pancakeswap. The company has garnered investments from renowned VCs like Tiger Global, Coatue Management, and others, as well as backing from industry giants such as Coinbase Ventures and Binance.
Investors: Insight Partners, Sequoia, Tiger Global, and other notable firms.
The Role
Represent CertiK at local blockchain meetups and attend regular crypto events to connect with industry professionals and present CertiK's security services.
Receive valuable industry experience in blockchain security and business development, mentorship from CertiK's partnerships team, networking opportunities with local crypto individuals, and a valuable addition to your resume.
Responsibilities
Attend a weekly local blockchain meetup.
Cultivate relationships with developers, founders, and community members.
Identify potential business leads and introduce them to CertiK’s BD team.
Time commitment: 5 hours per week.
Requirements
Actively involved in local blockchain meetups or willing to become a regular attendee.
Proficiency in networking and engaging with new contacts.
Prior knowledge of Crypto & DeFi.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK welcomes applications for this position continuously.
In accordance with federal regulations, all successful candidates must verify their identity and eligibility to work in the United States upon hiring. CertiK fosters an inclusive workplace environment and is an equal opportunity employer, refraining from discrimination based on various factors such as age, race, gender, religion, and more.
Qualified applicants with criminal histories will be considered for employment in alignment with local and federal laws.
All employees at CertiK are expected to actively promote diversity within their teams and across the company. Artificial intelligence tools may be utilized during the hiring process to enhance recruitment functions, while all final hiring decisions are made by human judgment. For more details on data processing, please don’t hesitate to reach out to us.
CertiK is a leading blockchain security auditor, offering a range of tools to enhance industry security on a large scale. With a track record of working with over 4,900 Enterprise clients and securing more than $557 billion in digital assets, CertiK has identified over 18,000 vulnerabilities in blockchain code. Notable clients include OKX, Tether, Ripple, and Pancakeswap. The company has garnered investments from renowned VCs like Tiger Global, Coatue Management, and others, as well as backing from industry giants such as Coinbase Ventures and Binance.
Investors: Insight Partners, Sequoia, Tiger Global, and other notable firms.
The Role
Represent CertiK at local blockchain meetups and attend regular crypto events to connect with industry professionals and present CertiK's security services.
Receive valuable industry experience in blockchain security and business development, mentorship from CertiK's partnerships team, networking opportunities with local crypto individuals, and a valuable addition to your resume.
Responsibilities
Attend a weekly local blockchain meetup.
Cultivate relationships with developers, founders, and community members.
Identify potential business leads and introduce them to CertiK’s BD team.
Time commitment: 5 hours per week.
Requirements
Actively involved in local blockchain meetups or willing to become a regular attendee.
Proficiency in networking and engaging with new contacts.
Prior knowledge of Crypto & DeFi.
Time Commitment: 5 hours per week
Compensation: $1,000 USD per month
CertiK welcomes applications for this position continuously.
In accordance with federal regulations, all successful candidates must verify their identity and eligibility to work in the United States upon hiring. CertiK fosters an inclusive workplace environment and is an equal opportunity employer, refraining from discrimination based on various factors such as age, race, gender, religion, and more.
Qualified applicants with criminal histories will be considered for employment in alignment with local and federal laws.
All employees at CertiK are expected to actively promote diversity within their teams and across the company. Artificial intelligence tools may be utilized during the hiring process to enhance recruitment functions, while all final hiring decisions are made by human judgment. For more details on data processing, please don’t hesitate to reach out to us.
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
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
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
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.