Wiss. Mitarbeiter:in / PostDoc (w/m/d) - Logik

Summary

Über die TU Darmstadt Die TU Darmstadt steht für exzellente und relevante Wissenschaft. Die tiefgreifenden globalen Veränderungsprozesse – von Energiewende bis zu Künstlicher Intelligenz – gestalten wir durch herausragende Erkenntnisse und zukunftsweisende Studienangebote entscheidend mit. Unsere Spitzenforschung bündeln wir in drei Feldern: Energy and Environment, Information and Intelligence, Matter and Materials. Als eine in der Metropolregion Frankfurt-Rhein-Main verankerte und sehr stark international geprägte Universität sehen wir uns den europäischen Werten und der europäischen Integration verpflichtet. Über unseren Bereich Der Fachbereich Mathematik der TU Darmstadt umfasst acht Forschungsgruppen mit starken nationalen und internationalen Verbindungen sowie engen Kooperationen in der Rhein-Main-Region. Wir sind eine engagierte und vielfältige Gemeinschaft, die Wert auf fundierte Diskussionen, den Austausch von Ideen und eine kollegiale Atmosphäre legt. Der Fachbereich bietet ausgezeichnete Bedingungen für Forschung und trägt mit einem breiten Lehrangebot zu unseren Bachelor- und Masterstudiengängen bei. Ihre Aufgaben Der/die Kandidat:in für diese Postdoktorandenstelle erhält die Möglichkeit, durch eigenständige Forschung seine/ihre akademische Erfahrung in einem geeigneten Bereich der mathematischen Logik zu erweitern, wobei der Schwerpunkt auf modelltheoretischen Methoden in nicht-klassischen Kontexten unter der wissenschaftlichen Betreuung von Prof. Otto liegt. Neben der Arbeit an konkreten gemeinsamen Forschungsthemen umfasst dies eine systematische Bestandsaufnahme des aktuellen Forschungsstands zu verwandten Ansätzen für Logiken modaler, inquisitiver oder team-semantischer Natur als Hintergrund für einen möglichen Förderantrag. Die aktive Unterstützung in der Lehre des Fachbereichs auf Assistenzniveau, und hier insbesondere die Mitwirkung in der logikbezogenen Hochschullehre, wie sie von der Arbeitsgruppe Logik gepflegt wird, gehören ebenfalls zu den regulären Aufgaben. Ihr Profil Bewerber:innen verfügen über eine Promotion, möglichst in der mathemtaischen Logik oder einem eng verwandten Fachgebiet. Sie sollten einen Hintergrund sowie besondere Interessen im Bereich modelltheoretischer Methoden mitbringen. Erfahrungen mit der Anwendung solcher Methoden in nicht-klassischen Kontexten, wie z. B. bei Fragen zu algorithmischen Aspekten über endlichen Strukturen und der Analyse modaler oder team-semantischer Logiken mittels modelltheoretischer Spiele, wären besonders willkommen. Neben diesem Schwerpunkt auf individuellen Forschungsaktivitäten sollten die Bewerber:innen auch motiviert sein, im Rahmen ihrer regulären Aufgaben einen Beitrag zu Lehrtätigkeiten auf Assistenzniveau zu leisten. Wir bieten Die Technische Universität Darmstadt bietet vielfältige und herausfordernde Aufgaben, eigenverantwortliches Arbeiten, aktuelle Technologien, gute kollegiale und partnerschaftliche Zusammenarbeit, bedarfsorientierte Fortbildungsmöglichkeiten und eine individuelle Personalentwicklung. Das Beschäftigungsverhältnis dient zugleich der wissenschaftlichen Qualifizierung. • Entfaltung und Gestaltung – ein umfassendes internes Weiterbildungsangebot sowie Möglichkeiten der Weiterqualifizierung und Entwicklung • Urlaub/Bildungsurlaub – 30 Tage Urlaub pro Jahr (bei Vollzeit) und 5 Tage Bildungsurlaub • Nachhaltig und Mobil – Freifahrtberechtigung im gesamten Regionalverkehr in Hessen durch das LandesTicket Hessen nach den jeweils geltenden tariflichen Bestimmungen sowie mobiles Arbeiten • Fit und Gesund – kostenlose medizinische Vorsorgeuntersuchungen und umfangreiches vergünstigtes Sportangebot • Work-Life-Balance – flexible Arbeitszeitmodelle; Betriebliches Gesundheitsmanagement • Altersvorsorge – Zusatzversorgung des öffentlichen Dienstes (VBL) nach den jeweils geltenden Bestimmungen • Dienstrad/Fahrradleasing • Familienfreundlichkeit/Vereinbarkeit Familie/Pflege/Beruf – Kinderbetreuungsangebote sowie Zahlung einer Kinderzulage (gemäß tariflichen Bestimmungen), Ferienangebote Weitere Informationen Wenn Sie begeistert davon sind, exzellente Forschung in einem unterstützenden Umfeld zu entwickeln, ermutigen wir Sie, sich zu bewerben. Sollten sie Fragen haben oder mehr über unsere Forschungsgruppe erfahren möchten, können Sie sich sehr gerne direkt per E-Mail an Prof. Dr. Martin Otto wenden (otto@mathematik.tu-darmstadt.de).

• Wiss. Mitarbeiter:innen (w/m/d) - Fachbereich Mathematik

  Scientific Staff · FB Mathematik · Deadline 1 November 2026

• Wiss. Mitarbeiter:in / Doktorand:in (w/m/d) im Themenfeld Kommunikation mit und zwischen Drohnen

  PhD · FB Elektro- u. Informationstechnik · Deadline 31 October 2026

• Wiss. Mitarbeiter:in / Doktorand:in (w/m/d) - Mikrobielle Energieumwandlung und Biotechnologie

  PhD · FB Biologie · Deadline 31 October 2026

• Wiss. Mitarbeiter:in / PostDoc (w/m/d) im ERC Projekt "Tools for Protecting Data and Function Privacy"

  Postdoc · FB Informatik · Deadline 8 November 2026

• KONSTRUKTION UND HERSTELLUNG EINER EINSATZFÄHIGEN, ELASTISCHEN BUCHSE DURCH ADDITIVE UND SUBTRAKTIVE FERTIGUNGSSCHRITTE

  Thesis · Forschungsgruppe TEC | Fertigungstechnologie, Fachbereich Maschinenbau, Institut für Produktionsmanagement, Technologie und Werkzeugmaschinen (PTW)

• Wiss. Mitarbeiter:in / Doktorand:in (w/m/d) - Performante und ausfallsichere Satellitenkommunikationsnetze

  PhD · FB Elektro- u. Informationstechnik · Deadline 29 October 2026