João André Gomes Marques
@jooandrgomesmarques
I secure DeFi protocols and build post-quantum cryptography and AI-agent governance systems.
What I'm looking for
At Flow Traders, I review DeFi protocols and smart contracts before trading capital is exposed, while handling security incidents and hardening smart-contract and node deployments.
I founded Asqav, an AI-agent governance platform with a public SDK, self-hosted core, post-quantum tamper-evident audit trails, and 250+ GitHub stars. I also built Asondy, a deterministic verification harness that makes AI coding agents reproduce evidence before acceptance criteria can pass.
Previously, I integrated ML-KEM and ML-DSA into pi-lar’s production C networking framework and built blockchain-backed cryptographic APIs at the University of Coimbra. I also wrote tamper-evident logging guidance for the OWASP AI Exchange.
Experience
Work history, roles, and key accomplishments
Security Engineer
Flow Traders
Feb 2026 - Present (6 months)
Conducts security evaluations of DEX and DeFi protocols, handles incident response, and integrates monitoring and auditing tooling. Works with trading and engineering teams to harden deployments and set security policy for internal AI tooling.
Education
Degrees, certifications, and relevant coursework
University of Coimbra
Master's Degree, Cybersecurity
2023 - 2025
Master's degree in Cybersecurity with a thesis on quantum-resistant cryptographic algorithms for the Neuropil Protocol Framework.
Tech stack
Software and tools used professionally
Availability
Location
Job categories
Skills
Interested in hiring João André?
You can contact João André and 90k+ other talented remote workers on Himalayas.
Message João AndréGet matched with your dream remote job
Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!
