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 #J-18808-Ljbffr WorksHub
...smart and connected, sustainable water solutions for the future. Watts is a leading brand with a quality reputation - and we have a dynamic future ahead. As the Quality Manager, you will lead Quality Assurance and Continuous Improvement initiatives to ensure that our...
We are seeking an experienced NetSuite Principal Consultant - CRM to lead the design, implementation, and optimization of NetSuite CRM solutions for our clients. The ideal candidate will have a proven track record of delivering end-to-end NetSuite CRM implementations, with...
Compensation: $25-27/hr Location : Phoenix, AZ Position : Electrical Distribution Detailer Inceed has partnered with a great company to help find a skilled Electrical Distribution Detailer to join their team! This is an incredible opportunity to contribute...
...Description Who We Are: Founded in 2014, Studio McGee, Inc. is one of the fastest growing home design brands in America. Our journey began with a thriving interiors business that focused on approachable, yet aspirational design. By leveraging the power of digital communities...
...Senior Liability Claims Adjuster Canal Insurance Company was founded in 1939 and is located in Greenville, South Carolina. Canal specializes in insurance for commercial trucking and specialty transportation operations. While Canal does not write insurance in all states...