[Stellenangebote] Vollzeit-Job: Erforschung, Entwicklung und Implementation skalierbarer, verteilter Verfahren für hochparallele Softwareverifikation, Abteilung Verteilte Algorithmen und Supercomputing, Zuse Institute Berlin (ZIB), Berlin

[Marcus Edel]

Das Zuse Institute Berlin (ZIB) ist eine außeruniversitäre
Forschungseinrichtung
des Landes Berlin. Wir suchen für die Abteilung Verteilte Algorithmen und
Supercomputing zur Unterstützung von Forschungs- und Entwicklungsarbeiten im
Rahmen eines Drittmittelprojekts zum nächstmöglichen Zeitpunkt, befristet für
die Dauer von 2 Jahren – mit der Option der Verlängerung – vorbehaltlich der
Mittelbewilligung zwei

Wissenschaftliche Angestellte (w/m) (100%)
(Kennziffer: WA 04/16)
E 13 - TV-L Berlin

Aufgaben:

Erforschung, Entwicklung und Implementation skalierbarer, verteilter
Verfahren
für die hochparallele Softwareverifikation und gezielte Nebenläufigkeitstests
auf modernen Supercomputerplattformen (Cray XC30, Intel Xeon Phi, Burst
Buffer,
NVRAM, GPU-Cluster). Im konkreten Drittmittelprojekt werden in Zusammenarbeit
mit den Kooperationspartnern Softwareverifikationsverfahren hochgradig für
Supercomputer parallelisiert und im Anwendungskontext der
Automobilzuliefererindustrie an praktischen Problemen eingesetzt und
evaluiert. Außerdem werden Verfahren entwickelt, um parallele Anwendungen
gezielt auf Nebenläufigkeitsfehler zu testen.

Idealerweise besitzen Sie folgende Qualifikationen:

· Universitätsabschluss (Master/Diplom) in Informatik, gerne auch mit
  Schwerpunkt in der Theoretischen Informatik

· sehr gute Kenntnisse in Parallelen und Verteilten Systemen und Algorithmen

· gute Kenntnisse in Paralleler Programmierung sowie Cluster- und
  Netzwerktechnik (MPI, OpenMP, etc.)

· Programmiererfahrung in C++

· sehr gute Kenntnisse im täglichen Umgang mit Linux/Unix

· sehr gute Sprachkenntnisse in Englisch

· Befähigung zur kooperativen und kommunikativen Zusammenarbeit

· selbstständiges und zielorientiertes, wissenschaftliches Arbeiten

Wir erwarten bei der Bearbeitung der Problemstellungen Kreativität und hohes
Engagement. Den erfolgreichen Bewerberinnen und Bewerbern bieten wir gute
wissenschaftliche Betreuung und Hilfestellung, aktuelle Forschungsthemen
und die
Mitarbeit an nationalen und internationalen Kooperationsprojekten. Ein
Promotionsvorhaben im Forschungsprojekt wird von uns unterstützt, die aktive
Teilnahme an internationalen und nationalen Konferenzen wird ermöglicht und
erwartet.

Die Bewerbung von Frauen ist ausdrücklich erwünscht, da in der
Informationstechnik Frauen unterrepräsentiert sind und das ZIB bemüht ist,
den
Anteil der Frauen in diesem Bereich zu erhöhen.

Schwerbehinderte werden bei gleicher Qualifikation bevorzugt.

Bitte richten Sie Ihre Bewerbung mit tabellarisch abgefasstem Lebenslauf
und den
vollständigen Unterlagen unter Angabe der Kennziffer WA 04/16 bis zum
15.03.2016
an das

Zuse Institute Berlin (ZIB)
- Administration -‚
Takustr. 7
14195 Berlin

oder elektronisch an: jobs at zib.de

Nähere Informationen zum Aufgabengebiet erhalten Sie unter www.zib.de
sowie bei
Dr. Florian Schintke (schintke at zib.de).




Florian Schintke
-- 
schintke at zib.de         www.zib.de/schintke         PGP key: 1DB7D5BC