Connecting to LinkedIn...

Functional Compiler Engineer

Job Title: Functional Compiler Engineer
Contract Type: Permanent
Location: Ice House Street Central
Industry:
REF: 1674
Contact Name: Teo Rusu
Job Published: 7 months ago

Job Description

Functional Compiler Engineer – Remote Work - Tax Free

Cutting edge technology

Salary negotiable

 

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.

Key Responsibilities

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.

Requirements

  • 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.

Key competencies

  • 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. 

Why Apply

- Cutting Edge Technology

- Home Based

- Tax Free

 

If you are interested in this position please feel free to contact Teo Rusu on 01908886030 or teo.rusu@identifiglobal.com