DFINITY is hiring a

Software Engineer - Libraries & Tools (Motoko base library)

Zürich, Switzerland

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.

About DFINITY and the Internet Computer:

DFINITY is a leading contributor to the Internet Computer Protocol (ICP), with a mission to bring the world's compute onto the secure ICP network. Built on its unique third-generation blockchain technology, ICP enables the development and operation of a new generation of unstoppable, tamper-proof, fully decentralized web applications. Its powerful technology can run entire AI models within smart contracts, representing a major advancement for secure AI. Through seamless integration with Bitcoin, Ethereum, and other networks, ICP facilitates multi-chain operations for digital assets and web3.

Join our team of over 250 talented individuals, including world-renowned cryptographers, distributed systems engineers, programming language experts, and industry leaders, who are shaping the future of the internet and web3.
 
DFINITY was founded in 2016 by entrepreneur and crypto theoretician, Dominic Williams.

All qualified applicants will receive consideration for employment without regard to race, color, religion, gender, gender identity or expression, sexual orientation, national origin, genetics, disability, age, or veteran status.
Apply for this job

Please mention you found this job on AI Jobs. It helps us get more startups to hire on our site. Thanks and good luck!

Get hired quicker

Be the first to apply. Receive an email whenever similar jobs are posted.

Ace your job interview

Understand the required skills and qualifications, anticipate the questions you may be asked, and study well-prepared answers using our sample responses.

Software Engineer Q&A's
Report this job
Apply for this job