rwth.informatik.hauptstudium http://www.nnseek.com/e/rwth.informatik.hauptstudium/ Posts for rwth.informatik.hauptstudium Mon, 22 Sep 2008 06:21:53 PDT http://www.nnseek.com/ http://www.nnseek.com/ http://www.nnseek.com/img/64.png 64 64 NNSeek <![CDATA[Principles of Model Checking - C. Baier & J.P. Katoen]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/principles_of_model_checking_c_baier_j_p_katoen_134854535t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/principles_of_model_checking_c_baier_j_p_katoen_134854535t.html 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
  Posted In: rwth.informatik.hauptstudium   1 Comment   Reply

]]> Mon, 22 Sep 2008 06:21:53 PDT <![CDATA[Developer's Day 2008 at Informatik 5 - Call for Participation]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/developer_s_day_2008_at_informatik_5_call_for_part_134289031t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/developer_s_day_2008_at_informatik_5_call_for_part_134289031t.html 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
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Thu, 18 Sep 2008 06:25:53 PDT <![CDATA[nicht nur für Singles;-)]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/nicht_nur_f9r_singles_134284935t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/nicht_nur_f9r_singles_134284935t.html
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
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Thu, 18 Sep 2008 05:18:31 PDT <![CDATA[[DA] Diplomarbeit im Bereich "Learning and Synthesis of Distribute Systems" (Lehrstuhl Prof. Katoen)]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/da_diplomarbeit_im_bereich_learning_and_synthesis_of_134279303t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/da_diplomarbeit_im_bereich_learning_and_synthesis_of_134279303t.html 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.

An unserem Lehrstuhl entwickeln wir das Tool Smyle (www.smyle-tool.org),
welches genau diesen Vorgang unterstützen soll. Dafür werden
Lernalgorithmen eingesetzt und erweitert, die in einer großen Bibliothek
gesammelt werden sollen. Die Diplomarbeit ist Teil eines großen
Projekts, an dem u.A. die Technische Universität München (Lehrstuhl
Prof. Broy) und die Universität Cachan (Paris) teilnehmen werden.
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Thu, 18 Sep 2008 04:11:27 PDT <![CDATA[[DA] Bewertung von Hardwareplattformen für medizintechnische Anwendung]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/da_bewertung_von_hardwareplattformen_f9r_medizintechnische_133213575t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/da_bewertung_von_hardwareplattformen_f9r_medizintechnische_133213575t.html 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 Patienten immer noch
bei ca. 40-60%%. Eine neue und viel versprechende Behandlungsmöglichkeit
bei ARDS ist die extrakorporale Oxygenierung. Dabei wird der Patient an
einen sogenannten Oxygenator angeschlossen, der einen Teil des
Gasaustauschs mit dem Blut außerhalb des Körpers realisiert. Hierdurch
wird die Lunge in Ihrer Funktion entlastet, so dass sie sich besser und
schneller erholen kann.
Die Diplomarbeit findet im Rahmen des Projektes SmartECLA statt. Ziel
des Projektes SmartECLA ist die benötigten Geräte für eine
extrakorporale Oxygenierung entsprechend der medizinischen Anforderungen
zu optimieren und eine Regelung für das System zu entwickeln, die den
medizinischen Sicherheitsanforderungen gerecht wird. SmartECLA ist Teil
des DFG-Verbundprojektes Smart Life Support, an dem 6 Lehrstühle aus 4
Fakultäten beteiligt sind.

Aufgabe:
Der zu erstellende Regelkreis benötigt unterschiedliche Formen von
Sensoren für die Regelung. Dazu soll eine gemeinsame Hardwareplattform
gefunden werden, welche die Kommunikation der Steuerung mit allen
geplanten Sensoren möglichst gut realisieren kann. Aufgabe der zu
vergebenden Arbeit ist es, eine Bewertungsgrundlage zum Vergleich
unterschiedlicher Hardware zu schaffen und diese anschließend auf eine
exemplarische Plattform anzuwenden.

• Einarbeitung in die Thematik und Literaturrecherche
• Erarbeitung der Anforderungen an die Hardware
• Erstellen einer Metrik, welche die oben erarbeiteten Anforderungen
entsprechend berücksichtigt
• Vergleich der unterschiedlichen Plattformen
• Beispielhafte Implementierung
• Dokumentation der Ergebnisse

Ziel der Arbeit ist es verschiedene Hardwareplattformen zu vergleichen
und diese objektiv bewerten zu können.

Interesse oder Rückfragen??
--> Andre Stollenwerk
(http://embedded.rwth-aachen.de/index.php?id=stollenwerk)
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Wed, 10 Sep 2008 06:11:26 PDT <![CDATA[B: HiWi-/WiHi-Stelle im Bereich Bildverarbeitung und Computergrafik]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/b_hiwi_wihi_stelle_im_bereich_bildverarbeitung_und_132390023t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/b_hiwi_wihi_stelle_im_bereich_bildverarbeitung_und_132390023t.html
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

Nicolaj Stache
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Sat, 06 Sep 2008 01:49:14 PDT <![CDATA[Hiwi Job Offer at LuFG Informatik 5]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/hiwi_job_offer_at_lufg_informatik_5_131563143t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/hiwi_job_offer_at_lufg_informatik_5_131563143t.html 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

* is interested in the implementation of AI methods,
* works accurately and produces readable code,
* is very skilled in Prolog programming and debugging,
* attended the lectures "Introduction to Artificial Intelligence"
and "Introduction to Knowledge Representation" offered by our
group (or has otherwise acquired the corresponding background
knowledge),
* is not unfamiliar with Linux, C and C++ and
* is proficient in written and spoken English.

Contract
--------

We offer fixed-term contracts of 6 months with the option for renewal.
Working times can be arranged flexibly between 10 and 14 hours per week.
Moreover, the job offers a good opportunity to prepare for a later
Master's Thesis or Diplomarbeit.

Contact
-------

If you are interested please contact or send your application to:

Dipl.-Inform. Jens Claßen
Knowledge-based Systems Group
RWTH Aachen University
Ahornstraße 55
52056 Aachen

classen@cs.rwth-aachen.de
Tel.: +49 241 80 - 21 531
Room 6213, building E2

Link: http://www.kbsg.rwth-aachen.de/platas_hiwi_job_offer
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Tue, 02 Sep 2008 02:34:10 PDT <![CDATA[[Biete] HiWi-Job (10-15h) im Schreibdienst / Institutsverwaltung]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/biete_hiwi_job_10_15h_im_schreibdienst_institutsve_130736263t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/biete_hiwi_job_10_15h_im_schreibdienst_institutsve_130736263t.html 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).

Gruß,
Kai

Link: http://www.irt.rwth-aachen.de/typo3/index.php?id=1061
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Wed, 27 Aug 2008 02:41:11 PDT <![CDATA[Lernpartner für FP, MC und EA]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/lernpartner_f9r_fp_mc_und_ea_130429319t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/lernpartner_f9r_fp_mc_und_ea_130429319t.html
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
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Sat, 23 Aug 2008 08:14:56 PDT <![CDATA[ISEA sucht Webhiwi mit Python Kenntnissen]]> http://www.nnseek.com/e/rwth.informatik.hauptstudium/isea_sucht_webhiwi_mit_python_kenntnissen_130037639t.html http://www.nnseek.com/e/rwth.informatik.hauptstudium/isea_sucht_webhiwi_mit_python_kenntnissen_130037639t.html

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:

- Mako Template Engine
- SQL Alchemy (Object Relational Mapper)
- Apache Server
- Linux
- SVN
- Eclipse

Die HiWi Stelle ist mit 10 Stunden pro Woche ausgeschrieben. Schriftliche
Bewerbungen bitte an:

Stephan Thomas
th@isea.rwth-aachen.de
  Posted In: rwth.informatik.hauptstudium   no comments   Reply

]]> Wed, 20 Aug 2008 04:42:49 PDT