Hallo, habe noch eine gebundene Kopie vom Model Checking Skript von
Prof. Katoen über. Kopieren & Binden hat mich um die 13 EUR gekostet,
würde es nun für 5 EUR oder gegen eine "Herrenhandtasche der Marke
Diebels Alt" (gibt's beim Plus) abgeben.

Viele Grüße,
Martin

Like in the years before, we are hosting the I5 Developer's Day as a
student event at Informatik 5 on October 13th. There are still open
slots for talks on self-chosen topics.

Developer's Day is an annual event. It's intention is to present
technologies which either support computer researchers in their daily
work or which might play important roles in future developments.
Developer's Day 2008 is organized by students for students who want to
gain knowledge beyond their regular studies.
You are invited to give a talk on a self-chosen topic with a length of
30-45 minutes including time for discussion.

The official poster contains all necessary information. The first
deadline for topic proposal has been prolonged to 29th of September.

Poster:
http://www-users.rwth-aachen.de/christian.hocken/img/developersday2008.jpg

If you have any further questions, please feel free to send us an e-mail:

developersday@dbis.rwth-aachen.de

Or reply to this topic.

Sincerely,
the Developer's Day 2008 Chairs

Hallo zusammen

meine neue Singlebörse www.date2008.de ist online
date2008.de ist eine private Singlebörse für Singles aus Aachen und
Köln
date 2008.de ist zu 100%% kostenfrei

ich würde mich über ein feedback von euch freuen

lg
oliver

Im Rahmen des Projekts "Smyle", das in Kooperation mit der TU München
und der ENS Cachan (Paris) durchgeführt wird, bietet der Lehrstuhl für
Informatik 2 (Prof. Katoen) Diplomarbeiten für Informatiker im Bereich
"Learning and Synthesis of Distributed Systems" an:

Bei Bedarf oder auf Wunsch sind auch kurze Projektreisen nach München
und Paris möglich.

Mögliche Themen können persönlich besprochen werden.

Ein konkretes Diplomarbeitsthema kann abgerufen werden unter:
http://www-i2.informatik.rwth-aachen.de/i2/fileadmin/user_upload/documents/Carst...

Bei Interesse meldet Euch bitte bei:

Carsten Kern
http://www-i2.informatik.rwth-aachen.de/i2/kern/

Inhalt: Eine große Schwierigkeit im Softwareentwicklungsprozess liegt in
der Designphase, in der Softwareingenieure versuchen, von einer Menge
unvollständiger und manchmal sogar widersprüchlicher Anforderungen, die
üblicherweise in natürlicher Sprache formuliert werden, zu einem
konsistenten Designmodell zu gelangen, auf dem die nachfolgende
Implementierung fußt. Diese Aufgabe ist üblicherweise langwierig und
fehleranfällig, da sie im Regelfall von Hand durchgeführt wird.

Der Lehrstuhl I11 bietet folgende Diplom- / Masterarbeit für
Elektrotechniker oder Informatiker an:

Motivation:
In der modernen Intensivmedizin ist das akute Lungenversagen ARDS (engl.
acute respiratory distress syndrome) eines der problematischsten
Krankheitsbilder. Hier liegt die Sterblichkeit der...

Hallo allerseits,

Du möchtest Dir im Studium kurzfristig etwas dazuverdienen, in einem
interessanten Umfeld arbeiten, Kontakte knüpfen? Du hast Deine
Diplomarbeit abgeschlossen, bist aber vor lauter Stress noch nicht zum
Bewerbung-Schreiben gekommen und möchtest die Zeit bis zum Antritt
Deines Jobs mit einer interessanten Beschäftigung überbrücken? Dann
ist das folgende Angebot genau das richtige für Dich:

Wir, d. h. das Fraunhofer-Institut für Lasertechnik, Aachen und der
Lehrstuhl für Bildverarbeitung, haben folgende Stelle zu besetzen:

