Mira Mezini

Professor, Software Engineering

Technische Universität Darmstadt
Country flag
Germany

Research Interests

Explore related searches

Contact this professor

LinkedIn
ORCID
Google Scholar
Academic Page

Positions (1)

Publisher
source

Technical University of Darmstadt

Technical University of Darmstadt

PhD and Postdoc Positions in Human-AI Collaboration for Cybersecurity at TU Darmstadt and Goethe University Frankfurt

The Ubiquitous Knowledge Processing (UKP) Lab at the Technical University of Darmstadt, in collaboration with Goethe University Frankfurt, is offering fully funded PhD and Postdoc positions in the interdisciplinary HAICC project: Human-AI Collaboration for Cybersecurity. This initiative, funded by the National Research Center for Applied Cybersecurity ATHENE, aims to redefine how humans and AI agents cooperate to address complex cybersecurity challenges. The project focuses on agentic architectures, HCI-based interaction protocols, learning expert preferences from natural language feedback, multimodal adaptation, and AI agent integrity and accountability. Successful candidates will join a diverse team of leading researchers, including Prof. Iryna Gurevych (Natural Language Processing), Prof. Kristian Kersting (Machine Learning), Prof. Carsten Binnig (Multimodal AI), Subhabrata Dutta, PhD (NLP), Prof. Mira Mezini (Software Engineering), Prof. Florian Müller (Human-Computer Interaction), Prof. Christian Reuter (Cybersecurity), Prof. Haya Schulmann (Cybersecurity), Prof. Anna Rohrbach (Multimodal AI), Prof. Markus Rohrbach (Multimodal AI), Prof. Stefan Roth (Computer Vision), Prof. Michael Waidner (Cybersecurity), and Prof. Hinrich Schütze (NLP, LMU Munich). Each PhD student will be co-supervised by at least two faculty members, ensuring interdisciplinary guidance and support. Research areas include investigating real-world cybersecurity workflows using empirical HCI methods, developing collaborative AI agent capabilities (natural-language understanding, preference learning, domain-aware reasoning), multimodal adaptation (tabular data, images, code), formalizing explainability and trustworthiness in AI agents, and applying the HAICC framework to practical cybersecurity use cases. The project benefits from access to state-of-the-art infrastructure, including TU Darmstadt’s GPU clusters and a strong AI and cybersecurity ecosystem. Applicants for PhD positions must hold a Master’s degree in computer science, AI, cybersecurity, human–computer interaction, or related fields. Postdoc applicants require a PhD in these areas. Candidates should demonstrate expertise in large language models, NLP and AI agents, cybersecurity or security analytics, machine learning and preference learning, human–AI interaction or explainable AI, along with excellent programming, analytical, and communication skills. English proficiency is required; German is advantageous but not mandatory. Funding is fully provided, with remuneration according to the TV – TU Darmstadt collective agreement. Benefits include 30 days annual leave, educational leave, free public transport in Hesse, remote work options, preventive medical check-ups, subsidised sports programmes, flexible working models, pension scheme, university bicycle, and family-friendly services. The university encourages applications from female candidates and those with disabilities. To apply, visit the official portal at https://careers.ukp.informatik.tu-darmstadt.de/ , complete the online form, and select the 'ATHENE-HAICC' position. Submit a motivation letter, CV, degree documents, transcripts, project proposal, work area and supervisor preferences, and recommendation letters. The application deadline is December 14, 2025, but positions remain open until filled.

9 months ago

Articles (1)

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications

Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separate programs—in different programming languages—communicating via send and receive operations. This makes distributed program flow awkward to express and reason about, increasing the potential for mismatches in the client-contract interface, which can be exploited by malicious clients, potentially leading to huge financial losses. In this article, we present Prisma , a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that “belong together” are encapsulated into a single direct-style operation, which is executed differently by sending and receiving parties. This enables expressing distributed program flow via standard control flow and renders mismatching communication impossible. We prove formally that our compiler preserves program behavior in presence of an attacker controlling the client code. We systematically compare Prisma with mainstream and advanced programming models for dApps and provide empirical evidence for its expressiveness and performance.

Year:

2023

Social connections

How do I reach out?

Sign in for free to see their profile details and contact information.

Meet Kite AI