Lead Compiler Developer

About MuKn:

Mutual Knowledge Systems, Inc. (a.k.a. MuKn, https://MuKn.io) is looking to extend its development team. We are implementing Glow(https://glow-lang.org), a domain-specific language to build Decentralized Applications (DApps). Glow simplifies DApp development by offering higher-level abstractions than competing solutions (e.g., Solidity) and a "write once, run on- and off-chain" workflow.

Notable openings and prerequisites:

Specific problems we need to solve in the very near term include:

(a) implementing monadic blockchain infrastructure in Rust:

(b) augmenting our compiler with formal verification of contract properties:

We like publishing our results, so one or both of these projects could result in journal papers.

Glow’s metalanguage is Gerbil Scheme (https://cons.io), 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. Day-to-day discussions, reviews, etc. are mostly on Discord and GitLab/GitHub.

Salary depends on your experience and level of seniority, and, of course, weekly hours.

Please send resumes to [email protected]. 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.