Research Team Member - Modeller

Research Team Member - Modeller

Swarm is a system of peer-to-peer networked nodes for a decentralised storage and communication service.

Swarm could shape the future towards a self-sovereign global society and permissionless open markets. On Swarm, applications run autonomously yet securely in a planetary-scale deployment and execution environment.

The Swarm Research Team is tasked with rigorously spelling out and analysing Swarm’s underlying theory as well as the current implementation. We create theories, write code, run experiments and make concrete suggestions to Swarm’s engineering teams for further improvements. Our work is consumed by various Swarm teams, as well as the wider (research) community.

We are looking for a profile that can help increase the understanding of Swarm and improve communication of what Swarm is by clearly articulating all of our assumptions and choices and making models to communicate, refine and challenge these.

Your role

• Contributing to the ongoing work effort of specifying Swarm’s protocols and strategies
• Leading the effort to build a TLA+ model of all Swarm’s protocols, basing yourself on source-code analysis and conversations with various stakeholders
• Collaborating with the engineering and research teams to interpret the TLA+ model and draw the right conclusions
• Communicate and validate any iteration of Swarm by means of modelling
• Assessing Swarm’s assumed game-theoretic equilibria, using modelling frameworks such as CadCad

Your profile

• You are a self-starter
• You like to help others
• You have a technical background
• You are curious
• You like to work remotely
• You are analytically minded
• You can express yourself fluently in English, both verbally and in writing

We appreciate

• Experience with either or both TLA+ and CadCad or willing to learn
• Understanding of Golang, Kubernetes, Grafana, Jaeger, OpenTracing and Typescript or willing to learn
• A good grasp of distributed systems

Swarm offers/Team perks:

• An open, flat and transparent work environment
• 100% remote friendly
• Flexible working hours
• We care about our swarm: Incentives through BZZ, Swarm’s token

Should you be interested in the position, please send your CV to talent@ethswarm.org