Programming Language Researcher
Berlin
Ethereum Foundation – Solidity /
Employee /
Remote
Update: We have successfully hired for this position. We are keeping this job open for exceptionally qualified applicants, but are not expecting to hire an additional team member in the short term. Please keep this in mind when applying and only do so if you consider yourself an outstanding fit for the position.
About the Ethereum Foundation
The Ethereum Foundation (EF) is a global non-profit organization dedicated to supporting Ethereum and related technologies. Our mission is to do what is best for Ethereum’s long-term success. Our role is to allocate resources to critical projects, to be a valued voice within the Ethereum ecosystem, and to advocate for Ethereum to the outside world.
About Solidity
Solidity is a statically-typed curly-braced programming language designed for developing smart contracts that run on Ethereum. In the coming years, we intend to build a new foundation for the language with a small, logically-grounded and verifiable language core on top of which higher-level functionality can be constructed definitionally. For this task, we are seeking both theoretical and practical contributions.
Your Mission
As part of the Solidity team, you will be working exclusively on open source software and technology, especially focussing on the Solidity language. You’ll collaborate in a rich learning environment that offers a high number of opportunities and possibilities to develop further within. You will become part of our truly international team that consists of specialists from all over the world and keep in touch with the latest academic research in the relevant area.
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
About You
- You are a good communicator and team player. You know how to navigate within a lean, start-up like organization.
- You are solution and goal-oriented, resourceful while still keeping a flexible mindset. You take self-responsibility and initiative and possess a can-do attitude.
- You have an ownership mentality. When you take on a task, you get it done. You proactively troubleshoot problems blocking your path, and the problems blocking the paths of others.
- You're organized. You have strong habits that let you track multiple responsibilities simultaneously. You know how to scope a project, foresee difficulties and translate an idea into reality.
- You share Ethereum's values. You're passionate about the Open Source and/or Free Software movements and decentralization.
- You have cross-cultural expertise. You are experienced in working with international teams across various time zones.
Contract Details
- Optimally full-time position, part-time possible
- Flexible work and working hours
- Competitive compensation
- Option to work out of our Berlin (DE) office or remotely from anywhere in the world