Logic List Mailing Archive

Two PhD student positions in Theoretical Computer Science, M?en (Germany), Deadline: 22 July 2007

Technical University Munich (Germany):
   2 PhD Positions in Theoretical Computer Science / Algorithms
   Engineering

[ Deutsche Version unten ]

Modern computers have faster and faster CPUs, such that it is getting more
and more difficult to supply them with the data bandwidth to leverage this
speed.  This works reasonably well if data is accessed linearly, and
basically impossible if memory accesses are random. Hence, to help the
design of fast algorithms, it is useful to consider the so called I/O-model,
that captures the data transfer between different types of memory like cache
and main memory. In this setting the project is concerned with the
multiplication of a dense vector with a sparse matrix. This is not only an
important building block of many applications, but also an abstract
formulation of a data-flow problem. The focus is to understand the influence
of the structure in the non-zero entries of the matrix on the I/O-complexity
of the problem.

The research group at the Computer Science Department at Technische
Universitt Mnchen consists of the group leader Riko Jacob, PhD, and two
PhD students (the open positions).  It is located at the Chair for Efficient
Algorithms (Prof. Ernst W. Mayr, Prof. Christian Scheideler). The group has
excellent infrastructure and is internationally well connected.

The two positions are paid according to the german TVL E13 (similar to the
former BAT IIa).  There are no teaching obligations.

Candidates for the position must hold an excellent master degree or
equivalent. Expertise in Theoretical Computer Science (algorithms,
complexity) is expected, ideally the ability to perform research is already
documented, for example in an excellent masters thesis.


Applications including a CV, copies of academic degrees (including grades)
and preferably 2 letters of reference, should be sent electronically to
jacob@in.tum.de or to

Riko Jacob
Lehrstuhl fr Effiziente Algorithmen
Institut fr Informatik
Technische Universitt Mnchen
Boltzmannstr. 3
85748 Garching
Germany

The preferred starting time for the positions is
September. Applications are expected to arrive by July 22.

Further information is available at
http://www14.in.tum.de/personen/jacob/group.html.en
or directly from Riko Jacob, jacob@in.tum.de


=================================================================


Technische Universitt Mnchen:
  2 Doktorandenstellen in der Theoretischen Informatik / Algorithm
Engineering


Forschungsgebiet:
In den letzten Jahren konnte die Rechenleistung von Prozessoren immer
weiter gesteigert werden. Um diese Leistung zu nutzen, muss ein
Programm auf die Daten in einer Reihenfolge zugreifen, die die
Speicherhierarchie (L1-Cache, L2-Cache, Hauptspeicher, Festplatte)
geschickt nutzt. Daraus ergibt sich eine alternative Definition von
Effizienz, die zu anderen Algorithmen und Komplexittsergebnissen
fhrt.
In dem Projekt geht es um die Multiplikation eines Vektors mit einer
dnn besetzten Matrix. Dies ist nicht nur eine wichtige konkrete
Aufgabe in vielen Anwendungen, sondern kann auch als abstrakte Aufgabe
verstanden werden Daten zu bewegen und zu kombinieren. Ziel des
Projekts ist es, die Komplexitt dieser Aufgabe in Abhngigkeit von
der konkreten Matrix (bzw. der Struktur ihrer Null-Eintrge) zu
verstehen.

Die Forschergruppe an der Fakultt fr Informatik der TU Mnchen
besteht seit Juni 2007 und wird von der DFG im Rahmen des Emmy
Noether-Programms gefrdert. Die Gruppe besteht aus Riko Jacob, PhD,
und zwei Mitarbeitern, die hiermit gesucht werden.  Sie ist am
Lehrstuhl fr Effiziente Algorithmen (Prof. Dr. Ernst W. Mayr und
Prof. Dr. Christian Scheideler)  angesiedelt.

Die Doktorandenstellen sind ohne Lehrverpflichtung, so dass zusammen
mit der direkten Betreuung in der kleinen Gruppe ideale
Vorraussetzungen fr eine zgige Promotion bestehen.
Von den Bewerbern wird ein sehr gut abgeschlossenes Hochschulstudium
(Diplom/Master) der Informatik oder Mathematik erwartet, in dem die
theoretische Informatik (Algorithmik, Komplexittsbetrachtungen)
mglichst nicht zu kurz gekommen ist.
Idealerweise ist die Fhigkeit zur selbstndigen wissenschaftlichen
Arbeit im angestrebten Forschungsbereich bereits ersichtlich, zum
Beispiel in Form einer entsprechenden Diplom- oder Master-Arbeit.

Die Positionen werden nach TVL E13 (frher BAT IIa) vergtet und
sollen mglichst zum 1. September besetzt werden.  Die TU Mnchen und
die Forschergruppe bieten eine hervorragende Infrastruktur und
ermglichen einen intensiven, internationalen Austausch mit anderen
Forschern.

Ihre Bewerbung mit Lebenslauf, Kopien der akademischen Urkunden und
Zeugnisse, sowie mglichst zwei Empfehlungsschreiben (beigelegt oder
direkt),  senden Sie bitte mglichst bis zum 22.7. 2007 elektronisch
an jacob@in.tum.de oder in Papierform an

Riko Jacob
Lehrstuhl fr Effiziente Algorithmen
Institut fr Informatik
Technische Universitt Mnchen
Boltzmannstr. 3
D-85748 Garching

Nhere Informationen unter
http://www14.in.tum.de/personen/jacob/group.html.de
oder direkt bei Riko Jacob, jacob@in.tum.de