Julian Brunner
Suchst Du einen anderen Julian Brunner?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Julian Brunner
Chair for Logic and Verification Themen: Transitionssysteme, Automaten, Modelchecking Tätigkeiten: Mathematische Modellierung, Implementierung und Verifikation von Algorithmen, Formalisierung mit Beweisassistenten, Verfassen von Papieren, Vorträge auf wissensschaftlichen Konferenzen, Betreuung von Studenten, Lehrtätigkeiten, Organisation am Lehrstuhl Technologien: Isabelle/HOL, Standard ML,
Intelligent Autonomous Systems Group, Robotiklabor Themen: Datenvisualisierung, Robotik, Machine Learning, Computer Vision, Augmented Reality Tätigkeiten: Anforderungsorientierte Softwareentwicklung, Instandhaltung und Debugging von bestehenden Systemen, Implementierung und Evaluation neuer Algorithmen zu Forschungszwecken Technologien: C#, OpenGL, YARP, ROS, C/C++, LIBSVM, Qt, Python, OpenCV, Linux, Subversion, Git
Ausbildung von Julian Brunner
- 5 Jahre und 7 Monate, Juli 2014 - 2020
Computer Science
TU München
Formal Verification, Omega Automata, Model Checking
- 2 Jahre und 9 Monate, Okt. 2011 - Juni 2014
Computer Science
TU München
Formal Methods
- 3 Jahre, Okt. 2008 - Sep. 2011
Computer Science
TU München
Mathematics
Sprachen
Deutsch
Muttersprache
Englisch
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.
22 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.