MuKn

Mutual Knowledge Systems (aka MuKn, pronounced "moon") is looking to extend its development team. We are building Glow (https://glow-lang.org), an open-source domain-specific language for Decentralized Applications (DApps). Glow simplifies DApp development by offering higher-level abstractions than standard solutions (e.g., Solidity) and a "write once, run on- and off-chain" workflow. We also do bespoke blockchain infrastructure consulting; e.g., our Account-View-on-UTxO-Model (AVOUM) scaling solution, formal verification, zero-knowledge proofs, cross-shard messaging, etc. Glow’s metalanguage is Gerbil Scheme (https://cons.io), but we use other languages where necessary, including JavaScript, Haskell, Go, and Rust. We are seeking experienced developers who can work autonomously, but know when to ask for help. A background in Lisp, Scheme, or a purely functional language would be helpful, but is not required; experience with language design and implementation is also a plus. Other relevant domains include: blockchains, smart contract technologies (e.g., the EVM and also (E)UTxO models), compilers, distributed systems, cryptographic protocols, information security, economic modelling, game theory, automated theorem proving, and zero-knowledge proofs. We’re a fully remote team spread across many time zones. We like to keep meetings and policies to a minimum, and expect team members to manage their own time and communications. We have one mandatory weekly meeting, structured as an informal code walk-through and review; this helps keep everyone aware of what the rest of the team is up to and how everything fits together. Interviews are straightforward: you’ll be asked to talk about and answer questions about projects and code you’ve worked on, and we’ll do the same. No LeetCode, no take-home assignments, etc. Please send resumes to jobs@mukn.io. Any notable public discussion (on a mailing list, GitHub issue, etc.) where you changed your own mind or someone else’s mind would be great to see, too.