Top Tech Jobs & Startups Jobs

IO Global is looking for a Senior Software Engineer (Rust) to join its Partner Chains team. The role involves developing a Rust-based blockchain application for interoperability, following agile practices, working independently, and collaborating with team members across multiple time zones.

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.

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.

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.

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.

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.

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.