The Formal Methods Engineer develops specifications, models, and proofs for smart contracts, ensuring compliance and security in blockchain applications. Responsibilities include performing analyses, mentoring, and integrating formal methods into development processes.

Top Skills: Formal MethodsGitHaskellPlutusProperty-Based TestingSmart ContractsStatic Analysis

Input Output

Senior Site Reliability Engineer - Midnight

Reposted 10 Days AgoSaved

Remote

United Kingdom

Senior level

Blockchain • Software

As a Senior SRE, you will enhance reliability across our cloud infrastructure by automating tasks, designing robust systems, and improving collaboration between dev and ops teams.

Top Skills: ArgocdAWSCi/CdGithub ActionsGoHelmJavaScriptKubernetesOpentelemetryPrometheusPythonRustTerraform

Input Output

Rust Software Engineering Manager - Midnight

10 Days AgoSaved

Remote

United Kingdom

Senior level

Blockchain • Software

The Engineering Manager will lead a team in software development for the Midnight blockchain, focusing on technical leadership and team management.

Top Skills: Ci/CdGitJavaScriptRustTypescript

Input Output

Product Marketing Manager - Catalyst

Reposted 10 Days AgoSaved

Remote

United Kingdom

Mid level

Blockchain • Software

The Product Marketing Manager will develop and execute marketing strategies for Catalyst, focusing on understanding user needs, building investor relations, and creating effective promotional materials.

Top Skills: B2BB2CBlockchainMarketingProduct Management

Input Output

Senior Legal Counsel - Midnight

Reposted 10 Days AgoSaved

Remote

United Kingdom

Senior level

Blockchain • Software

Senior Legal Counsel responsible for providing legal guidance in a blockchain organization, managing compliance and risks, and collaborating with various teams.

Top Skills: BlockchainZero-Knowledge (Zk) Proofs

Input Output

Software Engineer (Prototype) - Innovation R&D

Reposted 10 Days AgoSaved

Remote

United Kingdom

Mid level

Blockchain • Software

As a prototype engineer, you'll develop prototypes and models in collaboration with stakeholders, and communicate project statuses regularly.

Top Skills: BlockchainProgramming LanguagesRust

Input Output

Business Development Specialist - Catalyst

Reposted 10 Days AgoSaved

Remote

United Kingdom

Mid level

Blockchain • Software

The role involves developing new leads, maintaining investor relationships, conducting market research, and representing Catalyst at industry events.

Top Skills: BlockchainCryptocurrency

Input Output

Research Communication and Partnerships Manager

Reposted 10 Days AgoSaved

Remote

United Kingdom

Mid level

Blockchain • Software

The Research Communications and Partnerships Manager will enhance research visibility through effective internal and external communication, specialize in translating complex concepts, and build strategic partnerships.

Top Skills: AIBlockchainDefiWeb3

Input Output

Applied Cryptographer - Innovation R&D

Reposted 10 Days AgoSaved

Remote

United Kingdom

Senior level

Blockchain • Software

The Applied Cryptography Researcher will conduct cutting-edge research, implement cryptographic systems, and ensure effective communication with teams. Responsibilities include leading research, prototyping systems, and contributing to academic publications.

Top Skills: Blockchain CryptographyCryptographyElliptic Curve CryptographyGitIpa Commitment SchemePlonkZk Protocols

Input Output

Marketing Experience Strategist

Reposted 10 Days AgoSaved

Remote

United Kingdom

Senior level

Blockchain • Software

The Marketing Experience Strategist leads full-funnel marketing campaigns, requiring expertise in blockchain and Web3 technologies, managing stakeholders and creative processes.

Top Skills: Google DocsJIRAMS OfficeMiroPresentation SoftwareSlack