ÂÜÀòÂÒÂ×

Jost Berthold

Haskell Engineer at Runtime Vеrification

Jost Berthold holds a Ph.D from Philipps-Universitat Marburg, Germany, for research on parallel programming with functional languages. Following his Ph.D he held academic positions at the University of St. Andrews (Post-doc.) and the University of Copenhagen - DIKU (Post-doc., assistant professor), researching parallel functional programming and DSLs for mathematical finance. In 2015, Jost became a software engineer in Sydney, and has since worked on a contract language (Daml) and a major software solution using distributed ledger technology, as well as a big data analytics platform for a major Australian bank.


Org chart

Sign up to view 0 direct reports

Get started