Dr. Marek Košta
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Marek Košta
- Bis heute 7 Jahre und 7 Monate, seit Dez. 2017
Co-Founder, Sofware Engineering & Machine Learning
nettle
- 9 Monate, März 2017 - Nov. 2017
ML Specialist
GoodAI Applied
- 5 Monate, Jan. 2017 - Mai 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 Monate, Nov. 2016 - Dez. 2016
Software Developer
Solver IT (Bratislava, Slowakei)
Entwicklung von Webanwendungen (Java, Vaadin, Hibernate)
- 1 Jahr und 4 Monate, Juli 2015 - Okt. 2016
Doctoral Researcher
Deutsch-Französisches Projekt SMArT
Koordination von Teilprojekten Anleitung studentischer Hilfskräfte
- 4 Jahre, Jan. 2012 - Dez. 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 Jahre und 4 Monate, Sep. 2011 - Dez. 2016
Informatik
Max-Planck-Institut für Informatik
Automatische Verifikation Analyse komplexer Systeme Logische Theorien
- 4 Jahre und 10 Monate, Sep. 2006 - Juni 2011
Informatik
Comenius-Universität Bratislava
Theoretische Informatik Mathematik Automatentheorie
Sprachen
Deutsch
Fließend
Englisch
Fließend
Tschechisch
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.
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.