Doctoral Researcher (f/m/d)

    University of Bremen
    Computer scienceComputer architecture
    First Stage Researcher (R1)
    15/01/2022 12:00 - Europe/Brussels
    Germany › Bremen


Faculty 3 (Mathematics and Computer Science) of the University of Bremen is offering the following position – under the condition of job release – for a period of 3 years:

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.

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.

The position involves the following tasks:

  • 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.

Required profile:

  • 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 information

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: drechsler@uni-bremen.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 A312/21 by January 15th, 2022 to

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

or as one single PDF to: drechsler@uni-bremen.de.

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



More Information

Map Information

Job Work Location Personal Assistance locations
Work location(s)
1 position(s) available at
University of Bremen
Bibliothekstraße 1

EURAXESS offer ID: 712478


The responsibility for the jobs published on this website, including the job description, lies entirely with the publishing institutions. The application is handled uniquely by the employer, who is also fully responsible for the recruitment and selection processes.


Please contact support@euraxess.org if you wish to download all jobs in XML.