Functional Compiler Engineer Location: Remote IOHK is looking for a talented, functional compiler engineer to join our 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 Project Goguen and be responsible for design and implementati