Dr. Marek Košta
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Marek Košta
- Current 8 years and 6 months, since Dec 2017
Co-Founder, Sofware Engineering & Machine Learning
nettle
- 9 months, Mar 2017 - Nov 2017
ML Specialist
GoodAI Applied
- 5 months, Jan 2017 - May 2017
Postdoctoral Research
Institut für Informatik, Slowakische Akademie der Wissenschaften
Forschung in Bereichen "Symbolisches Rechnen, "Automatisches Beweisen", "Erfüllbarkeitsprüfen" Arbeit im Rahmen internationaler Forschungsprojekten
- 2 months, Nov 2016 - Dec 2016
Software Developer
Solver IT (Bratislava, Slowakei)
Entwicklung von Webanwendungen (Java, Vaadin, Hibernate)
- 1 year and 4 months, Jul 2015 - Oct 2016
Doctoral Researcher
Deutsch-Französisches Projekt SMArT
Koordination von Teilprojekten Anleitung studentischer Hilfskräfte
- 4 years, Jan 2012 - Dec 2015
Doctoral Researcher
Transregional Collaborative Research Center SFB/TR 14 AVACS
Ich bin wissenschaftlicher Mitarbeiter in Forschungsgruppe Namens "Automation of Logic".
Ausbildung von Marek Košta
- 5 years and 4 months, Sep 2011 - Dec 2016
Informatik
Max-Planck-Institut für Informatik
Automatische Verifikation Analyse komplexer Systeme Logische Theorien
- 4 years and 10 months, Sep 2006 - Jun 2011
Informatik
Comenius-Universität Bratislava
Theoretische Informatik Mathematik Automatentheorie
Sprachen
German
C1 (Fließend)
English
C1 (Fließend)
Czech
C1 (Fließend)
Slowakisch
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.