MuKn

Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are implementing Glow, an open-source domain-specific language to build 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’re looking right now for Rust programmers that would like to work on blockchain infrastructure (malleable transactions for our AVOUM technology), and generalists that are interested in working on our language and compiler. We are looking for experienced developers who can work autonomously, but know when to ask for help. Glow’s metalanguage is Gerbil Scheme, but we use other languages where necessary, including JavaScript, Haskell, and Rust. Some background in Lisp, Scheme, or a purely functional family 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), 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. 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.