Job Application for Software Engineer - Libraries & Tools (Motoko base library) at DFINITY

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

* Required

First Name *

Last Name *

Email *

Phone *

Location (City) *

Resume/CV *

Dropbox Google Drive

(File types: pdf, doc, docx, txt, rtf)

Cover Letter

Dropbox Google Drive

(File types: pdf, doc, docx, txt, rtf)

LinkedIn Profile

Website

GitHub / GitLab Profile Link:

Please select the three programming languages you are most familiar with: *

Starting with your strongest first

Do you require sponsorship for a work permit in Switzerland? *

Nationality *

Are you willing to relocate for this role? *

Employment Preferences *

Are you only interested in direct employment positions, or would you also consider freelance work?

Freelance Readiness *

If you are interested in freelance work, do you already have the necessary arrangements established.

How did you hear about this job?

What gender pronoun(s) do you identify with?

  He / Him / His
  She / Her / Hers
  They / Them / Theirs
  Decline To Self Identify

Enter the verification code sent to to confirm you are not a robot, then submit your application.

Security Code *

This application was flagged as potential bot traffic. To resubmit your application, turn off any VPNs, clear the browser's cache and cookies, or try another browser. If you still can't submit it, contact our support team through the help center.