Dr. Tomas Balyo

is researching.

Bis 2019, Postdoctoral Researcher, KIT - Karlsruher Institut für Technologie
Bis 2015, PhD Theoretical computer science (AI), Charles University in Prague
Karlsruhe, Germany

Fähigkeiten und Kenntnisse

Java
Bash (Unix shell)
Algorithm Development
Parallel programming
Optimisation
Profiling
Scientific Writing
Scientific research
Python

Werdegang

Berufserfahrung von Tomas Balyo

  • Current 3 years and 5 months, since Jan 2023

    Senior AI Researcher

    Filuta AI

  • 2 years, Jan 2021 - Dec 2022

    Future Labs Researcher

    CAS Software AG
  • 1 year and 5 months, Aug 2019 - Dec 2020

    Algorithm Engineer - SAT Based Product Configuration

    CAS Software AG
  • 4 years, Aug 2015 - Jul 2019

    Postdoctoral Researcher

    KIT - Karlsruher Institut für Technologie

Ausbildung von Tomas Balyo

  • 9 years and 1 month, Sep 2006 - Sep 2015

    PhD Theoretical computer science (AI)

    Charles University in Prague

    Satisfiability solving, Automated Planning

Sprachen

  • Czech

    C1 (Fließend)

  • English

    C1 (Fließend)

  • Hungarian

    C2 (Verhandlungssicher / Muttersprachlich)

  • German

    C1 (Fließend)

  • Slovak

    C2 (Verhandlungssicher / Muttersprachlich)

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.

21 Mio. XING Mitglieder, von A bis Z