Lead Software Engineer (Semiconductor Verification & Tooling)
SatoshiLabs Group is a Czech bitcoin-first technology holding focused on self-sovereignty, digital security, decentralized finance, and open-source innovation. It operates companies offering crypto self-custody, bitcoin acquisition and trading, secure hardware, and peer-to-peer bitcoin trading.
About SatoshiLabs Group
SatoshiLabs Group is a Czech technology holding that creates hardware and software innovations in crypto and open source. The group develops and operates Trezor hardware wallets and software for secure self-custody, Invity tools for buying, selling, and saving bitcoin, Tropic Square open and auditable secure chips, and Vexl’s privacy-focused peer-to-peer bitcoin trading app. It serves cryptocurrency users globally, from newcomers to experienced users, with an emphasis on security, privacy, accessibility, and individual financial independence.
Skills
About the Role
You will design and maintain core software and hardware verification flows and a hardware modelling framework. You will build internal tooling and infrastructure that serves both the project and the wider open source community. You will drive architectural decisions and the long term technical direction of the codebase. You will explore adjacent technical areas such as verification cybersecurity and EDA as needed and you will go deep where curiosity takes you. You will collaborate with external contributors in a public technically demanding setting.
Requirements
- Senior software engineer with a track record of designing and maintaining complex systems
- Either you've led a small team and want to keep doing it, or you're a senior IC with the instincts to mentor and steer without formal reports
- Background or genuine interest in hardware, EDA, or embedded development
- Experience or interest in security
- Comfortable thinking in terms of trade-offs and second-order effects, not just shipping the next feature
- At home in a Unix/Linux environment and in open-source workflows (public reviews, issue trackers, async collaboration)
Responsibilities
- Developing and expanding automated flows and hardware modelling framework
- Building internal tooling and infrastructure that serves both the project and the wider open source community
- Driving architectural decisions and the long term technical direction of the codebase
- Exploring adjacent technical areas (verification, cybersecurity, EDA) as the work demands, with room to go deep where you're curious
- Collaborating with internal teams and external contributors in a public, technically demanding setting
Benefits
- Hybrid by default: work from the Prague office remotely or mix the two
- Autonomy and deep focus
- In-person team meetups in Prague a few times a year for planning and architecture work