Dr. Jost Berthold

Angestellt, Haskell Engineer, Runtime Verification
Sydney, Australia

Fähigkeiten und Kenntnisse

Forschung
Implementation
Forschung und Implementierung für parallele funkti
Parallelverarbeitung
Programmiersprachen
Haskell
Scala
C
Erlang
bash
DSLs
MPI
PVM
Compiler
Cluster-Computing
Multicore-Programmierung
Parallelisierung und Plattformwechsel für Anwendun
internationale Forscherkontakte
Lehre
Schule
Universität
Hadoop Map-Reduce

Werdegang

Berufserfahrung von Jost Berthold

  • Current 4 years and 2 months, since May 2022

    Haskell Engineer

    Runtime Verification

  • 5 years and 1 month, May 2017 - May 2022

    Senior Software Engineer

    Digital Asset

  • 2 years and 3 months, Mar 2015 - May 2017

    Development Specialist

    Commonwealth Bank of Australia

    Core Engineering für Omnia Analytics Platform (big data analytics)

  • 3 years and 10 months, May 2011 - Feb 2015

    Assistant Professor (Adjunkt)

    University of Copenhagen

    Arbeitsgruppe Algorithmen und Programmiersprachen, Mitarbeit in Projekt HIPERFIT.

  • 2 years and 2 months, Mar 2009 - Apr 2011

    Developer (PostDoc)

    University of Copenhagen

    Entwicklungsprojekt -Middleware für ein nationales Grid

  • 4 months, Nov 2008 - Feb 2009

    Research Fellow

    University of St.Andrews

    Systementwicklung und -Wartung für das Projekt SCIEnce

  • 3 months, Jul 2008 - Sep 2008

    Intern

    Microsoft Research

    Analyse und Optimierung der Multicore-Unterstützung im Glasgow-Haskell Compiler

  • 6 years, May 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 year and 9 months, 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 years and 2 months, May 2003 - Jun 2008

    Informatik

    Philipps-Universität Marburg

    Parallel-funktionale Sprachen und ihre Implementierung

  • 6 years and 4 months, 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

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • English

    C1 (Fließend)

  • French

    C1 (Fließend)

  • Danish

    A1-A2 (Grundkenntnisse)

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 21 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z