Dr. Thomas Tuerk
Suchst Du einen anderen Thomas Tuerk?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Thomas Tuerk
- Bis heute 3 Jahre und 6 Monate, seit Jan. 2022
Freiberufler
IT Dienstleistungen Dr. Thomas Türk
Ich biete als Freiberufler IT-Dienstleistungen und IT-Beratung. Unter anderem biete ich Systementwicklung und -instandhaltung sowie Beratung und Schulungen für Unternehmen sowie Privatpersonen an. Mein Schwerpunkt liegt bei formalen Methoden und interaktivem Theorembeweisen, ich arbeite jedoch auch in anderen Bereichen.
- 7 Monate, Apr. 2017 - Okt. 2017
Postdoktor
KTH Royal Institute of Technology
- 6 Monate, Jan. 2014 - Juni 2014
Computer Science Engineer
University of Leicester
I was working with Dr. Tom Ridge on the future filesystem project
- 1 Jahr und 6 Monate, Juli 2012 - Dez. 2013
Research Associate
University of Cambridge - Computer Lab
working with Prof. Peter Sewell on project Rigorous Engineering for Mainstream Systems, contract ends Dec. 2013, extension possible
- 1 Jahr und 2 Monate, Mai 2011 - Juni 2012
Wissenschaftlicher Mitarbeiter
TU Munich
postdoc position working with Prof. Tobias Nipkow on the CAVA project (https://cava.in.tum.de/)
working part-time for Matthew Parkinson on separation logic tool JStar while finishing my Ph. D. thesis
Ausbildung von Thomas Tuerk
- 4 Jahre und 4 Monate, Jan. 2007 - Apr. 2011
Computer Science
University of Cambridge
building the separation logic tool Holfoot (see http://holfoot.heap-of-problems.org) in the interactive theorem prover HOL 4
- 1 Jahr, Jan. 2006 - Dez. 2006
Computer Science
University of Cambridge
visitor of Prof. Mike Gordon, working on PSL in HOL 4
- 3 Jahre und 3 Monate, Nov. 2002 - Jan. 2006
Computer Science
TU Kaiserslautern
Ph. D. program in Computer Science (partly in parallel with diploma studies); finished first part in December 2005; leave of absence to visit Mike Gordon; quit in summer 2006 to start a Ph. D. at Cambridge
- 5 Jahre und 8 Monate, Okt. 1999 - Mai 2005
Computer Science
TU Kaiserslautern
supervisor Prof. K. Schneider, thesis title "A Hierarchy for Accellera’s Property Specification Language"; grade 1.2
Sprachen
Englisch
Fließend
Deutsch
Muttersprache
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.