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. Specific problems we need to solve in the very near term include (a) implementing monadic blockchain infrastructure in Rust (malleable transactions), and (b) augmenting our compiler with formal verification of contract properties. We are looking for experienced developers who can work autonomously, but know when to ask for help. For (a) Rust experience is a must, and (b) requires a strong background in compilers, formal verification, and modal logic. We like publishing our results, so one or both of these projects could result in journal papers. 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.