MuKn | Remote, all time zones | Full-time or contract | https://mukn.io/
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.
MuKn | Remote, all timezones | Full-time or contract | https://mukn.io/
Mutual Knowledge Systems, Inc. (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.
Glow’s metalanguage is Gerbil Scheme (https://cons.io), 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.
MuKn | Remote, all timezones | Full-time or contract | https://mukn.io/
Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are implementing Glow (https://glow-lang.org), 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 (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.
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.
MuKn | Remote, all timezones | Full-time or contract | https://mukn.io/
Mutual Knowledge Systems, Inc. (aka MuKn, pronounced "moon") is looking to extend its development team. We are implementing Glow (https://glow-lang.org), 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 (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.
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.
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.