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.
Kyoto, Kyoto Prefecture, Japandailambda.jpInaccurate data? Flag it here.
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.