Functional Compiler Engineer – Remote Work - Tax Free
Cutting edge technology
Cutting edge technology company committed to using peer-to-peer innovations to provide financial services to the three billion people who don’t have them.
We are looking for a talented, functional compiler engineer to join our client’s growing in-house team. In this full time, remote work opportunity the candidate will be responsible for designing and implementing functional programming languages for next-generation blockchain smart contract systems.
The individual will work closely with our Programming Language Theory (PLT) and cryptography researchers, our formal methods team and our engineering team throughout the smart contracts development programme involving design, coding, testing and integrating of a new smart scripting languages into our blockchain technology. We also plan to design and implement relevant Domain Specific Languages (DSLs).
The individual should have a strong understanding of programming language design, type systems, operational semantics, interpreters and compiler implementation techniques.
Our ideal candidate will play a key role in our latest blockchain project and be responsible for design and implementation of smart scripting languages and DSLs for smart contracts. This will ultimately allow third parties to independently develop, deploy, and execute smart contracts on the blockchain platform; a major milestone in the evolution of the technology.
- Experience of compiler design & implementation
- Haskell experience
- Relevant academic and/or professional experience with design and/or implementation of smart scripting languages and DSLs, programming languages, or compilers.
- Programing language development including type system design, type checking and type inference.
- Programming analysis & tools
- Programming language design
- Human-Computer Interface (HCI) aspects of smart scripting languages and DSLs, programmer tools and analysis a bonus.
The interview Process
Most of the interviews will be via skype. With a final face to face, to be confirmed and at the cost of the client.
- Cutting Edge Technology
- Home Based
- Tax Free
If you are interested in this position please feel free to contact Teo Rusu on 01908886030 or firstname.lastname@example.org