Dr. Martin Schaef
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Martin Schaef
- 3 Jahre und 2 Monate, Jan. 2014 - Feb. 2017
Senior Computer Scientist
SRI International
- 3 Jahre, Dez. 2012 - Nov. 2015
Consultant
Laxino ltd
Development of 3D graphics solution for online gambling.
- 2 Monate, Nov. 2013 - Dez. 2013
Visiting Researcher
CEA
- 3 Jahre und 4 Monate, Juli 2010 - Okt. 2013
Post-doctoral Research Fellow
United Nations University
Research and development on a static error detection tool named Joogie (www.joogie.org)
- 7 Monate, März 2013 - Sep. 2013
International Fellow
SRI international
Development of a verification platform for large-scale software projects. Integration of tools to scan for a subset of the to top 25 CWEs.
- 4 Jahre und 3 Monate, Apr. 2006 - Juni 2010
Researcher
Uni Freiburg
PhD on software error detection methods. Work on the Boogie Framework and on Spec#. Teaching tasks in software engineering.
- 2 Monate, Juni 2009 - Juli 2009
Consulting Researcher
Microsoft Research
Work on the Boogie project. http://boogie.codeplex.com/
Ausbildung von Martin Schaef
- 4 Jahre und 4 Monate, Apr. 2006 - Juli 2010
Computer Science
University of Freiburg
Static program analysis
- 3 Jahre und 8 Monate, Sep. 2002 - Apr. 2006
Computer Science
Universitaet des Saarlands
Software Verification, Model Checking, Computer Graphics
Sprachen
Englisch
Fließend
Französisch
Gut
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.