Jost Berthold

Haskell Engineer at Runtime Verification Inc
  • Claim this Profile
Contact Information
us****@****om
(386) 825-5501
Location
Sydney, New South Wales, Australia, AU
Languages
  • German Native or bilingual proficiency
  • English Full professional proficiency
  • French Professional working proficiency
  • Danish Elementary proficiency
Skills

Topline Score

Topline score feature will be out soon.

Bio

Generated by
Topline AI

You need to have a working account to view this content.
Join now
You need to have a working account to view this content.
Join now

Experience

  • Runtime Verification Inc
    • United States
    • Software Development
    • 1 - 100 Employee
    • Haskell Engineer
      • May 2022 - Present
  • Digital Asset
    • United States
    • Software Development
    • 100 - 200 Employee
    • Senior Software Engineer
      • May 2017 - May 2022
  • Commonwealth Bank
    • Australia
    • Financial Services
    • 700 & Above Employee
    • Development Specialist
      • Mar 2015 - May 2017
  • University of Copenhagen
    • Denmark
    • Research
    • 700 & Above Employee
    • Adjunkt (Assistant Professor)
      • May 2011 - Feb 2015

    • PostDoc
      • Mar 2009 - Apr 2011

      Development for Danish National Grid Project, Research

  • University of St Andrews
    • United Kingdom
    • Higher Education
    • 700 & Above Employee
    • PostDoc
      • Nov 2008 - Feb 2009

      Research Developer in Project SCIEnce (Parallel symbolic computation), Research Research Developer in Project SCIEnce (Parallel symbolic computation), Research

  • Microsoft Research
    • Think Tanks
    • Research Intern
      • Jul 2008 - Sep 2008

      Analyses and optimisations of the multicore support for parallel Haskell in GHC, working with Simon Marlow Analyses and optimisations of the multicore support for parallel Haskell in GHC, working with Simon Marlow

  • Philipps-Universität Marburg
    • Germany
    • Higher Education
    • 1 - 100 Employee
    • Wissenschaftlicher Mitarbeiter
      • May 2002 - Apr 2008

      Scientific Assistant, research and teaching in computer science Scientific Assistant, research and teaching in computer science

  • Arcor
    • Telecommunications
    • 400 - 500 Employee
    • Junior System Engineer
      • Sep 2000 - Apr 2002

Education

  • Philipps-Universität Marburg
    Dr.rer.nat., Computer Science
    2003 - 2008
  • Philipps-Universität Marburg
    Diploma, Computer Science
    1997 - 2003
  • Philipps-Universität Marburg
    1. State Exam for High-school teaching
    1992 - 1999

Community

You need to have a working account to view this content. Click here to join now