Role overview
We seek a Software Engineer to focus on improving and expanding the Motoko base library. You will collaborate with a distributed team of researchers and engineers to develop robust, efficient, and scalable data structures and algorithms for use with the Motoko programming language.
What you'll work on
- Library Development: Improve and expand the Motoko base library, ensuring correctness, scalability, productivity, and reliability.
- Collaboration: Work closely with researchers, engineers, and experts in distributed systems and programming languages.
- Contribution: Contribute to the development of compilers, runtime systems, VMs, and tooling for Motoko.
- Documentation & Support: Assist in developing test suites, documentation, and tools that support the Motoko ecosystem.
What we're looking for
- Experience with WebAssembly as a platform and compilation target.
- Strong understanding of formal language semantics and advanced type systems.
- Experience contributing to open-source projects.