Software Engineer - Libraries & Tools (Motoko base library)
We are looking for a talented Software Engineer to enhance and expand the Motoko base library. The successful candidate will collaborate with a remote team of researchers and engineers to develop efficient and scalable data structures and algorithms for the Motoko programming language.
Responsibilities
- Library Development: Enhance and expand the Motoko base library with a focus on correctness, scalability, productivity, and reliability.
- Collaboration: Work closely with researchers, engineers, and experts in distributed systems and programming languages.
- Contribution: Assist in developing compilers, runtime systems, VMs, and tooling for Motoko.
- Documentation & Support: Contribute to creating test suites, documentation, and tools to support the Motoko ecosystem.
Requirements
- Experience: Minimum of 3 years in a software engineering role with a specialization in programming languages or distributed systems.
- Technical Skills:
- Proficiency in developing in typed, functional languages such as OCaml, SML, Haskell, or similar.
- Solid understanding of algorithms, data structures, as well as testing and benchmarking techniques.
- Experience in low-level systems programming languages like C, C++, Rust, and familiarity with virtual machines and compilers.
- Motoko Knowledge: Familiarity with the Motoko programming language and its runtime environment is a plus.
- Problem-Solving: Ability to troubleshoot complex issues and optimize systems for performance and scalability.
Bonus Points
- Background in WebAssembly as a platform and compilation target.
- In-depth knowledge of formal language semantics and advanced type systems.
- Previous contributions to open-source projects.
About DFINITY and the Internet Computer
DFINITY is a prominent supporter of the Internet Computer Protocol (ICP), striving to bring global computing onto the secure ICP network. Leveraging cutting-edge third-generation blockchain technology, ICP empowers the creation and operation of a new wave of tamper-proof, fully decentralized web applications. DFINITY's technology enables the execution of entire AI models within smart contracts, marking a crucial advancement for secure AI. By seamlessly integrating with Bitcoin, Ethereum, and other networks, ICP facilitates multi-chain operations for digital assets and web3.
Join a team comprising over 250 highly skilled individuals, including renowned cryptographers, distributed systems engineers, programming language experts, and influencers, who are shaping the future of the internet and web3.
DFINITY was established in 2016 by entrepreneur and crypto theoretician, Dominic Williams.
All qualified candidates will be considered for employment regardless of race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status.