Solver Architect / Rust Engineer

Who is Smart Transactions?

The Smart Transaction Protocol (stxn.io) is a Decentralized General Purpose Matching Engine for enabling Hybrid Applications. Our infrastructure extends the capabilities of Ethereum transactions to be context aware (dynamically execution based on context at runtime), interactivity with other transactions across timelines and with offchain agents (Solvers/Searchers). This is our L1.5 offering which leverages innovations from our MEV research (https://mevolution.io/) from 3+ years. Our demos at https://demo.stxn.io/ and docs at https://docs.stxn.io/ and Devnet at https://www.lestnet.org/

STXN was founded by Vlad Zamfir (Ethereum Foundation researcher and Ethereum founding architect who engineered the proof of stake transition), and Anuj Das Gupta (ex-CTO at Ubisoft who engineered blockchain network for NASDAQ). We raised our pre-seed round in the summer of 2023 and are launching our MVP in Q2 2024.

Our MEV infrastructure is aimed at:

• Solving real world problems which includes but is not limited to the problem of optimizing swaps.

• Enabling Hybrid applications (Happs) = Ease of Classic Web applications + the Cryptoeconomic security of crypto

Please send an email with your CV and some words about yourself alongside salary expectations to Maria: maria@stxn.io

This role is full-time. Job is remote but your working hours have to align with either IST or CEST.

What will you be doing?

Arch + Coding of General Purpose Solvers. Not a Manager. A Visionary of course.

• Build Solvers/Searchers to optimize problems more than swaps.

• Design and manage our Solver Strategy, ensuring our bundles are accepted within a free market of solvers

• Collaborate with cross-functional teams across crypto to define, design, and ship new features and improvements with a readiness to iterate over to get the best products out.

• Work closely with solidity engineers and blockchain architects to translate high-level designs into robust and efficient code.

What do we need?

• A fan of the Hybrid Application path.

• At least 5 years of experience in software development, with a strong focus on Rust programming. Proven track record of GitHub open-source contributions

• Experience developing and deploying smart contracts on the Ethereum mainnet while designing cryptoeconomic security around those. Familiarity with best practices in dapp security and auditing.

• A deep exposure to the popular Ethereum DeFi strategies that are leveraged by Solvers, such as CowSwap, 1inch, UniswapX. Along with a indepth knowledge of the inner works of PBS.

• Prior experience building formal verification tooling is preferred, especially with Symbolic Analysis and Fuzzing.

Benefits

• Competitive salary and benefits

• Flexible working hours and a fully remote work environment

• Challenge and be challenged

• A dynamic and supportive team culture that values diversity, directness, dedication, diligence, and personal growth.