Dr. Jens Bendisposto

Angestellt, Wissenschaftlicher Angestellter, Universität Düsseldorf
Düsseldorf, Deutschland

Fähigkeiten und Kenntnisse

Clojure / ClojureScript
Java
Formale Methoden
B Methode
abstrakte Interpretation
Prolog
statische Analyse
Software-Verifikation
Software-Engineering
Funktionale Programmierung
Software-Architecture
Compilerbau

Werdegang

Berufserfahrung von Jens Bendisposto

  • Bis heute 6 Jahre und 11 Monate, seit Sep. 2018

    Wissenschaftlicher Angestellter

    Heinrich Heine Universität

  • Bis heute 6 Jahre und 11 Monate, seit Sep. 2018

    Berater

    innoQ Deutschland GmbH
  • Bis heute 17 Jahre und 7 Monate, seit Jan. 2008

    Wissenschaftlicher Angestellter

    Universität Düsseldorf

Ausbildung von Jens Bendisposto

  • 7 Jahre und 1 Monat, Jan. 2008 - Jan. 2015

    Informatik

    Heinrich-Heine-Universität

    Software-Verifikation

  • 1 Jahr und 3 Monate, Okt. 2006 - Dez. 2007

    Informatik

    Universität Düsseldorf

    Schwerpunkte: Compilerbau, Formale Methoden, Modelchecking, Prolog

  • 2 Jahre und 1 Monat, Okt. 2004 - Okt. 2006

    Informatik

    Universität Düsseldorf

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

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