Academic research assistant (m/f/x)

Saarland University is a campus university with an international reputation for research excellence, particularly in . The university is also distinguished by its close ties to . 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 . The Department of Computer Science is inviting applications for the following position commencing at the earliest .

Academic research assistant (m/f/x) Reference number W2530
, salary in accordance with the German TV-L salary scal e1, pay grade:
E13 TVL, 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 . As part of the ERC Advanced Grant "Abstractions for Safe and .europa.eu/project/id/101020415) the group of Prof. Reineke is seeking a .

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 = 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 . Entry-level employees with no previous experience will initially be assigned a level 1 rating. After one year at . After a further two years, the employee will move to level 3, etc.

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

The successful candidate will 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

31.10.2024
. The application should include a letter of motivation, . Applications should be sent in a single PDF file to

reinekecs.uni-saarland.de
. Please include the reference number

W2530
in the subject line of the e- mail. If you have any

questions
, please contact us for assistance. Your contact: Prof. Jan Reineke .uni-saarland.de Pay grade classification is based on the particular details of the position held and the extent to which the applicant meets the . 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 . If necessary, please apply for this in time. You can find more information at ?url=https%3A%2F%2Fwww.kmk.org%2Fzeugnisbewertung&module=jobs&id=200621" target="_blank" rel="nofollow">?url=https%3A%2F%2Fwww.kmk.org%2Fzeugnisbewertung&module=jobs&id=200621" target="_blank" rel="nofollow">https://www.kmk.org/­zeugnisbewertung. Unfortunately, neither costs for attending an interview at Saarland University nor costs for any certificate evaluation by the ZAB . We welcome applications regardless of gender, nationality, ethnic and social origin, religion/belief, disability, age, and sexual . In accordance with its policy of increasing the proportion of women, the University actively encourages . 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 . 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.