AI Resume Builder
JOIN NOW Post Job
DFINITY
AI

Software Engineer - Libraries Tools (Motoko base library)

DFINITY · ZH Zürich, Zürich, Switzerland · $90k - $115k

Actively hiring Posted over 1 year ago

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.

Tags & focus areas

Used for matching and alerts on DevFound
Engineer Dev Rust
Common Questions

Frequently asked questions

Quick answers about how DevFound's AI matching, resumes, and referrals work.

DevFound's AI Copilot ingests your profile, goals, and live job data to deliver curated matches in seconds. Every match includes a resume variant, suggested referrals, and interview prep so you can act immediately. The more feedback you provide, the sharper the Copilot becomes.

AI-led job searches shrink the hours spent sifting through boards and formatting resumes. DevFound pairs automation with your personal outreach, so you reserve energy for interviews and negotiation. Traditional networking still matters, but AI gives you a lift before you even send a message.

Modern AI roles expect comfort with production-grade code, data fluency, and practical ML tooling. The strongest candidates pair deep technical chops with storytelling—translating model impact to product, GTM, and exec partners. Continuous learning keeps you ahead as stacks evolve.

DevFound rewards active seekers. Keep your profile fresh, respond to match quality prompts, and enable alerts so you never miss a role. The AI prioritizes companies and teams that align with your feedback, accelerating both introductions and interview invites.

High-density tech hubs continue to host the deepest AI talent pools, yet distributed teams are catching up fast. Use DevFound filters to hone in on onsite, hybrid, or fully remote roles and watch openings expand across time zones.

DevFound aggregates thousands of remote AI openings and flags the nuances—core hours, async culture, and visa needs—up front. The Copilot also recommends how to position your distributed work experience so hiring managers know you can thrive on a remote team.

Still have questions?

Contact Support