Blockchain Developer

Hyperlink Infosystem; Ahmedabad District; On-site; INR 3,000,000 - 6,000,000; Full time

Job summary

Hyperlink InfoSystem in Ahmedabad seeks a Senior Blockchain Developer to build Layer-1 infrastructure, implement consensus logic, and drive formal verification efforts.

You will work with Rust, participate in security audits, and collaborate with distributed systems and cryptography teams to deliver scalable, high-performance blockchain solutions.

Qualifications

• 8+ years in software engineering.
• 4+ years in blockchain protocol development.
• Hands-on experience building Layer-1 blockchain infrastructure.
• Production experience with Rust.
• Experience with formal verification tools preferred.
• Experience with distributed systems.

Responsibilities

• Design and implement Layer-1 consensus protocol in Rust.
• Build formal verification specifications.
• Develop validator voting and leader election logic.
• Optimize consensus performance for sub-second finality.
• Collaborate with Protocol, Cryptography, Networking, and Security teams.

Skills

Layer-1 Blockchain

Validator Architecture

Finality Mechanisms

Slashing

Rust

Merkle Trees

Fault Tolerance

High-Performance Systems

Ethereum Consensus Layer

Polkadot

Distributed Systems

Consensus Algorithms

Formal Verification

Job description

Company Description

Hyperlink InfoSystem is a globally trusted IT consulting and mobile app development company, specializing in AI-driven, scalable digital solutions for startups, SMBs, and large enterprises. Since 2011, the company has delivered 4500+ mobile apps and 2000+ web solutions, supported by a team of 1200+ technology professionals. Its service portfolio spans mobile and web development, AI and Generative AI, Machine Learning, Salesforce CRM, Blockchain, IoT, and custom software development for diverse industries such as healthcare, fintech, e-commerce, education, logistics, and gaming. With over 2700 global clients and 6500+ solutions delivered, Hyperlink InfoSystem focuses on agility, security, performance, and long-term, transparent partnerships. The organization takes an AI-first approach to building digital ecosystems that automate processes, enhance user experiences, and drive measurable business growth.

Role Description

This is a full-time, on-site Blockchain Developer role based in Ahmedabad. The

Key Responsibilities

• Design and implement Layer-1 consensus protocol in Rust.
• Build and maintain the formal TLA+ specification.
• Perform formal verification using TLC and Apalache.
• Develop validator voting and leader election logic.
• Optimize consensus performance for sub-second finality.
• Build consensus testing and simulation framework.
• Resolve consensus security audit findings.
• Collaborate with Protocol, Cryptography, Networking, and Security teams.

Mandatory Technical Skills

Blockchain

• Layer-1 Blockchain Development
• Validator Architecture
• Finality Mechanisms
• Slashing

Programming

• Rust (Expert Level)

Cryptography

• Merkle Trees

Distributed Systems

• Fault Tolerance
• High-Performance Systems

Preferred Blockchain Experience

Candidates should have worked on one or more of the following:

• Ethereum Consensus Layer
• Polkadot

Mandatory Experience

• 8+ years in Software Engineering.
• 4+ years in Blockchain Protocol Development.
• Hands-on experience building Layer-1 blockchain infrastructure.
• Experience implementing or modifying consensus algorithms.
• Production experience with Rust.
• Experience with formal verification tools (preferred).
• Experience working with distributed systems.

Good to Have

• Protocol performance optimization.
• Consensus security audits.
• Protocol upgrades/hard forks.
• Research background in distributed systems.