Your Email Is Verified!
Now you can log in and start your job search

Create New Account
Sign up to continue searching for suitable jobs in Web 3.0

OR
Terms of Use
Already have an account?

Log In to Your Account
Log in to continue searching for suitable jobs in Web 3.0

OR
Donā€™t have an account?
Ethereum Foundation
Programming Language Researcher
about 1 month ago | 146 views | Be the first one to apply

Programming Language Researcher

Full-time
Berlin

About the company

The Ethereum Foundation (EF) is a non-profit organization dedicated to supporting Ethereum and related technologies. The EF is not a company, or even a traditional non-profit. We do not control Ethereum, nor are we the only organization that funds critical development of Ethereum-related technologies. We are part of a large ecosystem of organizations, individuals, and companies that support Ethereum. 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. Since 2014, EF has hosted Devcon, an annual 4-day conference which has become the oldest and most prominent event in the Ethereum community (and arguably the entire blockchain space). The event attracts developers, designers, researchers, creators, and others ā€” many of whom are intrigued by cutting-edge technology, decentralization, privacy/security, free and open-source software, and the potential for Ethereum to change the world for the better. For a look at past Devcon editions and their speakers, see here: http://archive.devcon.org/. Devcon 7 (aka Devcon Southeast Asia) will take place this year in Bangkok between the dates of 12-15 November.

Job Summary

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

Salaries for similar jobs:

Similar jobs

2 days ago | 34 views | Be the first one to apply
Full-time
London
$90,000 To $148,000 per year
3 days ago | 54 views | Be the first one to apply
Internship
Start-up
London
3 days ago | 54 views | Be the first one to apply
Full-time
Start-up
Remote
4 days ago | 81 views | 2 applications
Full-time
Barcelona
$81,000 To $95,000 per year
8 days ago | 108 views | 1 applications
Full-time
Start-up
London