Senior Applied Protocol Researcher - REMOTE Job at Khalani Network, New York, NY

Z2RvZ0JJNERqVXhEbVZCY0lNckhEaTgrWXc9PQ==
  • Khalani Network
  • New York, NY

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

Job Tags

Full time,

Similar Jobs

Tennova Healthcare - Turkey Creek Medical Center

LPN Complex Care Unit Job at Tennova Healthcare - Turkey Creek Medical Center

***New Increased Pay Rates*** Turkey Creek Medical Center, part of the Tennova Healthcare Network, is hoping youll join our team as a Complex Care Unit LPN Job Description:~ Administers nursing care under the supervision of a registered nurse. ~ Participates... 

City Wide Facility Solutions

Landscaping Independent Contractor Fairfax, VA Job at City Wide Facility Solutions

 ...City Wide Facility Solutions is the largest management company in the building maintenance industry, facilitating Janitorial, Landscape and more than 20 additional maintenance services for every client. But we do more than manage maintenance services for commercial facilities... 

Sterling Consulting Solutions, Inc.

Virtual Administrative Assistant - Entry Level Job at Sterling Consulting Solutions, Inc.

 ...Job Title: Virtual Administrative Assistant - Entry Level Location: Remote Job Responsibilities: Booking and Coordination: Assist clients in planning and booking travel arrangements, including flights, hotels, car rentals, and activities. Customer Service:... 

CareSource

Healthcare Analyst II Job at CareSource

 ...Job Summary: The Healthcare Analyst II is responsible for analyzing healthcare utilization to identify patterns, variation, and outliers as well as identify and quantify opportunities to reduce medical costs. Essential Functions: Analyze healthcare utilization... 

Wash Masters - Plano

Express Car Wash Manager Starting At 60K-75K Yearly Job at Wash Masters - Plano

Job Title:Express Car Wash ManagerCompany Overview:At Wash Masters we pride ourselves on delivering fast, high quality car wash services and also building our monthly memberships. we're committed to excellence and customer satisfaction, and we're looking for a...