Navigation überspringen

Miriam Polzer

is researching.

Angestellt, Wissenschaftlicher Mitarbeiter, Friedrich-Alexander Universität Erlangen-Nürnberg
Erlangen, Deutschland

Werdegang

Berufserfahrung von Miriam Polzer

  • Bis heute 7 Jahre und 5 Monate, seit 2018

    Wissenschaftlicher Mitarbeiter

    Friedrich-Alexander Universität Erlangen-Nürnberg

    Combining category theory, logics and formal methods in software engineering to investigate verification properties of isolated program effects (e.g. memory management).

  • 2016 - 2018

    Co-Founder

    CouchpotatoZ GmbH

    Developing part of a leisure activities platform doing full stack web development in Vaadin, a Java framework.

Ausbildung von Miriam Polzer

  • 2015 - 2018

    Computer Science

    Friedrich-Alexander-Universität Erlangen-Nürnberg

    Program Verification, Logics and Category Theory

Sprachen

  • Portugiesisch

    Grundlagen

  • 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