Roger Bosman
Software Engineer Language Team at Digital Asset
Based in Zurich, Switzerland
7-day free trial · no credit card
Seniority
Other
Department
Other
Location
Zurich
Industry
Financial Services
Company size
368
Contact information
Reveal Roger's email and phone
Direct contact data is gated. Sign up and reveal. You only pay for verified records.
r•••••••@digitalasset.com
Phone
5 credits+41 ••• •••• ••••
You only pay for valid records. Bounced emails and disconnected numbers cost nothing.
Background
About Roger Bosman
I am passionate about the development and formal correctness of programming language implementations, as well as advancing their design. While my expertise lies in type systems and formal reasoning, I am excited to explore diverse opportunities in software engineering that leverage functional or dependently typed programming. I am particularly drawn to roles involving the development or application of (high-level) languages, such as those of a Formal Methods Engineer, Programming Language Engineer, or Compiler Engineer. Beyond this, I am eager to explore new domains where formal reasoning plays a key role, including blockchain technology and decentralized systems—driven in part by my interest in decentralized finance and its transformative potential—as well as hardware verification, where reliability is paramount.
Decision-makers
Other people at Digital Asset
Build a list of verified contacts at Digital Asset
Free for 7 days · 50 credits · no card · only pay for verified records.
Reach more buyers like Roger
250M+ professionals with verified email and phone. You only pay for records that actually verify.
7-day trial · no credit card · cancel anytime