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

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

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.

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.

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.

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.

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




• Familienfreundlichkeit/Vereinbarkeit Familie/Pflege/Beruf – Kinderbetreuungsangebote sowie Zahlung einer Kinderzulage (gemäß tariflichen Bestimmungen), Ferienangebote

Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich zu bewerben. Bewerber:innen mit einem Grad der Behinderung von mindestens 50 oder diesen Gleichgestellte werden bei gleicher Eignung bevorzugt. Die Vergütung erfolgt nach dem Tarifvertrag für die Technische Universität Darmstadt (TV - TU Darmstadt). Teilzeitbeschäftigung ist grundsätzlich möglich.

Mit dem Absenden Ihrer Bewerbung willigen Sie ein, dass Ihre Daten zum Zwecke des Stellenbesetzungsverfahrens gespeichert und verarbeitet werden. Sie finden unsere Datenschutzerklärung auf unserer Webseite.

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

#J-18808-Ljbffr