1

Zero Knowledge Proof Jobs in Florida (NOW HIRING)

Protocol Core Engineer

Miami, FL

$99K - $137K/yr

Practical experience with cryptographic implementations (hash functions, signature schemes, zero-knowledge proofs, BLS signatures) * Familiarity with distributed consensus: ballot voting, leader ...

Protocol Core Engineer

Miami, FL · On-site

$99K - $137K/yr

Practical experience with cryptographic implementations (hash functions, signature schemes, zero-knowledge proofs, BLS signatures) * Familiarity with distributed consensus: ballot voting, leader ...

Manufacturing Engineer III

Largo, FL · On-site

$62K - $80K/yr

Dedication to safety through our Zero Harm policy * JCI Employee discount programs (The Loop by ... Conduct proof of principle or proof of concept studies. * The Manufacturing Engineer is solely ...

Manufacturing Engineer III

Largo, FL · On-site

$62K - $80K/yr

Dedication to safety through our Zero Harm policy * JCI Employee discount programs (The Loop by ... Conduct proof of principle or proof of concept studies. * The Manufacturing Engineer is solely ...

Manufacturing Engineer II

Largo, FL · On-site

$80K - $93K/yr

Dedication to safety through our Zero Harm policy * JCI Employee discount programs (The Loop by ... Conduct proof of principle or proof of concept studies. * The Manufacturing Engineer is solely ...

Manufacturing Engineer II

Largo, FL · On-site

$80K - $93K/yr

Dedication to safety through our Zero Harm policy * JCI Employee discount programs (The Loop by ... Conduct proof of principle or proof of concept studies. * The Manufacturing Engineer is solely ...

Manufacturing Engineer II

Largo, FL · On-site

$80K - $93K/yr

Dedication to safety through our Zero Harm policy * JCI Employee discount programs (The Loop by ... Conduct proof of principle or proof of concept studies. * The Manufacturing Engineer is solely ...

Proof required. Working knowledge of Microsoft Office Excel, PowerPoint, and Share Point Strong ... Belong, Connect and Grow at KBR At KBR, we are passionate about our people and our Zero Harm ...

Proof required. • Working knowledge of Microsoft Office Excel, PowerPoint, and Share Point • ... Belong, Connect and Grow at KBR At KBR, we are passionate about our people and our Zero Harm ...

Phlebotomist I - Laboratory Medicine

Palm Bay, FL · On-site

$14.50 - $18.25/hr

Assures valid patient results as evidenced by zero patient or sample identification errors in the ... Knowledge/Skills/Abilities: Strong computer skills, excellent customer service skills, good oral ...

Phlebotomist I - Laboratory Medicine

Brevard, FL · On-site

$15 - $18.75/hr

Assures valid patient results as evidenced by zero patient or sample identification errors in the ... Knowledge/Skills/Abilities: Strong computer skills, excellent customer service skills, good oral ...

next page

Showing results 1-20

Zero Knowledge Proof information

What is the difference between Zero Knowledge Proof vs Cryptographer?

AspectZero Knowledge ProofCryptographer
Required CredentialsMathematics, Computer Science, CryptographyMathematics, Computer Science, Cryptography
Work EnvironmentResearch, development, security protocolsResearch, security analysis, protocol design
Industry UsageBlockchain, privacy-preserving tech, security systemsCybersecurity, encryption, secure communications

Zero Knowledge Proofs are cryptographic methods used to verify information without revealing it, often in blockchain and privacy tech. Cryptographers design and analyze these protocols, focusing on creating secure encryption systems. While cryptographers develop the underlying algorithms, Zero Knowledge Proofs are specific techniques they may implement. Both roles require strong cryptography knowledge but differ in focus: one on protocol creation, the other on application and analysis.

What cities in Florida are hiring for Zero Knowledge Proof jobs? Cities in Florida with the most Zero Knowledge Proof job openings:

Cryptography and Systems Researcher

Char Network

Miami, FL

Other

Posted yesterday


Job description

Position: Senior Researcher / Scientist    Location: Miami, FL strongly preferred    Project: Char Network

About Char Network

Char Network is a proof-of-stake application coordination protocol built on Bitcoin. By anchoring data into Bitcoin through cryptographic proofs and economic guarantees, Char powers the next generation of Bitcoin layer twos and applications.

We're a small, sharp, and adventurous team led by Bitcoin developer Jeremy Rubin, pushing the limits of what Bitcoin can be. Our work blends deep protocol expertise with a hacker's creativity to unlock new capabilities for Bitcoin at scale.

We keep things collaborative, fast-moving, and fun-where every contribution counts and every voice matters. Joining Char means working at the frontier of Bitcoin R&D and infrastructure.

About the Role

This role sits at the intersection of research and engineering. You'll invent, formalize, and validate the core protocols that make Char Network work-from Byzantine fault tolerant consensus to staking incentive mechanisms to cryptographic proof systems.

Your focus is on the cryptographic foundations that make Char's protocol secure and efficient: designing and analyzing commitment schemes, aggregation protocols, proof systems, and fork-free coordination mechanisms. You'll work closely with the core protocol team to turn research into hardened, shipping software by building simulations, prototypes, and security specifications that guide implementation.

This is not a pure theory role, you'll write code.

What You'll Do
  • Design and analyze cryptographic schemes: BLS proof-of-stake commitments, signature aggregation protocols, hash-based accumulator designs, and zero-knowledge proof systems for Bitcoin anchoring
  • Formalize consensus protocols for protocol security: fork-free properties, Byzantine fault tolerance guarantees, and commitment finality, with rigorous threat modeling and adversarial analysis
  • Develop and validate cryptographic implementations: work with the protocol team to guide BLS Purify integration, verify protocol specifications against implementation, and conduct security reviews
  • Build simulations and prototypes in Rust or C++ to validate cryptographic protocol designs under adversarial conditions: analyze safety/liveness properties and attack resilience
  • Conduct formal cryptographic security analysis: threat modeling, game-theoretic attack analysis, and stress-testing through simulation and fuzzing to identify vulnerabilities before shipping
What We're Looking For

Must-Haves

  • Deep expertise in applied cryptography: signature schemes, commitment schemes, zero-knowledge proofs, or cryptographic protocol design
  • Expert-level understanding of distributed systems theory: BFT consensus, fork-free protocols, Byzantine fault tolerance, and formal safety/liveness analysis
  • Strong programming skills in Rust or C++ (or equivalent systems languages)
  • Experience designing, analyzing, or breaking adversarial cryptographic protocols or consensus systems
  • Ability to move between theory and practice: formal reasoning, mathematical modeling, and implementation
  • Exceptional communication skills-you can explain complex cryptographic ideas clearly to both researchers and engineers

Nice-to-Haves

  • PhD or equivalent research experience in cryptography, distributed systems, or a related field
  • Prior contributions to Bitcoin, Ethereum, or other consensus-critical software
  • Experience with formal verification, model checking, or advanced testing frameworks
  • Published papers, technical reports, or BIPs in cryptography or distributed systems
  • Understanding of Bitcoin primitives: taproot, timelocks, covenant designs, transaction scripting
  • Experience with game-theoretic analysis or mechanism design (helpful for understanding protocol incentives)
  • Strong open-source collaboration background
Reading Materials

Char Network

  • MIT Bitcoin Expo Presentation (April 2026)
  • Ember Consensus Paper
  • Purify in purify-cpp

BitVM

  • BitVM Whitepaper + BitVM2 Whitepaper
  • BitVM High-Level Explainer