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. Please note: this is a pipeline builder announcement, preparing for the upcoming demand. Feel free to submit your application so we can get back to you as soon as the role is open. ## 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-codeand conversations with various stakeholders * Collaborating with the engineering and research teams to interpret the TLA+ model and draw theconclusions * 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 [****](
Swarm Foundation, 2023 · Privacy policy
Hosted on Swarm