MuKn

Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are building Glow, 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. Glow’s metalanguage is Gerbil Scheme, but we use other languages where necessary, including JavaScript, Haskell, Go, and Rust. In particular, we’re looking for a Rust developer to implement our AVOUM technology (malleable transactions to implement accounts as a monad over UTxOs). We also need generalists that are interested in working on our language compiler and runtime. We are seeking experienced developers who can work mostly autonomously, but know when to ask for help. Some 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 (esp. LLVM), 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 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.