|
Technische Universität Braunschweig is one of Germany’s leading institutes of technology and offers an inspiring work environment with a wide range of research and teaching opportunities in state-of-the-art facilities. The 3,800 members of our academic, technical and administrative staff – including more than 400 international scientific staff – work together to ensure that our university successfully fulfils its mission of providing excellent teaching for our approximately 16,000 students and 100 trainees.
We focus our research on mobility, metrology, engineering for health, and the future city. Our core disciplines include a comprehensive engineering division and a strong natural sciences division, closely linked with business sciences, social sciences, educational sciences, and the humanities.
Our university is located at the heart of one of Europe’s most research-intensive regions. We cooperate closely with the more than 20 internationally renowned research institutions in our vicinity and our network extends to our partner universities in Germany and all over the world, with whom we maintain strong relationships.
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
|
