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.
À propos de l'entreprise
