Image 1: Image

Carl-Friedrich-Gauß-Fakultät

Department Computer Science

We offer a

W2 Professorship for Software Engineering for Safety Critical Systems

The appointment is planned for Oktober 01, 2025.

Your responsibilities

We are seeking a candidate with a promising track record in the area of system design and analysis for safety and security requirements. The following research topics are particularly relevant.

Model Checking,
Static Program Analysis (Abstract Interpretation, Data Flow Analysis),
Dynamic Program Analysis (Runtime Verification, Monitoring, Testing),
Solver Technology (SAT Solvers, SMT Solvers, Theorem Provers),
Programming Languages (Program Logics, Type Systems, Semantics),
Synthesis (Reactive Synthesis, Functional Synthesis, Correctness by Construction).

The position is particularly suited for researchers at an early stage of their career. Braunschweig offers a vibrant research environment in which Computer Science and the engineering disciplines closely interact, forming the university's core research area Mobility. The professorship will have the chance to contribute to the Aeronautics Research Centre Niedersachsen (NFL), the Cluster of Excellence Sustainable and Energy-Efficient Aviation (SE²A), and the Niedersächsisches Forschungszentrum Fahrzeugtechnik (NFF). Interest in interdisciplinary research is considered a plus, and so are industry experience and experience with acquiring third-party funding. Research experience at an international level (e.g. postdoc stays) is expected.

The professorship will take over basic courses in Theoretical Computer Science and contribute advanced courses to the Bachelor's and Master's programs in Computer Science, Computer and Communication Systems Engineering, Data Science, and Business Information Systems. There is a requirement to learn and teach in German within one year. An active participation in academic self-administration is expected.

The successful candidate (f/m/d) is expected to be committed to the university’s strategic goals and to actively shape its holistic development (https://www.tu-braunschweig.de/hochschulentwicklung). In addition to the classic service areas of a university (research, teaching and studies, transfer, governance and administration), this applies in particular to digitalisation, internationalisation, equality and diversity, as well as knowledge exchange.

Our expectations

Interest in interdisciplinary research, especially in interdisciplinary collaboration in the Aeronautics Research Centre Niedersachsen (NFL)
Research experience on an international level (e.g. through postdoctoral stays)
Outstanding scientific results, proven by publications of the highest rank, scientific awards, etc.
Strong teamwork, management and leadership skills
Commitment to Bachelor's and Master's programs in Computer Science, Information Systems Engineering, Data Science, as well as Business Information Systems, especially with respect to undergraduate education in Theoretical Computer Science
International experience in teaching and research, very good command of the English language and willingness to teach courses in English
Third-party funding activities or industry experience are an advantage
Commitment to increasing the internationalization and international visibility of TU Braunschweig
Willingness to participate in the self-governance of the university

Individual career decisions and career breaks due to parental/family care leave affecting research output will be taken into account by the appointment committee.

Requirements, § 25 NHG

A degree in a relevant field
Pedagogical aptitude
Special qualification for in-depth independent scientific work, as a rule proven by an above-average doctorate
Additional academic achievements, usually within the framework of a junior professorship, a post-doctoral degree (Habilitation) or through achievements equivalent to a Habilitation

Notes

Technische Universität Braunschweig makes personnel decisions on the basis auf suitability, ability and professional performance.

Our aim is to increase the share of women in academic positions. Therefore, we particularly welcome applications from women and will give preference to female candidates with equivalent qualifications. People with disabilities are strongly encouraged to apply and, if equally qualified, will be given preference in the appointment process.

Technische Universität Braunschweig is certified as a family-friendly university. We are committed to facilitating a healthy and productive work-life balance and offer a dual career service as well as support for newly appointed staff. Our Family Office provides advice on all issues relating to family, childcare, and caring for relatives. Our “Prof.-Programm” offers exclusive status-related exchange and consulting formats, in particular to newly appointed professors.

Professional and Personnel Development promotes the professional development of all employees through a wide range of courses and activities.

The university actively endorses equal opportunities and diversity and promotes diverse perspectives as essential in contributing to the university’s success in research, teaching, transfer and administration.

We particularly invite applications from international candidates (f/m/d). German language skills are not a prerequisite. However, the successful candidate is expected to acquire sufficient language skills to perform teaching and administrative duties in German within one year of appointment.

Even though this is a permanent full-time position, a part-time appointment may be possible upon request.

Applicants (f/m/d) who are 50 years or older at the time the appointment commences and who have not acquired permanent civil servant status (Beamtenverhältnis auf Lebenszeit) will be employed with employee status (Angestelltenverhältnis).

We are looking forward to your application!

Applicants (f/m/d) are requested to attach the following documents:

Cover letter
Research and teaching concept
Academic certificates and diplomas (degrees)
List of publications incl. 3 selected publications
List of third-party funds
List of courses, including results of course evaluation
Research and teaching concept
If applicable, add proof of parental/care leave
If applicable, add proof of disability

Please submit the application, including all documents, digitally via the online portal (button underneath) of Technische Universität Braunschweig.

Deadline for application

The application deadline is 2025-05-31.

Contact

Informal enquiries about the job can be directed to

Prof. Dr. Roland Meyer T + 49 531 391 9524 roland.meyer@tu-braunschweig.de

For questions regarding legal matters, please contact

Anne Fritz T + 49 531 391 4350 berufungen@tu-braunschweig.de

For questions regarding the online application process, please contact

Nicole Brückner T + 49 531 391 4337 berufungen@tu-braunschweig.de

www.tu-braunschweig.de