Job Summary
A software foundry specializing in Ethereum blockchain services and applications is searching for a person to fill their position for a Telecommute Protocols R and D Distributed Systems Applied Researcher.
Candidates will be responsible for the following:
- Designing, specifying and verifying distributed systems by leveraging formal method techniques
- Conducting theoretical and practical analysis of the performance of distributed systems
- Designing and analysing incentive systems
Position Requirements Include:
- Masters degree in Computer Science, Mathematics, or a related area
- Strong mathematical and computer science foundation
- Experience in analysing the correctness and security of distributed systems
- Familiarity with the application of formal method techniques
- Comfortable with “reverse engineering” code in a number of languages including Java, Go, Rust, etc
- Keen communicator, eager to share your work in a wide variety of contexts, like internal & public presentations, blog posts, etc
