Dr. Benjamin C. Herd
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Benjamin C. Herd
- Current 4 years and 2 months, since Apr 2022
Founder
HERD Complexity
- Current 7 years, since Jun 2019
Chief Scientific Officer
GlobalABM Ltd
- 5 years, Sep 2015 - Aug 2020
Visiting Research Fellow
Department of Informatics, King's College London
- 3 years and 11 months, Jul 2015 - May 2019
Forschungsingenieur
Robert Bosch GmbH, Forschung und Vorausentwicklung
Game theory, multiagent systems & simulation, Economy of Things, Blockchain technology
- 1 month, Nov 2016 - Nov 2016
Gastdozent
HECTOR School of Engineering and Management
- 1 year and 5 months, Feb 2014 - Jun 2015
Research Associate
King's College London
Multiagent systems & simulation, software verification (model checking), formal methods
- 5 years and 1 month, May 2010 - May 2015
Software & Research Engineer
Sandtable Ltd., London (UK)
Agent-based modelling, software engineering, C++ development
- 1 year and 2 months, Apr 2009 - May 2010
Software Engineer
Icon Technology & Process Consulting Ltd., Windsor (UK)
- 2 years and 7 months, Sep 2006 - Mar 2009
Wissenschaftlicher Mitarbeiter
FZI Forschungszentrum Informatik, Karlsruhe
- 2 years, Sep 2004 - Aug 2006
Software-Entwickler
MagicMaps GmbH, Pliezhausen
- 6 months, Sep 2003 - Feb 2004
Trainee Software Development
MagicMaps GmbH, Pliezhausen
- 6 months, Mar 2003 - Aug 2003
Trainee Software Development
Tecnomatix GmbH, Stuttgart
Ausbildung von Benjamin C. Herd
- 2012 - 2015
Software Engineering
University of Oxford (Exeter College)
Functional Programming, Concurrent Programming, Software Engineering Mathematics, Model Checking (CSP), Concurrency & Distributed Systems (CSP), Performance Modelling, Software Product Lines, Specification & Design (Z notation), Safety Critical Systems, Security Principles
- 2010 - 2014
Informatik
King's College London
Dissertation: Statistical runtime verification of agent-based simulations
- 2005 - 2007
Informatik
FernUniversität Hagen
Künstliche Intelligenz und intelligente Informationssysteme
- 2000 - 2004
Informatik
nta Hochschule Isny
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
XING Mitglieder mit ähnlichen Profilangaben
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.