Dr. Martin Bromberger
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Martin Bromberger
- Current 11 years and 11 months, since Jul 2014
Wissenschaftlicher Mitarbeiter
Max-Planck-Institut für Informatik
Forschungsgruppe: Automation of Logic. Zu meinen Aufgaben zählten die Entwicklung und Implementierung von Techniken für lineare Arithmetik – auch bekannt als (Mixed Integer) Linear Programming. Des Weiteren habe ich als Teil meiner Tätigkeit SPASS-SATT entwickelt, einen der führenden SMT-Solver ("Satisfiability Modulo Theories"-Solver) für lineare Arithmetik.
- 2 years and 10 months, Oct 2011 - Jul 2014
Wissenschaftliche Hilfskraft
Max-Planck-Institut für Informatik
Forschungsgruppe: Automation of Logic Zu den Aufgaben zählten die Implementierung eines Parsers und Lexers für die schnelle Bearbeitung von großen Eingabedateien und die Implementierung verschiedenster arithmetischer Entscheidungsprozeduren (Dualer Simplex, Branch-and-Bound, Cooper Elimination)
Tutor für die Veranstaltung „Programmierung 1“, gehalten von Prof. Dr. Gert Smolka. Meine Aufgaben umfassten die Betreuung von Studenten im Rahmen von Übungsgruppen und Sprechstunden, Vor- und Nachbereitung der Vorlesung sowie Korrektur von Übungsblättern und Klausuren.
Ausbildung von Martin Bromberger
- 5 years and 6 months, Jul 2014 - Dec 2019
Informatik
Universität des Saarlandes
Titel der Dissertation: „Decision Procedures for Linear Arithmetic“ Gesamtnote: summa cum laude
- 2012 - 2016
Informatik
Universität des Saarlandes
Titel der Masterarbeit: „Analysis and Implementation of LIA Solvers: CutSAT and BBSAT” Abschlussnote: 1.0
- 2009 - 2012
Informatik
Universität des Saarlandes
Titel der Bachelorarbeit: „Adapting the Simplex Algorithm for Superposition Modulo Linear Arithmetic” Nebenfach: Mathematik Abschlussnote: 1.4
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.