- 2006 - Postdoctoral Position (Researcher), Bergen Language Design Laboratory (BLDL),
Department of Computer Science, The University of Bergen, Bergen, Norway.
Project: SAGA - Scientific Computing with Algebraic and Generative Abstractions.
Supervisor: Prof. Magne Haveraaen.
- 2003 - Postdoctoral Position (Researcher), Department of Mathematics,
Faculty of Natural Sciences and Mathematics, University of Vienna, Vienna, Austria.
COCONUT Project - COntinuous CONstraints - Updating the Technology.
Supervisor: Prof. Arnold Neumaier.
- 2002 - Research Engineer, Chevron Corporation, San Ramon, California, USA.