Auf einen Blick
- Aufgaben: Führe innovative Forschung zu logischen Zonotopen und digitalen Schaltungen durch.
- Unternehmen: Technische Universität München – ein Ort für bahnbrechende Forschung.
- Vorteile: Attraktives Gehalt nach TV-L E13 und Unterstützung bei der Lehre.
- Weitere Informationen: Dynamisches Umfeld mit Möglichkeiten zur persönlichen und beruflichen Weiterentwicklung.
- Warum dieser Job: Gestalte die Zukunft der formalen Verifikation und entwickle skalierbare Methoden.
- Qualifikationen: Starker mathematischer Hintergrund und Programmierkenntnisse in C++, Python oder MATLAB.
Das prognostizierte Gehalt liegt zwischen 50000 - 65000 € pro Jahr.
Deadline: 07.07.2026.
Überblick
Schließen Sie sich uns an, um den Stand der Technik in der formalen Verifikation und Erreichbarkeitsanalyse für diskrete Systeme voranzutreiben. Ihre Forschung wird sich auf die Anwendungen von logischen Zonotopen in digitalen Schaltungen und die Modellprüfung diskreter Systeme konzentrieren, mit dem Ziel, Methoden und Werkzeuge zu entwickeln, die die Verifikation skalierbar und zuverlässig machen.
Verantwortlichkeiten
- Sie werden originäre Forschung zu logischen Zonotopen-basierten Methoden für die Modellprüfung und die Verifikation digitaler Schaltungen durchführen.
- Zusätzlich werden Sie Prototypen entwerfen und implementieren (unter Verwendung von C++, Python und MATLAB) und wo möglich zu Open-Source-Tools beitragen.
- Unterstützung für die Lehre an der Technischen Universität München ist erforderlich.
Gehalt und Leistungen erfolgen gemäß dem deutschen öffentlichen Tarifvertrag, TV-L E13.
Qualifikationen
- Starker mathematischer Hintergrund (z.B. lineare Algebra, Optimierung, formale Methoden, konvexe Geometrie).
- Master oder PhD in Informatik, Elektrotechnik, Regelungstechnik oder einem eng verwandten Bereich.
- Erfahrung in der Erreichbarkeitsanalyse, formaler Verifikation/Modellprüfung, Regelungstheorie oder verwandten Bereichen.
- Programmierkenntnisse in C++, Python, MATLAB oder ähnlichem.
Bewerbungsprozess
Bitte senden Sie eine E-Mail an Amr Alanwar (alanwar@tum.de) mit dem Betreff „Position in Logischen Zonotopen“ und fügen Sie Folgendes bei:
- Lebenslauf (mit Veröffentlichungen und Kontaktdaten von ≥2 Referenzen).
- Akademische Zeugnisse.
Bewerbungen werden fortlaufend geprüft; nur ausgewählte Kandidaten werden kontaktiert und zu einem Vorstellungsgespräch eingeladen.
EEO-Erklärung
Die Position ist für Menschen mit Behinderungen geeignet. Behinderten Bewerbern wird bei allgemeiner Gleichwertigkeit der Eignung, Befähigung und beruflichen Leistung der Vorzug gegeben.
Datenschutzinformationen
Wenn Sie sich für eine Position an der Technischen Universität München (TUM) bewerben, übermitteln Sie persönliche Informationen. Bitte beachten Sie in Bezug auf persönliche Informationen die Datenschutzhinweise gemäß Art. 13 Datenschutz-Grundverordnung (DSGVO) zur Erhebung und Verarbeitung personenbezogener Daten im Rahmen Ihrer Bewerbung.
Kontaktdaten:
Technische Universität München (Technical University of Munich) Recruiting-Team
StudySmarter Expertenrat🤫
Wir sind der Meinung, dass Sie so PhD/PostDoc position (TV-L E13) erhalten könnten
✨Sei aktiv in lokalen Datenbank-Communities
Schau dir lokale Meetup-Gruppen oder Online-Communities an, die sich mit Datenbanken beschäftigen. Dort kannst du nicht nur dein Netzwerk erweitern, sondern auch wertvolle Kontakte knüpfen, die dir bei der Jobsuche helfen können. Viele Unternehmen schätzen Empfehlungen aus diesen Communities.
✨Zeige deine Skills in Open-Source-Projekten
Beteilige dich an Open-Source-Projekten, die mit Datenbanken arbeiten. So kannst du deine Fähigkeiten unter Beweis stellen und gleichzeitig einen beeindruckenden Portfoliobereich aufbauen, den du potenziellen Arbeitgebern präsentieren kannst.
✨Besuche Jobmessen und Recruiting-Events
Jobmessen sind eine großartige Gelegenheit, um direkt mit Unternehmen in Kontakt zu treten. Informiere dich über lokale Jobmessen, die sich auf Tech- und Datenbankrollen konzentrieren, und bereite uns vor, um unseren Lebenslauf und unser Interesse an der Rolle zu präsentieren.
✨Bewirb dich direkt bei Technische Universität München (Technical University of Munich)
Wir empfehlen dir, auch direkt über unsere Website bei Technische Universität München (Technical University of Munich) für die Stelle als PhD/PostDoc position (TV-L E13) zu bewerben. Zeig uns deine Leidenschaft für Datenbanken und warum du Teil unseres Teams werden möchtest. Jede Bewerbung zählt!
Wir glauben, dass du diese Fähigkeiten brauchst, um PhD/PostDoc position (TV-L E13) mit Bravour zu bestehen
Einige Tipps für deine Bewerbung 🫡
Datenbank-Skills hervorheben:In deinem Lebenslauf solltest du unbedingt deine Erfahrungen mit verschiedenen Datenbankmanagementsystemen (DBMS) wie MySQL, PostgreSQL oder MongoDB betonen. Wenn du spezielle Projekte oder Aufgaben in deinem letzten Job hast, die deine Fähigkeiten im Umgang mit Datenbanken zeigen, nenn diese unbedingt!
Projekte und Zertifikate erwähnen:Falls du an relevanten Projekten oder Kursen in Bezug auf Datenbanken teilgenommen hast, pack sie in dein Portfolio oder erwähne sie in deinem Anschreiben. Das zeigt, dass du nicht nur theoretisches Wissen hast, sondern auch praktische Anwendungskonzepte beherrschst!
Motivation und Teamfähigkeit zeigen:Da du dich auf eine Vollzeitstelle bewirbst, ist es wichtig, dass du in deinem Anschreiben deutlich machst, warum du leidenschaftlich an der Arbeit mit Datenbanken interessiert bist und wie gut du im Team arbeiten kannst. Unternehmen suchen oft nach Mitarbeitern, die auch über die technischen Fähigkeiten hinaus ins Team passen.
Die richtige Struktur im Lebenslauf:Gestalte deinen Lebenslauf klar und strukturiert – in der Datenbankbranche kommt es nicht nur auf die Inhalte an, sondern auch auf die Art und Weise, wie du sie präsentierst. Nutze klare Überschriften und Absätze, um deine Fähigkeiten und Erfahrungen hervorzuheben. Und vergiss nicht, dein Lebenslauf sollte so aufbereitet sein, dass man sofort erkennt, dass du ein wahres Datenbanktalent bist!
Wie man sich auf ein Vorstellungsgespräch bei Technische Universität München (Technical University of Munich) vorbereitet
✨Sei bereit für technische Fragen zur Datenbankverwaltung
Egal, ob es um SQL-Abfragen, Datenmodellierung oder Performance-Optimierung geht, du solltest die Grundlagen perfekt beherrschen. Bereite dich darauf vor, praktische Probleme zu lösen und deine Lösungsansätze zu erklären – das zeigt, dass du nicht nur Theorie kennst, sondern auch praktisch umgehen kannst!
✨Portfolio nicht vergessen!
Wenn du bereits an Datenbankprojekten gearbeitet hast, bringe Beispiele mit, die deine Fähigkeiten zeigen. Zeige, wie du Probleme gelöst hast und wie deine Ansätze zur Effizienz der Datenbank beigetragen haben. Ein starkes Portfolio kann dich von anderen Kandidaten abheben!
✨Verstehe die spezifischen Tools der Branche
Je nach Technische Universität München (Technical University of Munich) könnte es sein, dass ihr spezifische Datenbankmanagementsysteme nutzt. Mach dich mit diesen vertraut und zeige dein Wissen über die neuesten Tools und Technologien. Das zeigt, dass du aufmerksam bist und dich bereits mit ihrer Arbeitsweise beschäftigt hast.
✨Motivation und Entwicklung in den Vordergrund stellen
Da es sich um eine Vollzeitstelle handelt, wollen sie wissen, dass du langfristig motiviert bist. Erkläre, warum dich die Arbeit in der Datenbankverwaltung begeistert und wie du deine Fähigkeiten weiterentwickeln möchtest, um einen Mehrwert für Technische Universität München (Technical University of Munich) zu schaffen.
