Navigation überspringen

Dr. Patrick Michel

Angestellt, Software Developer, consistec Engineering & Consulting GmbH
Kaiserslautern, Deutschland

Fähigkeiten und Kenntnisse

programming languages
compiler
parser
language tools
data types
functional programming
Haskell
Java
logic
theorem proving
formal methods
software architecture
software design
domain specific languages
C/C++
PHP
data modeling
data structures
formal languages
formal verification
compiler construction

Werdegang

Berufserfahrung von Patrick Michel

  • Bis heute 9 Jahre und 5 Monate, seit Jan. 2016

    Software Developer

    consistec Engineering & Consulting GmbH

  • 2 Jahre, Jan. 2014 - Dez. 2015

    Software Developer

    KeDev Services GmbH

    Design and implementation of various information systems in productive use and in development. Experience with various dependency injection frameworks (Spring, Guice, CDI), web toolkits (Vaadin, Wicket), servlet containers (Tomcat 7/8, JEE6), relational databases (PostgreSQL, H2), JPA and its providers (EclipseLink, Hibernate), key-value stores (Cassandra), test frameworks (JUnit, Spock, Mockito) and countless other libraries and tools (e.g. Guava, Typesafe Config, RestEasy, Flyway, etc.).

  • 2009 - 2013

    Research and Teaching Assistant

    University of Kaiserslautern

    Responsible for assisting the creation and improvement of courses, exercise planning and execution, as well as 10 student teaching assistants. Supervisor of Bachelor and Master students (10+), as well as seminar students. Main developer and maintainer of the Katja tool. Consultant of the Emergence project of the Software-Cluster. Creator of the XCend approach as part of the PhD.

Ausbildung von Patrick Michel

  • 2007 - 2013

    Computer Science

    University of Kaiserslautern

    programming, data integrity, data binding, higher-order logic, verification, functional programming

  • 2001 - 2007

    Computer Science

    University of Kaiserslautern

    programming, data integrity, XML

Sprachen

  • Englisch

    Fließend

  • Deutsch

    Muttersprache

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.

21 Mio. XING Mitglieder, von A bis Z