Dr. Jost Berthold
Angestellt, Haskell Engineer, Runtime Verification
Sydney, Australien
Werdegang
Berufserfahrung von Jost Berthold
Bis heute 2 Jahre und 2 Monate, seit Mai 2022
Haskell Engineer
Runtime Verification
5 Jahre und 1 Monat, Mai 2017 - Mai 2022
Senior Software Engineer
Digital Asset
2 Jahre und 3 Monate, März 2015 - Mai 2017
Development Specialist
Commonwealth Bank of Australia
Core Engineering für Omnia Analytics Platform (big data analytics)
Arbeitsgruppe Algorithmen und Programmiersprachen, Mitarbeit in Projekt HIPERFIT.
Entwicklungsprojekt -Middleware für ein nationales Grid
4 Monate, Nov. 2008 - Feb. 2009
Research Fellow
University of St.Andrews
Systementwicklung und -Wartung für das Projekt SCIEnce
3 Monate, Juli 2008 - Sep. 2008
Intern
Microsoft Research
Analyse und Optimierung der Multicore-Unterstützung im Glasgow-Haskell Compiler
6 Jahre, Mai 2002 - Apr. 2008
wiss. Mitarbeiter (Parallelverarbeitung, funktionale Sprachen)
Philipps-Universität Marburg
Forschung und Lehre, theoretische Informatik: Theorie der Programmierung, Promotion, parallele funktionale Programmierung
1 Jahr und 9 Monate, Aug. 2000 - Apr. 2002
Junior-Systemplaner
Arcor AG
Wartung, Entwicklung und Produktionssupport für Schnittstellen zur Kundenverwaltungssoftware (Werksstudent 3d/w während meines Hauptstudiums)
Ausbildung von Jost Berthold
5 Jahre und 2 Monate, Mai 2003 - Juni 2008
Informatik
Philipps-Universität Marburg
Parallel-funktionale Sprachen und ihre Implementierung
6 Jahre und 4 Monate, 1997 - Apr. 2003
Informatik
Philipps-Universität Marburg
funktionale Programmierung, parallele Programmierung, Software-Engineering, Grafikprogrammierung
1992 - 1999
Philipps-Universität Marburg
Fächer Mathematik / Französisch
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Fließend
Dänisch
Grundlagen