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

OUpHVHFleVo1aXFOQTFyU2dEWmxYYlJYRUE9PQ==
  • 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

CHG Healthcare

Neurosurgeon Needed in an Exciting North Dakota City Job at CHG Healthcare

Come live and practice in one of the best locations in North Dakota. This is a picturesque, charming, and progressive community with all the amenities of much larger cities such as fine dining, shopping, arts, sports, and nightlife. Fargo is also home to 2 universities,...

Bonaventure Senior Living

Registered Nurse (RN) - Regional Nurse Consultant - Washington Job at Bonaventure Senior Living

At Bonaventure , we hire exceptional Registered Nurses who will deliver on our promise to provide the ideal combination of quality...  ...to serve seniors and we are currently recruiting for a Regional Nurse Consultant who will travel to provide help and support to communities... 

University of Alaska Fairbanks

Art Class Figure Model (Nude Modeling) Job at University of Alaska Fairbanks

 ...process. Whether youre experienced or new to modeling, if youre comfortable with your form and...  ...to collaborate with talented artists, we want to hear from you! We offer a professional...  ...environment. Help us bring art to life through the beauty of the human form.... 

Mediacom Communications

Customer Sales & Service Representative I Job at Mediacom Communications

 ...join our growing team! Position Overview: Answer customer calls and provide a positive customer experience in a prompt and...  ...using email programs. Previous experience in an inbound call center environment preferred. Must have ability to work successfully... 

Mediacom Communications

Customer Sales & Service Representative I Job at Mediacom Communications

 ...HD TV choices; and superior technology in home security and phone service-are a direct result...  ...of training, the schedule will be 3 weeks work from home, 1 week work on-site in the...  ...while multi-tasking (to include speaking, typing, and moving in and out of multiple platforms...