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 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 Cardano platform; a major milestone in the evolution of the technology.
Key Responsibilities Work closely with a global base of respected researchers, product management and development teams to understand business objective for smart scripting languages and DSLs Develop technical specification for DSL design and review with stakeholders. Design and create code modules, test scripts and supporting documentation. Assist with performance and security-related testing of smart scripting languages and DSLs Work with Subject Matter Experts (SMEs) to develop features to meet the needs of particular industry verticals. Participate in troubleshooting and triaging of issues with different teams to drive towards root cause identification and resolution Document, track and escalate issues as appropriate Requirements At least 2 years experience of compiler design & implementation At least 2 years of Haskell experience At least 3 years relevant academic and/or professional experience with design and/or implementation of smart scripting languages and DSLs, programming languages, or compilers. Key competencies Skills
Excellent interpersonal skills Ability to work autonomously with minimal supervision Attention to detail Knowledge:
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. Behaviour
Resourcefulness, initiative etc. Job Complexity Exercises judgment in selecting methods, techniques and evaluation criteria for obtaining results. Networks with key contacts outside own area of expertise. Reporting to: Engineering Director