Tezos home
News
Gear

Introduction

Getting StartedWhat is Tezos?Store & UseBake (Validate)Activate

Blockchain 101

What are Blockchains?What is an NFT?What is a Crypto Wallet?What is Proof of Stake?

About Tezos

Discover TezosBuild on TezosStats & FactsEnergy Footprint

Developer Resources

Developer PortalWrite a smart contractUpgradesBaking & Governance

Hackathons

Discover HackathonsParticipateOrganizeCollaborateSee all Hackathons

Get Involved

Buy TezTezos WalletsEcosystem ProjectsCareersCommunity

Events

TezDev ParisArt BaselParis+RespawnSXSW

Partnerships

Manchester UnitedRed Bull RacingMcLarenTeam VitalityMisfits GamingUbisoft
Careers

Tezos ecosystem career opportunities

Tezos is the product of many organizations and individuals across the globe working together on an open-source project.

Search 
jobs
 19
Explore 
companies
 22
Talent
 network
My job alerts
DaiLambda
DaiLambda
dailambda.jp

Locations

Kyoto, Kyoto Prefecture, Japan

Size

1 - 10 employees

founded in

2018

We are a company that works on the security of social infrastructure systems such as cryptocurrencies by formal verification technology such as type system, static analysis, model checking, and theorem proving.

Something looks off?
Open jobs at DaiLambda
This company does not have jobs relevant to this job board at this time.
To view all their jobs, visit their website.
Privacy policyCookie policy