Chronologisch curriculum vitae van David N. Jansen

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 leerstoel Informatica voor Technische Toepassingen aan de Faculteit der Natuurwetenschappen, Wiskunde en Informatica van de Radboud Universiteit Nijmegen.
2007		Postdoc-positie aan de leerstoel voor Softwaremodellering en Verificatie in de vakgroep informatica van de RWTH Aachen. Ik werkte aan uitbreidingen van stochastisch model checking met rewards.
2005–2006		Postdoc aan de leerstoel Formele Methoden en Gereedschappen aan de afdeling Informatica van de Universiteit Twente, Enschede. Ik onderzocht model-checking-algoritmen voor de verificatie van systemen met een kostenaspect en gaf onderwijs, b.v. het vak Systeemvalidatie.
2003–2005		Postdoc-beurshouder in Groep Logica voor Programmas van het Max-Planck-Instituut voor Informatica. Ik werkte samen met prof. dr.-ing. Holger Hermanns, hoofd van de leerstoel Dependable Systems & Software aan de vakrichting informatica van de Universiteit van het Saarland, Saarbrücken, Duitsland. Ik onderzocht uitbreidingen van statecharts (een onderdeel van de UML) met stochastiek en gaf onderwijs, b.v. over datanetwerken en verificatie.
1998–2003		Assistent in opleiding aan de leerstoel Informatiesystemen van de Faculteit der Informatica aan de Universiteit Twente, 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 (TCM) in C++.
1993–1997		Student-assistent aan het Mathematisch Instituut van de Universiteit Bern, Zwitserland (0,25 fte). Ik heb practica en werkcolleges geleid.
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: Certificate of Proficiency in English, grade A.
1990–1997		Universiteit Bern, Zwitserland: mijn hoofdvak was wiskunde, bijvakken informatica en vergelijkende taalwetenschap. 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 Schweizerische Studienstiftung. Themas: Logik; Evolution und Ethik.
1990		Rijbewijs B.
1986–1990		Gymnasium Langenthal, 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 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. Deze raad behartigt de belangen van promovendi tegenover SIKS.
1997		Vrijwilliger in het team van het christelijke cursus- en vakantiecentrum Campo Rasa, Intragna, Zwitserland. Ik heb vooral in het hotelgedeelte gewerkt: receptie, kamers, keuken.
1996–1997		Webmaster van de Bibelgruppe für Studierende in Bern, Zwitserland.
1995–1997		Lid van de studentenraad van de studentenvakbond van de Universiteit Bern (SUB). Ik was oprichter en fractievoorzitter van ΦNat.
1992–1997		Bestuurslid van de studievereniging wiskunde, statistiek, informatica. 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