Description
Who are we?
IOHK is a technology company focused on Blockchain research and development. We are renowned for our scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. Our projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally.
We invest in the unknown, applying our curiosity and desire for positive change to everything we do. By fueling creativity, innovation, and progress within our teams, our products and services are designed for people to be fearless, to be changemakers.
What The Role Involves
As a Formal Methods Engineer at IO you act as a bridge between product, research, architecture, and development. You will develop formal artifacts as early as possible in the development process that grow with the project and continue to provide impact throughout into the late stages. You will develop and iteratively refine specifications, working towards high quality designs prototypes practical implementations Your work will form part of day-to-day quality assurance production system development up verification source code In some projects critical steps models or production code tested proven using appropriate frameworks tools other expected performance resulting modeled impact design decisions performance stability assessed early Based this process provide feedback researchers engineers Finally based specifications designs simulations prototypes advise assist other teams implement integrate their into systems
As member team participate knowledge sharing continuous learning through interactions across company more broadly well
This role targeted specifically automated interactive initial targets smart contracts Cardano Midnight although approach general purpose
Build from architectural guidance business requirements Model specified Produce Refine using gauge during refinements Discover new about implications Prove correctness Communicate both act bridge between two: about issues come up when incorporated real world assist understanding turning Report form posts technical report documents presentations internal seminars workshops conferences contributing academic papers Participate reviews Contribute property-based testing executable verifying against implementation extension maintenance custom static analysis international multiple zones Break down large complex assigned independently Share specialized with Requirements Who higher degree Computer Science related minimum experience functional preferably Haskell collaborating Git one domains working networking distributed programming language applications bonus Demonstrated difficult self-driven SAT/SMT Model checking interactive theorem Lean similar building plus Domain Deep thinking problem solving Ability translate complex ideas break simply Software engineering Translate reshape properly Telling discrepancy receive input thoroughly Continuously brings fresh versatile enjoy fast-paced ever-changing savvy explain concepts Are find questioning status quo tinker long solutions spark thoughtful debates bringing inquisitiveness promise continuously growing ready reimagine thought wasn’t possible because means don’t set limits Benefits Remote reimbursement New starter package buy hardware essentials headphones monitor Learning Development opportunities Competitive PTO value diversity always treat applicants merit qualifications competence talent discriminate basis race religion color national origin gender sexual orientation age marital veteran disability