Dr. Tino Teige
Angestellt, Chief Research Engineer, Head of Innovation & Technology, BTC Embedded Systems AG
Oldenburg, Deutschland
Werdegang
Berufserfahrung von Tino Teige
Bis heute 8 Jahre und 6 Monate, seit Jan. 2016
Chief Research Engineer, Head of Innovation & Technology
BTC Embedded Systems AG1 Jahr und 4 Monate, März 2015 - Juni 2016
Senior Software Engineer (commissarial) "Specification & Verification"
BTC Embedded Systems AG3 Jahre und 3 Monate, Okt. 2012 - Dez. 2015
Research Engineer Innovation & Technology
BTC Embedded Systems AG2 Monate, Mai 2013 - Juni 2013
Visiting Researcher
University of Oxford
2 Jahre und 10 Monate, Okt. 2002 - Juli 2005
Student Assistent
Universität Rostock
6 Monate, Okt. 2003 - März 2004
Internship
ANOVA Multimedia Studios GmbH, Rostock, Germany
Ausbildung von Tino Teige
6 Jahre und 10 Monate, Nov. 2005 - Aug. 2012
Computer Science
Universität Oldenburg
Stochastic Satisfiability Modulo Theories: A Symbolic Technique for the Analysis of Probabilistic Hybrid Systems (Doctoral dissertation)
5 Jahre, Okt. 2000 - Sep. 2005
Computer Science
Universität Rostock
Theoretical Computer Science, Zum Transversal-Problem auf Hypergraphen und seiner Bedeutung (Diploma thesis)
Sprachen
Deutsch
Muttersprache
Englisch
Fließend