Dr. Normen Müller
Dipl.-Inform.
Senior Software Engineer(Şirket adı sadece kayıtlı üyeler tarafından görülebilmektedir)
- 8048 Zurich
- İsviçre
Dr. Normen Müller adlı kişiye mesaj gönderin!
Bunun için XING'e ücretsiz üye olmanız yeterlidir.
Mesaj gönderKişisel Bilgilerim
- İlgi Alanlarım
- Tennis, Schwimmen, Science Fiction
- Organizasyonlar
- Mitglied der Scala Open-Source-Community (seit Jan 09), Mitglied der OpenMath Society (seit Juni 07), Mitglied der Interest Group for Mathematical Knowledge Management (seit Juni 07), Mitwirkender im Open-Source Projekt SVNKit (seit Okt 06), Projektleiter des locutor Projektes (seit Aug 06), Mitglied des Anti-Diskriminierungsteams an der Jacobs University Bremen (März 06- März 08)
İş Deneyimlerim
-
-
08/2010
- bugün
(1 yıl, 10 ay)
-
(Yalnızca kayıtlı üyeler tarafından görülebilir)
-
08/2010
- bugün
-
-
01/2008
- bugün
(4 yıl, 5 ay)
-
Jacobs University Bremen, http://www.jacobs-university.de
Sektör: Araştırma
-
01/2008
- bugün
-
-
03/2007
- bugün
(5 yıl, 3 ay)
-
Jacobs University GmbH, http://www.jacobs-university.de
Sektör: Araştırma
-
03/2007
- bugün
-
-
07/2005
- 05/2007
(1 yıl, 11 ay)
-
Jacobs University GmbH, http://www.jacobs-university.de
Sektör: Eğitim
-
07/2005
- 05/2007
-
-
10/2004
- 02/2005
(5 ay)
-
Technische Universität Darmstadt, http://www.tu-darmstadt.de
Sektör: Eğitim
-
10/2004
- 02/2005
-
-
01/1998
- 12/2002
(5 yıl)
-
apartis Information Management AG, http://www.apartis.com
Sektör: Bilgisayar yazılımı
-
01/1998
- 12/2002
-
-
02/1999
- 06/1999
(5 ay)
-
Centeo Bio-Services Inc. (heute Aventis Bis-Services GmbH)
Sektör: Biyoteknoloji
-
02/1999
- 06/1999
-
-
05/1995
- 12/1997
(2 yıl, 8 ay)
-
microtec electronic GmbH, http://www.microtec-consulting.de/
Sektör: Danışmanlık/consulting
-
05/1995
- 12/1997
-
-
BSgroup Technology Innovation AG, http://www.bsgroupti.ch/
Sektör: Bilgisayar yazılımı
- İşyerindeki statü
- Çalışan
Eğitim Bilgilerim
- 07/2005 - 03/2010
-
Jacobs University Bremen
Semantic Document Management, PhD
Spezifikation und Implementation von Algorithmen für semi-automatisches Veränderungsmanagement von XML-Dokumenten, Entwicklung von Prototypen für semantische Unterschiedsanalyse, Change Impact Analyse und automatischer Adaption
- 10/1995 - 09/2005
-
Technische Universität Darmstadt
Informatik, Dipl. Inform.
Semantische Verifizierung und Programmverifikation, Mathematische Logik, Algebra und mathematische Grundlagen der funktionalen Programmierung, Information Management
- Diller
- İngilizce (Akıcı), Almanca (Ana dili)
XING ağında ara
XING'de yeni iş bağlantıları bulun ve eski bağlantılarınızla yeniden buluşun!
Bağlantılar
Guido Meier, Steven Dick, Michael Kiefer, Dieter Abplanalp(Diğer bağlantılar sadece kayıtlı üyeler tarafından görülebilir)