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
Universit�t M�nchen 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 f�r Effiziente Algorithmen
Institut f�r Informatik
Technische Universit�t M�nchen
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 Universit�t M�nchen:
  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 Komplexit�tsergebnissen
f�hrt.
In dem Projekt geht es um die Multiplikation eines Vektors mit einer
d�nn 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 Komplexit�t dieser Aufgabe in Abh�ngigkeit von
der konkreten Matrix (bzw. der Struktur ihrer Null-Eintr�ge) zu
verstehen.

Die Forschergruppe an der Fakult�t f�r Informatik der TU M�nchen
besteht seit Juni 2007 und wird von der DFG im Rahmen des Emmy
Noether-Programms gef�rdert. Die Gruppe besteht aus Riko Jacob, PhD,
und zwei Mitarbeitern, die hiermit gesucht werden.  Sie ist am
Lehrstuhl f�r 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 f�r eine z�gige Promotion bestehen.
Von den Bewerbern wird ein sehr gut abgeschlossenes Hochschulstudium
(Diplom/Master) der Informatik oder Mathematik erwartet, in dem die
theoretische Informatik (Algorithmik, Komplexit�tsbetrachtungen)
m�glichst nicht zu kurz gekommen ist.
Idealerweise ist die F�higkeit zur selbst�ndigen wissenschaftlichen
Arbeit im angestrebten Forschungsbereich bereits ersichtlich, zum
Beispiel in Form einer entsprechenden Diplom- oder Master-Arbeit.

Die Positionen werden nach TVL E13 (fr�her BAT IIa) verg�tet und
sollen m�glichst zum 1. September besetzt werden.  Die TU M�nchen und
die Forschergruppe bieten eine hervorragende Infrastruktur und
erm�glichen einen intensiven, internationalen Austausch mit anderen
Forschern.

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

Riko Jacob
Lehrstuhl f�r Effiziente Algorithmen
Institut f�r Informatik
Technische Universit�t M�nchen
Boltzmannstr. 3
D-85748 Garching

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