Remote Senior Applied Protocol Researcher - Khalani Network

WorksHub; New York (NY); Remote; USD 150,000 - 300,000; Full time

Job summary

A leading company is seeking someone to assist with partnership integrations and network architecture design in cutting-edge programming. The ideal candidate will have a solid foundation in theoretical computer science, distributed systems knowledge, and a knack for technical writing. Experience with formal methods and cryptography are highly valued.

Benefits

Equity allocation provided

Qualifications

• Strong foundation in theoretical computer science.
• Background in programming language theory and compilers.
• Experience or eagerness in formal methods.

Responsibilities

• Assist with partnership integrations and requirements gathering.
• Work on network architectures and consensus protocols.
• Produce literature reviews in consensus protocols and cryptographic proof systems.

Skills

Mathematical maturity

Theoretical computer science

Programming language theory

Distributed systems

Technical writing

Formal methods

Cryptography

Job description

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.

Compensation

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