| 2013-present | Full Professor, Dept. of Computer Science, Aarhus University Head of Logic and Semantics Group |
| 2008-2012 | Full Professor, The IT University of Copenhagen Head of Programming, Logic, and Semantics Group |
| 2001-2007 | Associate Professor, The IT University of Copenhagen Head of Theory Department / Programming, Logic, and Semantics Group |
| 2000-2001 | Forskningsadjunkt (Research Assistant Professor),
The IT University of Copenhagen Head of Theory Department |
| 1999 | School of Computer Science, Carnegie Mellon University Ph.D. December 1999. Thesis Title: Developing Theories of Types and Computability. Advisor: Professor Dana S. Scott. |
| 1996 | School of Computer Science, Carnegie Mellon University M.Sc. May 1996. |
| 1994 | Department of Computer Science, University of Copenhagen M.Sc. July 1994. Thesis Title: Partial Evaluation of Standard ML. Advisor: Professor Neil D. Jones. |
| 1994 | Handelshøjskolen i København (Copenhagen Business
School) Handelshøjskolen's Diplomprøve, HD-O (BA in Business Administration). Thesis Title: Mergers and Acquisitions. Advisor: Professor Jan Molin. |