Interpreter Developer (Decentralized Compute Platform) Offline

Join a pioneering team building a decentralized, censorship-resistant computing infrastructure powered by blockchain technology. Our platform is designed to support diverse, high-value use cases—from secure transactions and blockchain-native workloads to real-time AI and data-intensive applications.

We seek an Interpreter Developer with a strong mathematical background and proven research experience to lead the design and implementation of interpreters that convert mainstream programming languages into a custom execution environment tailored for decentralized infrastructure.

What You’ll Do:

• Develop interpreters and execution layers to translate code from mainstream languages (e.g., Python, JavaScript, Rust, etc.) into a custom low-level language designed for decentralized execution.
• Design and implement runtime semantics, type systems, and evaluation strategies for a secure and efficient execution model.
• Collaborate with compiler engineers, blockchain protocol teams, and systems developers to integrate the interpreter into a trustless, verifiable compute layer.
• Optimize interpreters for performance, determinism, and compatibility with parallel or distributed runtime environments.
• Apply your mathematical expertise to ensure formal correctness, predictable behavior, and support for symbolic/numeric operations.
• Contribute to developing custom DSLs or intermediate representations tailored for our blockchain-based compute engine.

What You Bring:

• Upper-Intermediate English or higher to communicate with US-based engineers and colleagues.
• Solid experience in interpreter or virtual machine development for general-purpose or domain-specific languages.
• Deep understanding of language design, runtime execution models, and compilation theory.
• Proficiency in systems or compiler-level programming languages (e.g., Rust, C++, Go, or OCaml).
• Strong mathematical foundation (e.g., logic, computational theory, algebraic structures); research publications or academic contributions are a strong plus.
• Familiarity with type systems, garbage collection, and low-level memory models.
• Ability to design safe, deterministic execution strategies in trustless or decentralized environments.
• Experience working with blockchain, Web3 infrastructure, or distributed systems is preferred but not required.

Nice to Have:

• Knowledge of formal verification, symbolic computation, or secure multi-party computation.
• Exposure to custom bytecode formats, AST transformation, or IR-level optimizations.
• Experience contributing to open-source compilers, interpreters, or language runtimes.

Why Join Us?

• Be part of a visionary team redefining decentralized computation beyond smart contracts.
• Tackle challenges at the intersection of language theory, systems design, and blockchain innovation.
• Work remotely with a global team of experts in AI, cryptography, and distributed infrastructure.

🎁 We offer:

- Daily support for your technical and personal growth;

- Professional and very friendly team, that is always ready to help and support;

- Medical Insurance;

- Flexible working hours;

- Offices in Ukraine;

- All official holidays;

- Paid day offs and sick leaves;

- Legal services and 24/7 lawyer protection;

- Tax & accounting services;

- Partly Tax coverage for Ukrainian contractors;

- The company provides all the necessary equipment;

- Fitness support upon request;

- English classes up to three times a week;

- The company pays 50% of the cost of refresher courses for any employee of the company;

- Workstation space;

- Mentoring and Educational Programs;

- Regular Activities on a Corporate level (Team Buildings, Sports Events, Table Games, Tech Events);

- Advanced Bonus System.