Ihr beruflicher Tätigkeitsbereich:Als Universitätsassistent*in Postdoc ergänzen Sie das Forschungsteam rund um Univ.-Prof. Dr. Philipp Grohs. Wir suchen hochqualifizierte Kandidat*innen an der Schnittstelle von numerischer Analysis, Approximationstheorie und maschinellem Lernen. Bei dem Forschungsprojekt handelt es sich um eine Kooperation zwischen der Forschungsgruppe „Mathematische Datenwissenschaften“ an der Universität Wien (geleitet von Univ.-Prof. Dr. Philipp Grohs) und der Forschungsgruppe „Computational Partial Differential Equations“ an der TU Wien (geleitet von Univ.-Prof. Dr. Michael Feischl). Im Zuge dieser Kooperation besteht die Möglichkeit, die Stelle um weitere 20h/Woche auf insesamt 40h/Woche aufzustocken. Das Ziel der Forschung ist es zu untersuchen, inwieweit Standardbeweise in der numerischen Analysis und der Approximationstheorie durch eine von einem neuronalen Netz gesteuerte Suche über den Aktionsraum von Standardwerkzeugen (z.B. Hölder-Ungleichungen, Sobolev-Einbettungen, ...) automatisiert werden können. Bestimmte Beweise in diesen Gebieten erfordern die ausgeklügelte Anwendung bekannter Werkzeuge in der richtigen Reihenfolge, was für einen Menschen aufwändig zu finden sein kann. Maschinengestützte Beweisautomatisierung könnte ein großer Fortschritt auf diesem Gebiet sein und es ermöglichen, in Zukunft wesentlich tiefergehende Fragen zu betrachten. Kandidat*innen für diese Position sind idealerweise mit Lean4 (oder einem vergleichbaren Beweisassistenten) vertraut und besitzen einen Hintergrund in der numerischen Analysis und/oder Approximationstheorie. Kleine Axiomenysteme, die in diesen Fachgebieten bereits vorhanden sind, könnten als Ausgangspunkt für das Projekt dienen.Der Vertragsbeginn ist ab dem 01.09.2025 möglich und verhandelbar. Die Anstellungsdauer beträgt 3 Jahre ab Vertragsbeginn.Das machen Sie konkret:Sie beteiligen sich aktiv an Forschung, Lehre & Administration, das bedeutet:Mitarbeit und Forschung auf dem Gebiet der Mathematischen Beweisautomatisierung: o Sie identifizieren und bearbeiten Forschungsfragen auf dem Gebiet der Mathematischen Beweisautomatisierung in der Numerische Mathematik und/oder Approximationstheorie. o Sie implementieren die gefundenen Methoden in Lean. o Sie werden aktives Mitglied der Forschungsgruppe "Mathematical Data Science". Interdiziplinäres Zusammenarbeiten: o Sie wirken aktiv an internationaler Forschung, sowie an internationalen Konferenzen und Workshops mit.Mitarbeit in der Lehre und Administration: o Sie wirken selbständig in der Instituts-, Lehr- und Forschungsadministration mit. o Sie halten Lehrveranstaltungen und Prüfungen im Ausmaß der kollektivvertraglichen Bestimmungen und betreuen Studierende.
Unser Anforderungsprofil/Ihre Anstellungsvoraussetzung:Vollständig abgeschlossenes Doktorat in Mathematik oder einem verwandten Gebiet vor Vertragsbeginn.Schwerpunktsetzung in einem oder mehreren der folgenden Gebiete: Numerische Mathematik, Approximationstheorie, Harmonische Analysis.Erfahrung in Lean4 (oder einem vergleichbaren Beweisassistenten) ist wünschenswert.Durch internationale Publikationen in peer relevanten Medien ausgewiesene Forschungskompetenz & -initiativeAusgezeichnete Englischkenntnisse in Wort und SchriftSie sind ein*e Teamplayer*in mit hoher sozialer, kommunikativer Kompetenz und verfügen über Auslandserfahrung.Sie sind zielorientiert und verfügen insb. über eine hohe Motivation wissenschaftliche Exzellenz anzustreben.Sie haben keinen Anspruch auf Abgeltung angefallener Reise- und Aufenthaltskosten, die aus Anlass des Aufnahmeverfahrens entstanden sind.
Was wir bieten:Work-Life-Balance: Die Vereinbarkeit von Beruf und Privatleben bzw. Beruf und Studium sind uns ein besonders wichtiges Anliegen. Sie können folglich in Abstimmung mit dem Team und der Team-Leitung im Rahmen der aktuell geltenden Betriebsvereinbarungen Ihre Arbeitszeiten flexibel und familienfreundlich gestalten und auch teilweise im Home-Office arbeiten.Inspirierendes Arbeitsklima: Sie sind Teil eines internationalen Teams mit hervorragender Forschungsinfrastruktur in einer lockeren Arbeitsumgebung.Gute öffentliche Anbindung: Ihr neuer Arbeitsplatz ist mit öffentlichen Verkehrsmitteln bequem erreichbar.Klimaneutralität - Nachhaltigkeit: Die Universität Wien leistet ihren Beitrag zur Erreichung der Klimaziele mittels einer beschlossenen Nachhaltigkeitsstrategie und strebt durch Reduzierung des Ressourcenverbrauchs, ressourcenschonenden und nachhaltigen Beschaffungen und Investitionen Klimaneutralität bis 2030 an.Befristeter Vertrag und angemessenes Gehalt: Das Grundgehalt entspricht dem Kollektivvertrag für die Arbeitnehmer*innen der Universitäten gem § 48 VwGr. B1 lit b Grundstufe (postdoc): EUR 4.932,90 brutto auf Vollzeitbasis (14 mal jährlich). Das tatsächliche Gehalt wird schließlich in Abhängigkeit von Berufserfahrung und Qualifikation festgelegt. Mit dem Bruttobezug sind sämtliche Leistungen des*der Arbeitnehmers*Arbeitnehmerin in quantitativer und qualitativer Hinsicht abgegolten (= All-in-Bezug).Interne Weiterbildung und Coaching: Wir bieten Ihnen laufend die Möglichkeit, Ihre Kompetenzen zu vertiefen. Wählen Sie aus einem umfangreichen, kostenfreien Kursangebot.Benefits: Die Universität Wien bietet Ihnen zudem zahlreiche Benefits wie bspw eine betriebliche Pensionsvorsorgekasse, Fahrtkostenzuschüsse, günstige Parkmöglichkeiten, vergünstigte EDV (Hard- und Software), Sondertarife für Sprachkurse des universitären Sprachenzentrums, Frauenförderung, Diversitätsmanagement und spezifische Karriereförderung, Inklusion, Papamonat, Flexible Kinderbetreuung, Ferienbetreuung für Kinder, Gesundheitsvorsorge, Impfaktionen und Fitnessangebote (Sondertarife für USI Sportkurse) sowie Vergünstigungen und Rabatte für Mitarbeiter*innen bei diversen Firmen.Gleiche Chancen für alle: Wir freuen uns über jede zusätzliche Persönlichkeit im Team!Ist Ihr Interesse geweckt? Möchten Sie sich dieser neuen Herausforderung als Teil des Forschungsteams rund um Prof. Grohs stellen?
Wir freuen uns auf Ihre aussagekräftige Bewerbung:mit Ihrem Motivationsschreiben, wissenschaftlichen CV, inkl. Publikationsliste, Liste der Drittmittel sowie der Vortrags- und Lehrtätigkeiten (soweit zutreffend),einer Darstellung der bisherigen Forschungsleistungen sowie der zukünftigen Forschungsinteressen und -pläne (max. 4 Seiten),2 - 3 Empfehlungsschreiben, die direkt an philipp.grohs@univie.ac.at zu senden sind unter Angabe des Bewerber*innennamens und der Job ID 4200 (im Betreff)entweder:über unser Jobportal, indem Sie in der Kopfzeile rechts oben auf "Profil anlegen - An- & Abmelden" klicken, oderdirekt in dieser Ausschreibung, indem Sie den "Jetzt Bewerben" - Button auf der rechten unteren Seite anklicken.Bei inhaltlichen Fragen kontaktieren Sie bitte:Philipp Grohs philipp.grohs@univie.ac.atWir freuen uns über neue Persönlichkeiten in unserem Team! Die Universität Wien betreibt eine antidiskriminatorische Anstellungspolitik und legt Wert auf Chancengleichheit, Frauenförderung und Diversität. Wir streben eine Erhöhung des Frauenanteils beim wissenschaftlichen und allgemeinen Universitätspersonal insbesondere in Leitungsfunktionen an und fordern daher qualifizierte Frauen ausdrücklich zur Bewerbung auf. Bei gleicher Qualifikation werden Frauen vorrangig aufgenommen. Universität Wien. Raum für Persönlichkeiten. Seit 1365.DatenschutzerklärungBewerbungsfrist: 13.08.2025
Post Doc
Jetzt bewerben