Software is like poetry — knowing the language isn't enough to write a good poem.

We specialize in cheminformatics, bioinformatics and blockchain.

Our projects include Synthia (Merck), Ethereum Foundation, L7 Informatics, Centi, Golem and more.

If you want to know more, please visit out website.

From startups to big corporations, on-site and remote projects: the reason for our proven track record is agility. We’ve remained an intentionally smaller-scale company so that we can fit our clients' needs best and change with them as the collaboration evolves.

Currently we are looking for a talented Programming Language Researcher.

Core Responsibilities

🔸 Research on the long-term design and future iterations of the Solidity Language

🔸 Support the development and maintenance of the Solidity Compiler

Required Skills and Experience

✔️ PhD or Master degree in a hard science, e.g. computer science, mathematics or equivalent

✔️ Strong background in formal logics, formal verification or type theory

✔️ Familiarity with functional language paradigms

Nice-to-haves

✅ Experience in language design or compiler implementation

✅ Experience with C++

✅ Ability to work in pair programming, critiquing and responsive to constructive feedback

✅ Familiarity and prior contributions to open-source projects

What we offer:

💸 PLN 100-170 PLN per hour (B2B), depending on seniority, tech stack and verification of technical skills at the interview

📃 Form of contract: B2B, we are looking for people for long-term cooperation, not only for the project

🌍 Working fully remote

🔴 Development in an innovative project

🟢 The team of experts open to feedback

🔵 Total transparency within the company

⏰ Start of work: to be discussed 

Recruitment process (online):

1️⃣ Phone call screening (max 15 minutes)

2️⃣ HR interview (60 minutes)

3️⃣ Interview with the client 

4️⃣ Homework (optional)

5️⃣ Decision and feedback