Skip to main content

Job Vacancies

Doctoral Researcher (f/m/d) At Faculty 3 – Computer Science

Faculty 3 Mathematics/Computer Sciences

Classifications E 13 - full-time
Reference number: A184/22
Closing date: 09/11/2022
Public vacancy

Logo Audit

Faculty 3 (Mathematics and Computer Science) of the University of Bremen is offering the following position – subject to job approval – limited until 31.10.2025:

Doctoral Researcher (f/m/d)

At Faculty 3 – Computer Science

Salary 13 TV-L (100%)

The employment is fixed-term and governed by the Act of Academic Fixed-Term Contract, §2 (1) (Wissenschaftszeitvertragsgesetz – WissZeitVG). Therefore, candidates may only be considered for appointment if they still have the respective qualification periods available in accordance with § 2 (1) WissZeitVG.


Job description

The internationally renowned research group of Computer Architecture at the University of Bremen develops design tools for computer-aided circuit and system design. The position focuses on the development of innovative methods to prove correctness in the design of embedded systems. The position is part of the Reinhart Koselleck project "PolyVer: Polynomial Verification of Electronic Circuits" funded by the German Research Foundation (DFG) for 5 years.

The research group cooperates closely with partners from industry as part of transfer projects, which are among others funded by the German Federal Ministry of Education and Research (BMBF). In the graduate college System Design (SyDe) of the University of Bremen, new methods and techniques are developed and analyzed for their usability in the practical environment. Close cooperation with these projects is desired.

Job Description

  • Development of innovative methods to prove correctness in the design of embedded systems.
  • Independent and dedicated work in close cooperation with internal and external project partners.
  • Participation in the acquisition of research projects.


  • Above-average academic university degree (university diploma or master's degree with at least 300 CP) in computer science or mathematics with a minor in computer science or comparable degree
  • Profound knowledge in formal methods
  • Very good programming skills in C/C++
  • Good knowledge of English
  • Willingness and ability to familiarize yourself quickly and comprehensively with new contexts
  • High level of commitment, scientific interest and willingness to cooperate across projects

The possibility of a further scientific qualification with the goal of a doctoral degree is given and is strongly supported.


General hints

The University strives to increase the proportion of women on the academic staff and therefore strongly encourages qualified women to apply. In accordance with the Hamburg Equal Opportunity Act, women will be given priority if their qualifications are equal. Applications from people with an immigrant background are welcomed.

For further inquiries, please contact: Prof. Dr. Rolf Drechsler | Tel: 0421-218-63932 | E-Mail: drechslerprotect me ?!uni-bremenprotect me ?!.de

Please send your application with the usual information (cover letter stating interest and motivation, CV, copies of degree certificates, references, etc.) under the reference number A184/22 by September 11th,2022 to:

Universität Bremen
Fachbereich 3 Informatik/Mathematik
Prof. Dr. Rolf Drechsler
Bibliothekstraße 5
28359 Bremen

or as one single PDF to: drechslerprotect me ?!uni-bremenprotect me ?!.de.

For paper applications, please submit copies only (no binders) as we cannot return them; they will be destroyed after the selection process is completed.