💸 CryptoJobsPal

Radix is seeking a veteran agile delivery manager and scrum master to manage the daily operations and provide guidance to a team of exceedingly motivated and intelligent developers and testers who are mostly in the first several years of their careers and are in need of an experienced hand at the wheel.

In the short term, you will work from a known product target with a well-defined plan and delivery schedule, coordinating sprints and standups, and managing the backlog to make sure we’re not failing to address anything needed for delivery.  Additionally, most of the work we do is closely related to mathematical principles or computer science theory, and there’s always a fair amount of need to deviate from the “pure” academic solution in order to get to an acceptable concrete implementation in a reasonable time frame; you’ll often be responsible for deciding the appropriate compromises when theory runs up against reality.

Long term, you’ll be working from a coherent product vision to help define what the best next steps are, fleshing out user stories, establishing requirements and milestones, and putting your own stamp on the Radix development process.

Radix is one of the rare places where the problems really are technical problems, not people problems, and we have a whole host of interesting challenges to chew on.  Also, we promise that settling the young guns down around the fire and talking about the days when you had to actually look up library function parameters in a book never gets old.

About You

• You like to run development teams. You’ve done it for a long time, you know that there’s no single right way to do it, and you have developed a sense of the things which usually work and the things which usually don’t. 
• You have a good instinctual feel for the complexity of a development problem, and can quickly determine which things will be risky/challenging and which should be straightforward.
• You are comfortable with setting a project schedule and making appropriate compromises to adhere to it.
• You like to coach and act as a mentor.
• You have released and maintained consumer-facing things in the past; your history is not limited to internal business applications.
• You’re intelligent and learn quickly.  We’re working at the very leading edge of a rapidly evolving branch of computer science, and there’s no map for most of what we do.  You will need to come up to speed on the general theory, and then it’s all critical thinking and tough problem solving from that point forward.

About Us

We’re a team of like-minded thinkers who have long been convinced that we’re living in the earliest stages of a global financial revolution. This revolution is being fueled by decentralized finance (or DeFi for short), which is enabling an assortment of pioneering developers and entrepreneurs to re-invent almost every financial product that is currently traded and invested in traditional markets, without requiring central authorities or siloed infrastructure.  DeFi has captured a great deal of attention and investment in the crypto-aware niche, growing assets under management from $1 billion to $22 billion in less than a year.  Impressive as its growth has been, its current market size isn’t even a rounding error on the over $111 trillion held in traditional finance.  We’re focused on what it will take to go from billions to trillions.

Radix went back to first principles to come up with the right technical solution—the first layer-one protocol built specifically for mainstream DeFi—and we have already tested out at over 1 million transactions per second.  We’re keenly aware that the need for an infinitely scalable platform is only one prerequisite among many for mass adoption, and we’re also blazing new ground in the areas of user experiences, developer tools, and regulatory integration.

We have forged a path deep into the future of what distributed ledger technology is going to look like, together with the business case that assures adoption, and we need you to come and be part of the team that is making that happen right now. Join us!

Qualifications and Competencies

• 8+ years as a professional software engineer, with at least 3 years in a team lead role.
• Fluent in Java or C#.
• Completely comfortable with conducting sprint planning and tracking.
• Either already capable with project management in Jira, or capable with something similar enough that you’re unworried at the prospect of jumping right into it.

At HOPR Association we are working on a challenging and foundational infrastructure component of the web3: a decentralised and incentivised mix network that allows any two parties to exchange data without third parties knowing that they are communicating and without leaking any other metadata.

Please note: for this position, it is possible to work remotely or from our office in Zurich, Switzerland.

What you’ll be creating + working on:

• Lead research and development efforts on the intersection between decentralized networks and privacy infrastructure
• Design, implement and refine the HOPR protocol. You can see the HOPR protocol at https://github.com/hoprnet
• The current version of the HOPR protocol is the bare minimal core that needs a wealth of interconnected components to make a privacy-respecting web3 stack a reality. You are expected to design and implement these layers with a growing team. Examples are overlay networks, packet retransmission, routing in a decentralized setting and dynamic resource allocation
• Support and work with the community of developers, users, investors, enthusiasts who want to use HOPR

What you bring to the team:

• Communicative team player who can work with and lead a development team in a fast-paced environment
• Desire to work on the future of privacy and trail-blaze the future of non-corporate work
• An affinity to free and open source software and community-focussed development
• Theoretical knowledge and practical experience with the internet protocol stack and protocols, minimally: IP, TCP, UDP, (QUIC,) DNS, WebRTC
• Familiarity with mixnet infrastructure and Tor along with existing limitations and issues
• Familiarity with mechanisms and common issues, minimally: proxies, NAT, firewalls, packet loss & retransmission
• Minimally 5 years hands-on development experience delivering Javascript applications in production settings

We’d be even more amazed by:

Ideally, a suitable candidate fulfils as much as possible from the following list (in order of relevance):

• Experience with libp2p
• Familiarity with elliptic curve cryptographic in theory and practice in general and pairing-based cryptography specifically
• Experience with collaborative research projects and scholarly communication
• Zero knowledge protocols such as zk-SNARKs, Bulletproofs, zk-STARKs, zk-Rollups, Optimistic Rollups
• Theoretical and practical knowledge of blockchain and crypto assets in general
• Familiarity with Ethereum and the EVM
• Motivation to communicate about your work: blogs, conferences, social media
• Experience and curiosity to work for and on a decentralised autonomous organisation (DAO) and decentralised governance

