Вакансии

Location: Mexico City, Mexico Uptalent is seeking a skilled professional to join our team as an O-Calc or SPIDACalc Engineer. This is a great opportunity for a motivated individual looking to make a difference in the civil engineering industry. As an O-Calc or SPIDACalc Engineer, you will be responsible for providing accurate engineering calculations and designs to our clients worldwide. Our company is dedicated to matching global top-tier talent with the most exciting companies in the world. We offer a dynamic work environment, professional development opportunities, and a chance to be part of an innovative team that's changing the industry. Responsibilities Provide accurate O-Calc or SPIDACalc engineering calculations and designs. Work with project managers to develop project scopes, schedules, and budgets. Collaborate with cross-functional teams to ensure project success. Keep up-to-date on industry and technology advancements. Attend and contribute to project meetings and presentations. Monitor and report project progress, issues, and risks. Continuously evaluate and improve existing engineering processes. Requirements Bachelor's degree in Civil Engineering or related field. At least 2 years' experience in O-Calc or SPIDACalc engineering. Strong technical and analytical skills. Excellent verbal and written communication skills in English Ability to work independently and as part of a team. Familiarity with industry-standard software packages. Strong organizational and time-management skills. Benefits Work From Home. Highly Competitive Compensation. Work for the most exciting companies in the US. Flexible Schedule.

