Academic research assistant in Saarbrücken bei Universität 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.

Academic research assistant (m/f/x)
Reference number W2371, salary in accordance with the German TV-L salary scale1, pay grade: E13 TV- L, duration
of employment: 36 months, volume of employment: 100 % of standard working time.

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.

Job requirements and responsibilities:
• 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

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

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

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

What we can offer you:
• A flexible work schedule allowing you to balance work and family, among other things the possibility of

We look forward to receiving your application by 15.10.2023. The application should include a letter of motivation,
curriculum vitae, transcript of records, and at least two academic references. Applications should be sent in a single
PDF file to reineke@cs.uni-saarland.de. Please include the reference number W2371 in the subject line of the e-
mail.

If you have any questions, please contact us for assistance. Your contact:
Prof. Jan Reineke
E-Mail: reineke@cs.uni-saarland.de

Pay grade classification is based on the particular details of the position held and the extent to which t