U kunt ook een thematisch curriculum vitae van mij bekijken.
Werkervaring | ||
2016–heute | universitair docent en sinds 2018 universitair hoofddocent aan het Instituut voor Software![]() ![]() |
|
2007–2016 | universitair docent in de leerstoel Informatica voor Technische Toepassingen![]() | |
2007 | Postdoc-positie aan de leerstoel voor Softwaremodellering en Verificatie![]() ![]() ![]() | |
2005–2006 | Postdoc aan de leerstoel Formele Methoden en Gereedschappen![]() ![]() | |
2003–2005 | Postdoc-beurshouder in Groep Logica voor Programmas![]() ![]() ![]() ![]() ![]() ![]() | |
1998–2003 | Assistent in opleiding aan de leerstoel Informatiesystemen![]() ![]() | |
1993–1997 | Student-assistent aan het Mathematisch Instituut![]() ![]() | |
1990–1993 | Analist/programmeur bij Lynx Software Research AG, Langenthal, Zwitserland (0,25 fte). Ik werkte aan de administratieve software MIRACLE. | |
Opleidingen | ||
1998–2003 | Universiteit Twente, Enschede: promotie tot doctor in de informatica. | |
2000 | University of Cambridge![]() ![]() | |
1990–1997 | Universiteit Bern![]() ![]() ![]() ![]() | |
1995 en 1996 | Academische zomercursussen van de Schweizerische Studienstiftung![]() | |
1990 | Rijbewijs B. | |
1986–1990 | Gymnasium Langenthal![]() | |
Ervaring in de vrije tijd | ||
1999–2006 | Twee jaar bestuurslid (hoofd catalogus en inkoop) en acht jaar webmaster van de Bellettrie-Bibliotheek (ca. 0,2 à 0,5 fte). Ik heb een webapplicatie voor de catalogus en een uitleensysteem ontwikkeld en drie complete verhuizingen van de bibliotheek georganiseerd. Ik gaf leiding aan ca. acht andere vrijwilligers. | |
2000–2003 | Lid van de promovendiraad van de onderzoekschool SIKS![]() | |
1997 | Vrijwilliger in het team van het christelijke cursus- en vakantiecentrum Campo Rasa![]() | |
1996–1997 | Webmaster van de Bibelgruppe für Studierende![]() | |
1995–1997 | Lid van de studentenraad![]() ![]() | |
1992–1997 | Bestuurslid van de studievereniging wiskunde, statistiek, informatica![]() Het doel van de SUB en de studievereniging is: het behartigen van de belangen van studenten tegenover de universiteit en andere instanties. |
September 2019, David N. Jansen