Location: Mexico City, Mexico Uptalent is seeking a skilled professional to join our team as an O-Calc or SPIDACalc Engineer. This is a great opportunity for a motivated individual looking to make a difference in the civil engineering industry. As an O-Calc or SPIDACalc Engineer, you will be responsible for providing accurate engineering calculations and designs to our clients worldwide. Our company is dedicated to matching global top-tier talent with the most exciting companies in the world. We offer a dynamic work environment, professional development opportunities, and a chance to be part of an innovative team that's changing the industry. Responsibilities Provide accurate O-Calc or SPIDACalc engineering calculations and designs. Work with project managers to develop project scopes, schedules, and budgets. Collaborate with cross-functional teams to ensure project success. Keep up-to-date on industry and technology advancements. Attend and contribute to project meetings and presentations. Monitor and report project progress, issues, and risks. Continuously evaluate and improve existing engineering processes. Requirements Bachelor's degree in Civil Engineering or related field. At least 2 years' experience in O-Calc or SPIDACalc engineering. Strong technical and analytical skills. Excellent verbal and written communication skills in English Ability to work independently and as part of a team. Familiarity with industry-standard software packages. Strong organizational and time-management skills. Benefits Work From Home. Highly Competitive Compensation. Work for the most exciting companies in the US. Flexible Schedule.

Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Workplace: remote About CertiK One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 3,200 Enterprise clients, secured over $310 billion worth of digital assets, and has detected over 60,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Yearn, and Chiliz.  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.  About the role We are seeking security research interns to join a top-notch security research team. We are working on a wide range of security research topics, including malware analysis, vulnerability detection, network anomaly detection, mobile app analysis, reverse engineering, and fraud detections. Multiple research tasks are ready to be explored. Responsibilities Develop analysis tools to facilitate security discovery and design mitigation techniques to deter security threats. Review system implementation of sandbox, VM, network modules, and critical distributed system. Perform vulnerability discovery and develop PoC exploits to large distributed system implementations. Publish research findings in related academic and industry venues. Requirements Pursuing Masters or PhD in Computer Science or Cybersecurity related field. Experiences in vulnerability discovery and exploitation on web applications or system software. Preferred Experiences in WASM or Rust/Go development is a plus. CTF experiences are a plus as well. Compensation $3000 - $8000/month (Full Time). The exact compensation at which this internship is filled will be determined by the skills and experience of qualified candidates. #blockchain #startups #hiring CertiK accepts applications on an ongoing basis for this position until it is filled. The approximate date of closing will be April 30, 2024. CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Location: New York, NY / Seattle, WA / San Francisco Bay Area, CA / Remote Workplace: remote Why us?  Blockchain technology is enabling a rapidly-growing era of innovation for the digital world. It is crucial that blockchain code such as protocols and smart contracts are provably secure and correct. Once deployed, they are public and cannot be changed. Vulnerabilities and bugs in such programs regularly put millions of dollars at stake. This is where CertiK comes in. We are the leading blockchain security company. Our goal is to secure the cyber world by applying cutting edge techniques from academia to secure blockchain code. Come and join this ambitious mission as a research software engineer to work on automated analyses for provably secure and correct blockchain applications!  What you will do You will design and develop tools that automatically ensure the correctness of smart contracts or identify security issues and bugs in smart contracts. We have software engineer positions available at all levels of seniority. Title and responsibilities will be commensurate with experience and background. As part of our multinational team of programming language experts, you will participate in the development of tools that rest upon techniques such as symbolic model checking, SAT/SMT solving, abstract interpretation, data flow analysis, and deductive verification. You will have the opportunity to work on all stages of tool development from idea generation to implementation and iterative improvements. Our team is highly supportive and collaborative with great opportunities to learn and grow. About you You have a background in programming language theory and automated reasoning and love to work on the forefront of applying results from theoretical computer science. You love to tackle computationally hard problems and have a proven track record of achieving results, where results are people using your tool to do their jobs. You are collaborative: you share ideas, love to brainstorm with peers, and give and receive feedback. You are comfortable with the unknown and understand that #startuplife means that you will be wearing multiple hats. Responsibilities Extend the scope and depth of our automated program verification tools and brainstorm, design, and implement new tools. Adapt and improve algorithms for symbolic software model checking. Examples include bounded model checking (BMC), counterexample-guided abstraction refinement (CEGAR), and property directed reachability (IC3/PDR). Build and extend translators from different input languages into intermediate representations, optimizing the generated models for automated analysis. Identify new classes of security properties of smart contracts and formalize properties for use in our automated verification tools. Closely collaborate with other software engineers in developing tools and set technical direction for solving problems in consultation with your team and management. Work on all aspects of delivering working software that meets customer needs, including analysis, design, automated testing, operations, CI/CD, measuring results, incorporating customer feedback, and support. Required Qualifications Master's Degree in Computer Science or a related field or 5 years of equivalent experience. Minimum of 4 years of software development experience (includes internships, software developed during research, and open-source development). Minimum of 2 years of experience with one or more of the following: model checking, formal verification, SAT/SMT solving (Z3, CVC4, Yices, MathSAT, SMTInterpol), abstract interpretation, or closely related disciplines. Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory. Preferred Qualifications PhD in the broader field of automated reasoning. Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. Experience in functional programming (OCaml or Haskell). Strong and creative problem-solving skills; always willing to learn and embrace new technologies and to collaborate. Prior experience in a professional software development environment. About the Company Founded in 2018 by professors of Yale University and Columbia University, CertiK is a pioneer in blockchain security, utilizing best-in-class technology to secure and monitor blockchain protocols and smart contracts. CertiK’s mission is to secure the cyber world. Starting with blockchain, CertiK applies cutting-edge innovations from academia into enterprise, enabling mission-critical applications to be built with security and correctness.  Compensation Target annual base salary for this role performed in the US is $115,000 - $230,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates. #LI-Remote #blockchain #startups #hiring CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Location: US / Remote Workplace: remote Why Us? CertiK is a pioneer in blockchain security, leveraging best-in-class AI technology to protect and monitor blockchain protocols and smart contracts. Founded in 2018 by professors from Yale University and Columbia University, CertiK’s mission is to secure the web3 world. CertiK applies cutting-edge innovations from academia to enterprise, enabling mission-critical applications to scale with safety and correctness. About the Role The primary responsibility of this role is for CertiK’s security-related services. Intersecting cybersecurity and blockchain, CertiK’s security offerings include security consulting, security reviews, security auditing of smart contracts and blockchains, verification of smart contracts, penetration testing, and more. We are looking to hire someone with a passion for application security and penetration testing. This is a fun and challenging full-time position. If you are excited about hacking, threat modeling, scanning, auditing, designing, and enhancing the security of applications across the board then you will thrive in this role. While you work with clients, we will also provide you with plenty of opportunities to get involved with research and development efforts to help us raise the standards of blockchain security. Responsibilities Perform security assessments on web, mobile, thick client applications, and browser extensions Conduct external and internal network penetration tests Perform security source code reviews Perform cloud security reviews Develop comprehensive pentest reports for both technical and non-technical audiences Research and develop innovative techniques, tools, and methodologies for pentesting applications in the blockchain space Contribute to the community by developing tools, presentations, and blog posts Requirements Passionate about cryptocurrency, DeFi, and blockchain, with a willingness to learn Web3 technologies such as smart contracts Minimum of 4 years of experience in application security and penetration testing Experienced in source code review for different languages, with a strong understanding of JavaScript and TypeScript Experienced in mobile application penetration testing Familiar with cloud platforms and their security risks, such as AWS, Azure, and GCP Experience in programming with scripting languages such as Python and Bash Solid understanding of cryptography BS/MS/PhD in Computer Science or Information Security Strong spoken and written communication skills Bonus Points Experienced in pentesting Web3 applications such as crypto exchanges, wallets, Dapps, and key custodian solutions Experienced in smart contract security audits Familiar with browser extension architecture and security risks Actively participate in the blockchain security community OSCP, OSWE, OSCE, GWAPT, or comparable certification Participated in bug bounty programs and audit contests Published security-related blog posts and spoken at security conferences and/or local meetups About the Company One of the fastest-growing and most trusted companies in blockchain security, CertiK is a true market leader. To date, CertiK has worked with over 3,200 Enterprise clients, secured over $310 billion worth of digital assets, and has detected over 60,000 vulnerabilities in blockchain code. Our clients include leading projects such as Aave, Polygon, Binance Smart Chain, Terra, Yearn, and Chiliz. Investors = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Coinbase Ventures, Binance, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital and other investors. Compensation Target annual base salary for this role performed in the US is $100,000 - $180,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates. #LI-Remote #blockchain #startups #hiring CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.

Location: US / Remote Workplace: remote About the Role: We are seeking a Senior Blockchain Security Engineer with a strong security mindset and deep technical expertise across smart contracts, blockchain nodes, and decentralized infrastructure. You will play a critical role in safeguarding Web3 projects by auditing code, building security tools, and driving research. If you have hands-on experience in Web3 and are passionate about advancing the security of decentralized technologies, we’d love to hear from you. Responsibilities Audit and review codebases for smart contracts, blockchain protocols, and decentralized applications (dApps) to identify and remediate vulnerabilities. Work closely with external blockchain teams to enhance the security of their products by providing expert security consultation and implementing remediation strategies. Conduct independent security research, explore new attack vectors, and deliver actionable insights. Design, develop, and maintain internal security tools and frameworks to strengthen our security services. Continuously improve internal processes, methodologies, and service offerings while ensuring high client satisfaction and long-term partnerships. Requirements Bachelor’s, Master’s, or PhD in Mathematics, Computer Science, or Information Security. Minimum 3 years of professional experience as a Software Engineer, Security Engineer, or in a related role. At least 2 years of hands-on experience with blockchain technologies, including: Smart contracts (EVM chains, Solana, Move, etc.), Blockchain protocols (nodes, SDKs, Cosmos, etc.) Strong expertise in threat modeling, risk assessment, and security analysis. Proficiency in one or more programming languages: Rust, Go, Solidity, Python, etc. Passion for Cryptocurrency, DeFi, and Blockchain technologies. Preferred Qualifications Solid academic or practical background in Mathematics, Cryptography, or Cybersecurity. Demonstrated experience conducting audits and collaborating with leading Web3 protocols. Recognized achievements such as published CVEs, or strong placements in Attackathons, Bug Bounties, or Audit Contests. About the Company CertiK is the largest blockchain security auditor and provides a comprehensive suite of tools to secure the industry at scale. To date, CertiK has worked with over 4,900 Enterprise clients, secured over $557 billion worth of digital assets, and has detected over 18,000 vulnerabilities in blockchain code. Our clients include leading projects such as OKX, Tether, Ripple, and Pancakeswap. Our investors include top VCs like Tiger Global, Coatue Management, Shunwei Capital and Hillhouse Capital as well as industry leaders like 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. About You You’re a self-starter. You believe in tackling the most important problems, even if they are the most difficult problems. You’re comfortable with the unknown and understand that startup life means that you’re going to be wearing multiple hats. And that’s what motivates you. You’re accountable and obsessed with improvement, both in yourself and in others. You’re up to the challenge of building a world-class company that aims to be the infrastructure for more secure software for all. Compensation Target annual salary for this role performed in the US is $102,000 - $180,000. The exact compensation at which this job is filled will be determined by the skills and experience of qualified candidates. CertiK is proud to offer medical, vision, and dental insurance, 401(k) plan with company matching, life and accidental death and dismemberment insurance, HSA (with high deductible plan), FSA, and other benefits to all full-time employees, along with flexible paid time off and holidays. CertiK also offers a variable commission program for business development sales roles.   In compliance with federal law, all persons hired will be required to verify identity and eligibility to work in the United States and to complete the required employment eligibility verification form upon hire.   CertiK is proud to be an equal opportunity employer. We will not discriminate against any applicant or employee on the basis of age, race, color, creed, religion, sex, sexual orientation, gender, gender identity or expression, medical condition, national origin, ancestry, citizenship, marital status or civil partnership/union status, physical or mental disability, pregnancy, childbirth, genetic information, military and veteran status, or any other basis prohibited by applicable federal, state or local law.   CertiK will consider for employment qualified applicants with criminal histories in a manner consistent with local and federal requirements. https://www.eeoc.gov/sites/default/files/migrated_files/employers/poster_screen_reader_optimized.pdf   All CertiK employees are expected to actively support diversity on their teams, and in the Company.