Academic research assistant (m/f/x)

at  Universitt des Saarlandes

Saarland University is a campus university with an international reputation for research excellence, particularly in
computer science and in the life sciences and nanosciences. The university is also distinguished by its close ties to
France and its strong European focus. Around 17,000 students, studying over one hundred different academic
disciplines, are currently enrolled at Saarland University. Saarland University is officially recognized as one of
Germany’s family-friendly higher-education institutions and with a combined workforce of more than 4000 it is one
of the largest employers in the region.
The Department of Computer Science is inviting applications for the following position commencing at the earliest
opportunity.

WORKPLACE/DEPARTMENT:

With 900 researchers and 2500 students from 81 countries, Saarland Informatics Campus is one of the leading
locations for Informatics in Germany and in Europe. As part of the ERC Advanced Grant “Abstractions for Safe and
Secure HW/SW Systems” (https://cordis.europa.eu/project/id/101020415) the group of Prof. Reineke is seeking a
highly motivated postdoctoral scholar.

YOUR ACADEMIC QUALIFICATIONS:

• Doctoral degree / PhD Computer Science or a related field
  1 TV-L = collective agreement on remuneration of public sector employees in the German Länder
  The pay grade assigned to an employee depends on their professional qualifications and the number of years of service. Each pay grade is
  further subdivided into levels. Entry-level employees with no previous experience will initially be assigned a level 1 rating. After one year at

level 1 of the E10 pay grade, an employee will move up to level 2. After a further two years, the employee will move to level 3, etc.

• Language skills (according to GER): English-C1

• Research on program analysis of security and/or real-time properties. We are particularly interested in
  microarchitectural security (cache side channels, Spectre, Meltdown, etc.) and timing predictability (cache and

pipeline analysis).

• Research on the design and verification of processors with provable security (in particular w.r.t. side channel

leakage) and timing-predictability properties (enabling their use in hard real-time systems).

• We have a track record of high-impact publications in these areas (recent papers at CAV, POPL, PLDI, RTSS, S&P,

CCS, USENIX Security, including best paper awards at S&P 2021 and RTSS 2019).

• The concrete research topic is flexible and will be shaped based on background and interests of the candidate.