Dr. Matthias Horbach
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Matthias Horbach
- 3 years and 11 months, Nov 2012 - Sep 2016
Forscher und Entwickler
Max-Planck-Institut für Informatik
Forscher im Projekt AVACS zur Entwicklung von Methoden zur mathematischen Verifikation und Analyse von Modellen sicherheitskritischer eingebetteter Systeme. Leitender Entwickler des Beweisers H-Pilot und des Programms HAHA zur Analyse hybrider Systeme. Seit 2016 Administrator und Hardware-Beauftragter der Arbeitsgruppe.
- 3 years and 2 months, Nov 2012 - Dec 2015
Forscher
Universität Koblenz-Landau
Entwicklung von Methoden zur Analyse und Verifikation von sicherheitkritischen eingebetteten Systemen im Sonderforschungsbereich AVACS (http://www.avacs.org) Leitender Entwickler von HAHA, einem Programm zur Sicherheits-Analyse strukturierter hybrider Systems Leitender Entwickler von H-Pilot, einem hierarchischen Beweiser für lokale Theorie-Erweiterungen
- 1 year and 10 months, Jan 2011 - Oct 2012
Forscher
University of New Mexico
Entwicklung von Methoden zur Programmanalyse und -verifikation
Ausbildung von Matthias Horbach
- 4 years, Jul 2006 - Jun 2010
Informatik
Universität des Saarlandes
Automatisches Beweisen Entscheidungsverfahren
- 5 years and 10 months, Oct 2000 - Jul 2006
Informatik
Universität des Saarlandes
Theoretische Informatik Beweistheorie Semantik von Programmiersprachen
- 4 years and 9 months, Oct 2000 - Jun 2005
Mathematik
Universität des Saarlandes
Algebra, algebraische Topologie
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
Japanese
A1-A2 (Grundkenntnisse)
French
A1-A2 (Grundkenntnisse)
Portuguese
A1-A2 (Grundkenntnisse)
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.