Academic research assistant (m/f/x)

WorkplaceSaarbrücken, Saarland, Germany

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 W2494
, salary in accordance with the German TV-L salary scale 1 , pay grade:
E13 TVL, duration of employment:
36 months, volume of employment:
100 % of standard working time.


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" (?" target="_blank" rel="nofollow">?" target="_blank" rel="nofollow">­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). o 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). o 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). o 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 = col ective 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 wil initial y be assigned a level 1 rating. After one year at level 1 of the E10 pay grade, an employee wil move up to level 2. After a further two years, the employee wil move to level 3, etc.

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

The successful candidate wil also be expected to:
  • Research experience in computer security, formal methods, or real-time systems o Course or research background in formal methods (e.g. verification, model checking, abstract interpretation, fuzzing, or real-time analysis), computer architecture, or computer security o Strong verbal and written communication skills o Independence and "drive" to perform research and to publish in high-impact venues

What we can offer you:
  • A flexible work schedule allowing you to balance work and family, among other things the possibility of teleworking o Secure and future-oriented employment with attractive conditions o A broad range of further education and professional development programmes (for example language courses) o An occupational health management model with numerous attractive options, such as our university sports programme o Supplementary pension scheme (RZVK) o Discounted tickets on local public transport services (’Job-Ticket Plus’ of the saarVV) We look forward to receiving your application by

. 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
. Please include the reference number

in the subject line of the email. If you have any

, please contact us for assistance. Your contact: Prof. Jan Reineke E-Mail: Pay grade classification is based on the particular details of the position held and the extent to which the applicant meets the requirements of the pay grade within the TV-L salary scale.
Part-time employment is generally possible. If you have obtained a foreign university degree, a proof of the equivalence of this degree with a German degree by the Zentralstelle für ausländisches Bildungswesen (ZAB) is needed before hiring.
If necessary, please apply for this in time. You can find more information at ?" target="_blank" rel="nofollow">?" target="_blank" rel="nofollow">­zeugnisbewertung. Unfortunately, neither costs for attending an interview at Saarland University nor costs for any certificate evaluation by the ZAB can be reimbursed in principle.
We welcome applications regardless of gender, nationality, ethnic and social origin, religion/belief, disability, age, and sexual orientation and identity.
In accordance with its policy of increasing the proportion of women, the University actively encourages applications from women.
Applications from severely disabled persons will be given preferential consideration in the event of equal suitability.
When you submit a job application to Saarland University you will be transmitting personal dat a. Please refer to our privacy notice for information on how we collect and process personal data in accordance with Art.
13 of the Datenschutz-Grundverordnung. By submitting your application you confirm that you have taken note of the information in the Saarland University privacy notice.

In your application, please refer to and reference JobID 2903732.