Academic research assistant (m/f/x)

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" () the group of Prof. Reineke is seeking a highly motivated PhD student. Job requirements and responsibilities: 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). The emergence of the RISC-V ecosystem provides a rich and growing set of existing real-world designs of varying complexity that may serve as verification targets. The concrete research topic is flexible and will be shaped based on background and interests of the candidate. Assist in teaching courses at the undergraduate and graduate level; ample time to perform research towards a PhD will be given. Your academic qualifications: Completed university studies in Computer Science or a related field Language skills (according to GER): English-C1 The successful candidate will also be expected to: Course background in computer architecture, hardware description languages, design automation Background in formal methods (model checking, SMT solvers, abstract interpretation) and computer security would be a plus Prior research experience is considered a plus Strong verbal and written communication skills 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 Secure and future-oriented employment with attractive conditions A broad range of further education and professional development programmes (for example language courses) An occupational health management model with numerous attractive options, such as our university sports programme Supplementary pension scheme (RZVK) Discounted tickets on local public transport services ('Job-Ticket Plus' of the saarVV) Your application: We look forward to receiving your application by 31.10.2024. 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 one of the reference numbers W2530, W2531 or W2532 in the subject line of the e-mail. If you have any questions, please contact us for assistance. Your contact:Prof. Jan ReinekeE-Mail: