Logic List Mailing Archive

Postdoctoral Group Leader Position (BAT Ia), Model Checking / Symbiotic Computation, TH Karlsruhe, Germany

Universit?t Karlsruhe (TH)

An der Fakult?t f?r Informatik der Universit?t Karlsruhe (TH) sind zu
m 
n?chstm?glichen Zeitpunkt drei Stellen einer/eines

Nachwuchsgruppenleiters/-in

(BAT la)

f?r f?nf Jahre befristet zu besetzen.

Gesucht werden hervorragende promovierte Nachwuchswissenschaftler mit 
zukunftsweisenden Forschungskonzepten.

Wir bieten Ihnen ein wissenschaftlich anregendes, innovatives Umfeld, in 
dem Sie nach dem Vorbild des DFG-Aktionsplans Informatik eigenst?ndig ein
e 
Nachwuchsgruppe leiten k?nnen.

Zu dieser Nachwuchsgruppe geh?ren au?er Ihnen noch zwei wissenschaftlic
he 
Mitarbeiter (BAT IIa). Sie sind in die Fakult?t eingebettet und werden vo
n 
einem Institut betreut. Die M?glichkeit zur Beteiligung an der Lehre ist
 
gegeben.

Thematisch befasst sich eine der Nachwuchsgruppen in Zusammenarbeit mit 
lokaler Industrie mit dem Themenbereich
- Verkehrstelematik (z.B. Car-to-Car Kommunikation, Routenplanung, 
Navigation).

Die beiden weiteren Nachwuchsgruppen sollen jeweils in einem der folgenden
 
Themenbereiche angesiedelt sein:
- Modellpr?fungsverfahren (z.B. Modellpr?fung & Selbstorganisation, 
probabilistische Modellpr?fung)
- Visuelle Kommunikation (z.B. Bilderkennung, Bildverarbeitung, 
Visualisierung)
- Symbiotic Computing (z.B. kontextsensitive verteilte Systeme, adaptive 
ubiquit?re Systeme, Mensch-Maschine Interaktion)

Vorausgesetzt werden eine herausragende wissenschaftliche Qualifikation, 
die durch eine sehr gute Promotion sowie ein einschl?giges Studium 
nachgewiesen ist, sowie Erfahrung in selbstst?ndiger wissenschaftlicher
 
Arbeit aus Hochschule oder Industrie.

Die Universit?t Karlsruhe (TH) ist bestrebt, den Anteil an Frauen im 
wissenschaftlichen Dienst zu erh?hen und begr??t besonders die Bewerb
ung 
von Frauen. Schwerbehinderte Bewerber/Innen werden bei entsprechender 
Eignung bevorzugt ber?cksichtigt.

Bewerbungen mit den ?blichen Unterlagen (Lebenslauf, wissenschaftlicher
 
Werdegang, Schriftenverzeichnis) und ein Konzept f?r die 
Forschungsarbeiten der Nachwuchsgruppe mit Forschungsplan und 
Ausstattungsbedarf richten Sie bitte an:
Universit?t Karlsruhe (TH)

Fakult?t f?r Informatik
Dekanin
Postfach 6980
76128 Karlsruhe



Bewerbungsschluss: 27.09.2006