Senior Formal Methods Engineer responsible for developing formal artifacts, refining specifications, modeling system performance, producing prototypes, and proving properties of system specifications. Acts as a bridge between product, research, and development teams, providing feedback and assistance in integrating work into production systems. Expected to work on challenging and innovative tasks, provide technical leadership/mentoring, and participate in knowledge sharing and continuous learning within the company.

Input Output

Cryptographic Engineer - Midnight

24 Days Ago

London, UK

471 Employees

3-5 Years of Experience

Apply

471 Employees

3-5 Years of Experience

Blockchain • Software

Cryptographic Engineer responsible for developing and implementing cryptographic solutions, focusing on Zero-Knowledge circuits for the Midnight chain. Collaborate with teams globally, work independently on software development tasks, and contribute to product development. Requires knowledge of ZK protocols, elliptic curve cryptography, blockchain cryptography, and secure design principles.

Input Output

Senior Software Development Engineer in Test (SDET) - Midnight

25 Days Ago

London, UK

471 Employees

7+ Years of Experience

Apply

471 Employees

7+ Years of Experience

Blockchain • Software

As a Senior Software Development Engineer in Test (SDET) at IOHK's Midnight team, you will be responsible for ensuring the reliability, security, and performance of cutting-edge blockchain solutions. Collaborate with the Head of QA to design and execute robust test strategies, lead testing initiatives, maintain automated test scripts, conduct manual and performance testing, and contribute to test automation frameworks.

Input Output

Senior Product Designer - Midnight

25 Days Ago

London, UK

471 Employees

7+ Years of Experience

Apply

471 Employees

7+ Years of Experience

Blockchain • Software

Senior Product Designer role at IOHK's Midnight Tribe, focusing on designing user-centered experiences for blockchain applications. Responsibilities include collaborating with cross-functional teams, conducting user research, creating prototypes, and advocating for accessibility and inclusivity in design.

Input Output

Formal Methods Engineer - Djed

25 Days Ago

London, UK

471 Employees

3-5 Years of Experience

Apply

471 Employees

3-5 Years of Experience

Blockchain • Software

Seeking a highly skilled Formal Methods Engineer specializing in security and threat analysis for smart contracts on the Cardano blockchain. Responsibilities include writing Plutus smart contract requirements, performing safety and threat analysis, and ensuring security mitigations. Collaborate with cross-functional teams and mentor junior engineers in formal methods application.

Input Output

Formal Methods Engineer - Innovation

25 Days Ago

London, UK

471 Employees

3-5 Years of Experience

Apply

471 Employees

3-5 Years of Experience

Blockchain • Software

As a Formal Methods Engineer at IOHK, you will develop formal artifacts early in the development process, refine specifications, model system performance, and provide feedback to researchers and developers. You will also participate in knowledge sharing and continuous learning within the team.

Input Output

Market Research Lead

25 Days Ago

London, UK

471 Employees

7+ Years of Experience

Apply

471 Employees

7+ Years of Experience

Blockchain • Software

As the Market Research Lead, you will drive the future of the business by providing insights into the competitive environment and industry best practices. You will conduct comprehensive research on industry trends, competitor strategies, and market dynamics, and lead a team of analysts and data scientists to deliver high-quality analytical projects.