We're planting a tree for every job application! Click here to learn more

Senior Applied Protocol Researcher

Khalani Network

Remote worldwide

Posted about 2 months ago

feasibility analysis, protocol design & formal specification

Tech stack

  • Rust

Primary responsibilities

  • Assist with partnership integrations through a rigorous process of requirements gathering, feasibility analysis, protocol design & formal specification... all while posing difficult & important questions frequently.
  • Work on a cutting-edge programming language
  • Assist in the design & review of network architectures, novel consensus protocols, and the programming model we are developing.
  • Produce literature reviews & SoK's in the areas of: consensus protocols, cryptographic proof systems, automated reasoning & mechanism design (so flexibility to focus on a variety of areas is required)
  • Assist in the development & review of formal specifications of various protocols & protocol components daily

Required background

  • Mathematical maturity
  • Strong foundation in basics of theoretical computer science (should have, for example, knowledge-equivalent of Michael Sipser's book)
  • A background in programming language theory/compilers.
  • Sufficient background in distributed systems to be able to consume new research on consensus & scaling (should have, for example, knowledge-equivalent of Tim Roughgarden's "Foundations of Blockchain" lecture series on YouTube)
  • Technical writing ability (publications or blog posts that we can review during the interview process)
  • Experience with formal methods or an eagerness to learn and apply them
  • Understanding of the fundamentals of cryptography (should know at *least* the material that is taught in Crypto I on Coursera, for example)

Those with mathematics, CS or non-web-3 engineering backgrounds are all welcome to apply. I care most about rigor of thought combined with strong & unrelenting curiosity. Bonuses for those who have published quality research in one of the topics mentioned above, or those who are coming with demonstrable prior experience in formal methods.


  • Very large range depending on qualifications and expected onboarding time (150-300k base).
  • Allocation & equity also provided


$150K - 300K

Role type

Full time

Visa sponsorship

Not provided

Benefits & perks

  • Flexible Working

Similar roles that might interest you


CareersCompaniesSitemapFunctional WorksBlockchain WorksJavaScript WorksAI WorksGolang WorksJava WorksPython WorksRemote Works

Ground Floor, Verse Building, 18 Brunswick Place, London, N1 6DZ

108 E 16th Street, New York, NY 10003

Subscribe to our newsletter

Join over 111,000 others and get access to exclusive content, job opportunities and more!

© 2024 WorksHub

Privacy PolicyDeveloped by WorksHub