We are looking for a senior C++ Developer that has experience with Blockchain systems. The responsibility would be to design, implement and support software production solutions that will be used by our clients, write tests for the system and guarantee high quality of functional and non-functional characteristics of produced code, perform code review for other developers,  take part into making architectural decisions, transfer knowledge to other team members and mentor junior developers. The candidate will also be responsible for interviewing people that will perform development of the blockchain systems. The candidate will also need to select and integrate frameworks and libraries which will be the part of software systems and to prove his/her selection. As a senior developer, a candidate should understand the business goals of the system, plan his/her work upfront, provide correct estimations to each task and be able to foresee possible problems and eliminate them before they appear. 

Your profile

• Strong proficiency in C++, with fair knowledge of the language specification

• Thorough knowledge of the standard library, STL containers, and algorithms

• Good understanding of memory management in non-garbage collected environments

• Understanding of dynamic polymorphism and C++ specific notions, such as friend classes

• Knowledge of the latest C++11/14/17

• Knowledge of networking protocols, p2p and distributed systems

• Understanding cryptography algorithms, blockchain concepts

• Understanding of blockchain consensus algorithms work

• Knowledge of one or more blockchain protocols: Polkadot, Ethereum, Hyperledger Iroha, Hyperledger Fabric, Quorum, MultiChain, R3 Corda

• Knowledge in Rust language is a plus

• Understanding of basics in DevOps engineering

• Knowledge of principles and practices in Agile development

• Proficient understanding of code versioning tools

Soft skills:

• Impeccable communication, presentation and organizational skills

• Significant attention to details

• Maintain a positive attitude while giving and receiving constructive criticism to make improvements and take appropriate corrective actions;

• Honesty and ethic;

• Be open to changes (positive or negative) and to considerable variety in the work place;

• Willingness to take on responsibilities and challenges.

Position Details

Runtime Verification Inc (RV) is looking for a Senior Compiler Engineer to contribute to the K framework project. The ideal candidate has a strong programming background and knowledge about compilers for imperative and functional programming languages. The successful hire will show initiative and lead the maintenance of our internal compiler technologies. The selected individual will be responsible for the following:

• Maintain a compiler developed by RV for a functional programming language, and strategically identify ways to improve the scalability, performance, and reliability of the compiler. 
• Design and extend the K framework language with ideas from the term rewriting and functional programming paradigms.
• Maintain a Java and C++ codebase that parses, compiles, and interprets programs written in this language by the many semantics engineers at RV.

Requirements:

• B.S. in software engineering or equivalent.

• 5+ years of industry experience in Java or C++
• A history of development including at least one patch to an open source, mainstream compiler, or a job history on an industry team developing a compiler for an imperative, functional, or rewriting programming language

Nice to have:

• Experience as a maintainer of an open source compiler.
• Knowledge of formal methods, mathematical logic, or term rewriting.
• Familiarity with SMTLIB technology.
• Experience with LLVM and Clang.
• Knowledge of Flex/Bison.

What’s in it for you?

• Opportunity to work at the forefront of programming language design and verification. 
• Casual work environment with flexible work hours
• Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance. 

As a Senior Rust Dev at SORAMITSU, you’ll be working on some of our most exciting projects including: IROHA 2 — a ground-up rebuild of the enterprise permissioned blockchain tech we use in most of our work, and Polkaswap — the eagerly anticipated AMM DEX (decentralized exchange) we’re releasing into the Polkadot ecosystem.

This is a unique opportunity, as you won’t just be working with blockchain technology, you’ll be building critical new digital-asset and value-exchange infrastructure with a team of industry pros.

Responsibilities include:

• Design, implement and support software production.
• Write tests that guarantee high quality of functional and non-functional characteristics of produced code.
• Perform code review for other developers.
• Take part in making architectural decisions.
• Transfer your knowledge to other team members and mentor junior developers.
• Interview people that will perform the development of the blockchain systems.
• Select and integrate frameworks and libraries which will be the part of software systems (and prove your selections)
• As a senior developer, you should understand the business goals of the system, plan your work upfront, provide correct estimations to each task and be able to foresee possible problems to eliminate them before they appear.

The ideal candidate has:

• 3-6 years of experience.
• Strong proficiency in Rust, with a fair knowledge of the language specification.
• Thorough knowledge of the standard library, and algorithms.
• Knowledge of networking protocols, p2p and distributed systems.
• Understanding cryptography algorithms, blockchain concepts.
• Understanding of blockchain consensus algorithms work.
• Knowledge of one or more blockchain protocols: Hyperledger Iroha, Ethereum, Hyperledger Fabric, Quorum, MultiChain, R3 Corda, Polkadot, Cosmos or other.
• Knowledge in C++ language is a plus.
• Understanding of basics in DevOps engineering.
• Knowledge of principles and practices in Agile development.
• Proficient understanding of code versioning and git-flow.

Soft skills:

• Impeccable communication, presentation and organizational skills.
• Significant attention to details.
• Maintain a positive attitude while giving and receiving constructive criticism
• Use feedback to make improvements and take appropriate corrective actions.
• High degree of honesty and ethics.
• Be open to changes and to considerable variety in the workplace.
• Willingness to take on responsibilities and challenges.