HiWi-Stelle (16h – 19h / Woche) oder alternativ eine WiHi-Stelle
(Halbtagsstelle) mit dem Thema: "Entwicklung eines Programms zum
interaktiven 2D-3D-Bildabgleich"

Der Zeitrahmen zur Durchführung ist vorläufig auf 3 – 5 Monate
angesetzt. Weitere Informationen zu dem Aufgabengebiet, den
Anforderungen und Kontaktmöglichkeiten sind zu finden unter:
http://www.lfb.rwth-aachen.de/files/hiwi/INTAKT_HiWi_WiHi.pdf

Interesse geweckt? – Am besten per E-Mail unter der dort angegebenen
Adresse melden und sich kurz vorstellen.

Viele Grüße

The Knowledge-based Systems Group is looking for two student workers for
software development and maintenance within the PLATAS project funded by
the Deutsche Forschungsgemeinschaft (DFG). The aim of the project is to
acquire tractable and practiable yet logically expressive agent systems
by integrating latest development in the fields of action logics and
planning techniques. For this purpose, an existing Prolog-based Golog
framework is to be extended with fast state-of-the-art planners as well
as efficient reasoning techniques for incomplete knowledge bases.

Qualifications
--------------

Ideally, a candidate

Zur Mitarbeit im Schreibdienst des Instituts für Regelungstechnik IRT
suchen wir zum 01.09.2008 eine studentische Hilfskraft mit ca. 10 bis
15 Stunden Wochenarbeitszeit (individuell anpassbar).

Wenn Du Spaß daran hast in einem sympathischen Team Aufgaben im
Bereich der Textverarbeitung und Dokumentenerstellung zu lösen, dann
melde Dich. Dich erwarten abwechslungsreiche Tätigkeiten von der
Textverarbeitung (mithilfe von LaTeX, MS Office und Typo3) über die
Mitgestaltung von Inter- und Intranetpräsenz bis hin zu Kopier- und
Scanarbeiten. Organisationstalent ist in der Institutsverwaltung (z.B.
auch
Post) sowie dem Kontakt zur Hauptbibliothek und der Inventarisierung
und der Pflege der Institutsbibliothek gefragt.

Voraussetzungen:
* Fließende Deutschkenntnisse in Wort und Schrift.
* Vertiefte Kenntnisse im Umgang mit einem der erwähnten Programme
sind wünschenswert, aber nicht Bedingung.

Wir sind an einer langfristigen Zusammenarbeit interessiert (mind.
zwei Semester).

Hallo,

ich will Anfang/Mitte Oktober meine Theoretische Prüfung ablegen und
dazu das folgende lernen:

- Funktionale Programmierung
- Introduction to Model Checking
- Effiziente Algorithmen

Weil alleine lernen natürlich doof ist, suche ich Leute, die gemeinsam
für eines oder mehrere dieser Fächer lernen wollen.

Grüße, Stefan

Hallo zusammen,

Das Institut für Stromrichtertechnik und Elektrische Antriebe (ISEA) sucht
zum August einen neuen Webhiwi.

Die Aufgabe des zukünftigen Webadmins umfasst neben der Aktualisierung und
Pflege der Inhalte auch die Erweiterung des internen Content Management
Systems. Neben dieser Kernaufgabe ist die Pflege eines Qualitätsmanagement
Systems von weiterer Bedeutung.

Aufgrund der komplexen Struktur der Webseite bietet sich der Job an, um
praktische Erfahrungen im Umgang mit moderner Webtechnologie zu sammeln,
erfordert aber die Bereitschaft sich in verschiedene Themengebiete
einzuarbeiten.

Vorkenntnisse in den folgenden Bereichen sind dabei zwingend notwendig:

- Objekt-Orientierte Programmierung (optimalerweise Python)
- MySQL Datenbank

Wünschenswert wären darüber hinaus Kenntnisse in den folgenden Bereichen: