Carlos Vendrell Felici

Co-Founder

Wrocław, Dolnośląskie, Poland9 yrs experience

Key Highlights

  • Founder of Zealynx, specializing in smart contract audits.
  • Trusted by leading DeFi teams for security audits.
  • Expert in advanced security techniques like fuzzing and formal verification.
Stackforce AI infers this person is a Fintech expert specializing in smart contract security and blockchain technology.

Contact

Skills

Core Skills

Smart Contract AuditWeb3 Security

Other Skills

Security AuditsFuzzingFormal VerificationSmart Contract DevelopmentContent CreatorContent CreationSolidityBlockchainEthereumMobile TestingKotlinMobile AutomationTest AutomationAgile TestingSoftware Quality Assurance

About

Founder & Lead Auditor at Zealynx | Helping DeFi teams ship secure smart contracts with confidence. Trusted by teams like Lido Finance, BadgerDAO, Redstone, Microchain, Glif, Matchain, and more. Recommended by leading audit firms like Cyfrin and Pashov audit group, where I have worked as a contractor for multiple audits. And a proud partner of Immunefi. I’m passionate about Web3 security and specialize in “future-proof” smart contract audits for early-stage and scaling DeFi projects. At Zealynx, I combine deep blockchain expertise with advanced security techniques, like fuzzing, invariant tests, and formal verification, to uncover vulnerabilities and help teams avoid costly hacks. My approach is hands-on, transparent, and tailored to each client. I work directly with founders and builders to deliver clear, actionable reports and provide support throughout the audit process, including a 10-day mitigation period and complimentary re-audits following fixes. What sets Zealynx apart: - Founder-led communication and flexible, customer-specific scoping - Super fast booking, get your audit started within 1–2 days - Network of top auditors across EVM, Solana, Cairo, and more - Clear, actionable reporting and ongoing support after the audit Based in Poland, I operate Zealynx as a one-person company, collaborating with a strong network of auditors. If you’re building in DeFi and want to ship with confidence, let’s connect. I'm happy to chat about audits, security, or Web3 in general.

Experience

Zealynx security

Founder & Smart Contract Security Researcher

Jan 2024Present · 2 yrs 3 mos · Remote

  • Providing Smart Contract Security Reviews with the highly efficient security testing tools used by the top companies in Web3.
  • An Audit with Zealynx keeps your current code safe now and after any changes you implement later on. That's accomplished by providing with each audit a test suite of Fuzz tests and Formal Verification.
  • Contact Us for:
  • Smart Contract Security Reviews - Get an Audit with included Fuzz tests and Formal Verification Test suite
  • Fuzzing and Formal Verification for your protocol - We use Foundry and Echidna/Medusa (Fuzzing) and Halmos, Kontrol and ityFuzz (FV)
  • Smart Contract development - Solidity and Solana development
Security AuditsFuzzingFormal VerificationSmart Contract DevelopmentSmart Contract AuditWeb3 Security

Bloqarl web3 security researcher

Smart Contract Auditor | Content Creator

Nov 2022Present · 3 yrs 5 mos · Remote

  • Smart Contracts Audits
  • Web3/Blockchain Educator:
  • YouTube: https://www.youtube.com/@theblockchainer
  • Medium: https://medium.com/@bloqarl
  • Twitter: https://twitter.com/TheBlockChainer
  • Website: https://www.theblockchainerhub.xyz/
Smart Contract AuditWeb3 SecurityFuzzingFormal VerificationContent Creator

Sliide

Senior Software Engineer in Test

Oct 2021Apr 2024 · 2 yrs 6 mos · Remote

  • Develop test specifications/test cases/ sets of regression tests.
  • Developing test automation framework for Android with Espresso and CI/CD pipeline integration.
  • Handling software release of applications with efficient UAT testing sessions.
  • Experience testing components that communicate via REST APIs
  • Experience automating backend e2e tests with Go

Concentrix tigerspike

Software Engineer in Test

Jan 2020Oct 2021 · 1 yr 9 mos · Wroclaw Metropolitan Area

  • Android Mobile Automation with Kotlin and Espresso.
  • iOS Mobile Automation with Swift.
  • Manual testing for sprint work plus Regressions/Smoke testing.
  • Setting up and maintenance of nightly Regression on CI with Bitrise.

Ryanair - europe's favourite airline

Mobile QA Automation Engineer

Jan 2017Dec 2019 · 2 yrs 11 mos · Wroclaw, Lower Silesian District, Poland

  • Mobile Native Automation with Espresso and Kotlin. Framework started from scratch.
  • Mobile Automation with Appium and Java for both Android and iOS.
  • Writing new test cases BDD oriented.
  • Regression and Smoke testing using configured jobs on Jenkins.
  • Working in Agile environment.

Globallogic

Junior Test Engineer

May 2016Dec 2016 · 7 mos · Wroclaw Metropolitan Area

  • Working in software verification for embedded systems (telecommunication)
  • Development of automated test cases
  • Test automation with Java
  • Execution of manual test cases
  • Execution of test cases using network simulator Rohde & Schwarz CWM500 (2G, 3G and AT&T)
  • Tracing bugs with QXDM tool
  • Usage of IBM Rational ClearCase
  • Familiarity with Continuous Integration (Using Jenkins)

Rec - a globallogic company

Junior Software Engineer

Oct 2015Apr 2016 · 6 mos · Wroclaw Metropolitan Area

  • Working in software verification for embedded systems (telecommunication)
  • Development of automated test cases
  • Test automation with Java
  • Execution of manual test cases
  • Execution of test cases using network simulator Rohde & Schwarz CWM500 (2G, 3G and AT&T)
  • Tracing bugs with QXDM tool
  • Usage of IBM Rational ClearCase

Transition technologies s.a.

Sales and Marketing

Jun 2015Sep 2015 · 3 mos · Wroclaw Metropolitan Area

  • Sales Representative for Spain and Latin America
  • Searching, analysing and participating in IT tenders
  • Organizing meetings with partners
  • Selling software products to companies in energy sector, such as:
  • o Software for optimization of efficiency in power plants (SILO III),
  • o Software for collecting, processing and monitoring data (EDS)
  • o Software for Technical Asset Management (TAMI)
  • Knowledge in all the above software products
  • Using Red Hat Enterprise Linux with virtual machine Vmware

Qatar airways

Customer Service Agent

Nov 2014May 2015 · 6 mos · Wroclaw Metropolitan Area

  • Talking with customers over the phone and providing the best service possible.
  • Creating and managing the different bookings with the system Amadeus.
  • Taking payments with the payment interface B+S.

Education

Universitat Politècnica de València (UPV)

Ingeniería Industrial — Electrónica y automática

Jan 2010Jan 2015

Wrocław University of Science and Technology

Bachelor of Engineering (BEng) — Ingeniería eléctrica y electrónica

Jan 2013Jan 2014

Stackforce found 8 more professionals with Smart Contract Audit & Web3 Security

Explore similar profiles based on matching skills and experience