Chronologisch curriculum vitae van David N. Jansen

Diese Seite auf deutsch   This page in English

U kunt ook een thematisch curriculum vitae van mij bekijken.

Heeft u een interessante werkplek voor mij? Dan hoor ik graag van u.

Werkervaring

2007–heden    universitair docent in de aan de van de .
2007 Postdoc-positie aan de in de van de . Ik werkte aan uitbreidingen van stochastisch model checking met rewards.
2005–2006 Postdoc aan de aan de afdeling Informatica van de , Enschede. Ik onderzocht model-checking-algoritmen voor de verificatie van systemen met een kostenaspect en gaf onderwijs, b.v. het vak .
2003–2005 Postdoc-beurshouder in van het . Ik werkte samen met , hoofd van de aan de van de , Saarbrücken, Duitsland. Ik onderzocht uitbreidingen van statecharts (een onderdeel van de UML) met stochastiek en gaf onderwijs, b.v. over .
1998–2003 Assistent in opleiding aan de van de Faculteit der Informatica aan de , Enschede (0,8 à 1 fte). Wij onderzochten vooral requirements engineering, model checking en UML. Hierbij heb ik ervaring opgedaan met het uitbreiden van een groter softwaresysteem () in C++.
1993–1997 Student-assistent aan het van de , Zwitserland (0,25 fte). Ik heb practica en werkcolleges geleid.
1990–1993Analist/programmeur bij Lynx Software Research AG, Langenthal, Zwitserland (0,25 fte). Ik werkte aan de administratieve software MIRACLE.

Opleidingen

1998–2003    , Enschede: promotie tot doctor in de informatica.
2000 : , grade A.
1990–1997 , Zwitserland: mijn hoofdvak was , bijvakken en . Afgesloten met een diploma dat overeenkomt met een Nederlandse drs. Eindcijfer: 5½ (1 is het laagste, 6 is het hoogste cijfer).
1995 en 1996 Academische zomercursussen van de . Themas: Logik; Evolution und Ethik.
1990 Rijbewijs B.
1986–1990 , Zwitserland: vwo, profiel Typus A (met nadruk op klassieke talen). Afgesloten met 88 van 90 punten (beste van mijn jaargang).

Ervaring in de vrije tijd

1999–2006    Twee jaar bestuurslid (hoofd catalogus en inkoop) en acht jaar webmaster van de (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 . Deze raad behartigt de belangen van promovendi tegenover SIKS.
1997 Vrijwilliger in het team van het christelijke cursus- en vakantiecentrum , Intragna, Zwitserland. Ik heb vooral in het hotelgedeelte gewerkt: receptie, kamers, keuken.
1996–1997 Webmaster van de in Bern, Zwitserland.
1995–1997 Lid van de van de . Ik was oprichter en fractievoorzitter van ΦNat.
1992–1997 Bestuurslid van de . Ik was redacteur van het verenigingsblad.
Het doel van de SUB en de studievereniging is: het behartigen van de belangen van studenten tegenover de universiteit en andere instanties.

November 2007, David N. Jansen