Software Engineer - Libraries & Tools (Motoko base library)

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.

Responsibilities

• 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.

Requirements

• Experience: At least 3 years of experience working in a software engineering role, with a focus on programming languages or distributed systems.

• Technical Skills:

  • Development in one or more typed, functional languages (OCaml, SML, Haskell or similar).
  • Excellent knowledge of algorithms and data structures, testing and benchmarking techniques.
  • Proficiency in low-level systems programming languages (C, C++, Rust) and experience with virtual machines and compilers.

• Motoko Knowledge: Familiarity with the Motoko programming language and its runtime environment is a plus.

• Problem-Solving: Ability to debug complex issues and optimize systems for performance and scalability.

Bonus Points

• 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.