Sam Snowden, Formal Verification Architect · Quantum Computing

Engagements

[To write: a sentence introducing how an engagement runs.]

EngagementWhat it deliversRate
ConsultationAn hour of preparation on your materials, a one-hour call, and a short written summary.[To decide]
ReviewA written assessment of an algorithm or its claims, marking where the risks are.[To decide]
ScopingOne week. Exact theorem statements, a feasibility read on each, a spike on the hardest lemma, and a priced plan for the build. Credited toward the build.[To decide]
BuildFixed-price milestones. Each is accepted when its proofs compile on the standard axioms, with no sorry.By milestone

[To write: terms: billing on completion, deposit for first engagements, how long the scoping credit lasts.]