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:
The primary purpose of this role is to develop high-quality software solutions that meet customer needs. You will be responsible for writing high-quality code for our products. You will work with cutting-edge research and technology. To support you on this challenge, our products have software architects, product managers, project managers, formal methods specialists and QA test engineers, with whom you must communicate professionally, effectively and efficiently.
The Plutus Core team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems. This team has designed and implemented four languages for Cardano smart contracts (Plinth, Plutus IR, Typed Plutus Core, and Untyped Plutus Core) and improved the compiler and runtime with more built-in functions and optimizations, expanding the expressiveness, capability and security of smart contracts on Cardano. The team has formalized the semantics of Typed and Untyped Plutus Core using Agda, developed novel compilation techniques for data types, and Implemented a compiler for compiling Plinth into Untyped Plutus Core, which uses Plutus IR and Typed Plutus Core as intermediate representations. They also implemented evaluators for Typed and Untyped Plutus Core, in Haskell and Agda. They also contributed to Cardano ledger updates for smart contracts, and published peer-reviewed research. .
Coding and Development:
Testing and Debugging:
Code Reviews and CI/CD:
Software Architecture and Security:
Documentation and Research:
Release Management and Agile Practices:
Blockchain and Distributed Systems Knowledge:
Collaboration and Independence:
Plutus Core
Who you are:
Are you an IOGer?
Do you find yourself questioning the status quo? Do you tinker with ideas and long to turn those ideas into solutions? Are you able to spark thoughtful debates, bringing out the inquisitiveness in others? Does the promise of continuously growing excite you? Then get ready to reimagine everything you thought wasn’t possible because that’s what it means to be an IOGer - we don’t set limits, we break them.
At IOG, we value diversity and always treat all employees and job applicants based on merit, qualifications, competence, and talent. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.
An 8-week paid summer internship for an aspiring software engineer to contribute to cutting-edge wildfire mitigation technologies in Sausalito.
Senior Engineers are needed at American Express to design, develop, and optimize software applications and automated solutions for enhanced customer experiences.
Exciting opportunity to impact millions by leading performance optimization for Google Pixel’s Android Camera app within a globally innovative technology company.
An exciting opportunity to contribute as a .NET Developer at TRINETIX, driving advanced software architecture solutions in a dynamic, global tech company.
Pacific Life is looking for a skilled Software Engineer to develop and manage agile corporate applications and data integration solutions in Newport Beach, CA.
Experienced SAP ABAP engineer needed to drive SAP S/4 HANA RTR transformations at NBCUniversal in a fully remote role.
A Senior Fullstack Software Engineer role at Addepar focused on architecting and implementing scalable distributed systems to enable third-party integration at scale.
Hebbia is hiring a Backend Engineer to develop high-scale backend systems that power their AI-driven knowledge platform, working onsite in New York City.
Palo Alto Networks seeks a Senior Software Engineer in Test with expertise in automation and cloud technologies to advance the Prisma SASE security platform.
Patreon is looking for an experienced Staff Full Stack Engineer to develop and scale their payment systems, enabling creators to get paid seamlessly and on time.
Samsara is seeking a technical leader Staff Software Engineer to drive architectural innovation and build scalable platform systems for their connected operations cloud.
Lead development of large-scale machine learning systems for Coupang’s innovative advertising technology as a Staff Machine Learning Engineer.
Kubernetes Operator Engineer role at ClickHouse to design and enhance a pivotal cloud platform component managing distributed database clusters.
Subscribe to Rise newsletter