• Ratgeber nach Positionen
  • Promovieren
  • Postdoc-Ratgeber
  • Habilitation
  • Professur
  • HAW-Professur
  • Branchen-Ratgeber
  • Geisteswissenschaften
  • Ingenieurwissenschaften
  • Medizin
  • Naturwissenschaften
  • Öffentlicher Dienst
  • NGO, Stiftung & Co.
  • Pädagogik
  • Wirtschafts- und Rechtswissenschaften
  • Informatik & IT
  • Green Jobs
  • Themen-Ratgeber
  • Gehalt
  • Bewerbung
  • Frauen in der Wissenschaft
  • Arbeit & Gesundheit
  • Service-Angebot
  • Events
  • Karriereberatung
  • Promotions-Test
  • Booklet: Arbeiten im öffentlichen Dienst
  • Nachwuchspreis
  • Arbeitgeber
  • Graduiertenschulen
  • Ratgeber-Übersicht
Promovieren Postdoc-Ratgeber Habilitation Professur HAW-Professur
Geisteswissenschaften Ingenieurwissenschaften Medizin Naturwissenschaften Öffentlicher Dienst NGO, Stiftung & Co. Pädagogik Wirtschafts- und Rechtswissenschaften Informatik & IT Green Jobs
Gehalt Bewerbung Frauen in der Wissenschaft Arbeit & Gesundheit
Events Karriereberatung Promotions-Test Booklet: Arbeiten im öffentlichen Dienst Nachwuchspreis Arbeitgeber Graduiertenschulen Ratgeber-Übersicht
Merkliste
Über uns Karriere Kontakt Impressum Nutzungsbedingungen Datenschutzerklärung Cookies & Tracking Partner Job-Mail BOA Berufstest Mediadaten academics.com

3 Stellenangebote
in den Kategorien
Mathematik Professor/in Nordrhein-Westfalen Hochschule

  • W2 Professur formalisierte Mathematik und Computer unterstütztes Beweisen

    22.09.2022 Universität Bonn Bonn W2 Professur formalisierte Mathematik und Computer unterstütztes Beweisen - Universität Bonn - Logo
  • Hausdorff Chair (W3-Professur)

    26.09.2023 Rheinische Friedrich-Wilhelms-Universität Bonn Bonn Hausdorff Chair (W3-Professur) - Rheinische Friedrich-Wilhelms-Universität Bonn - Logo
  • W 2 - Universitätsprofessur für "Didaktik der Mathematik mit dem Schwerpunkt Grundschule"

    21.09.2023 Bergische Universität Wuppertal Wuppertal W 2 - Universitätsprofessur für "Didaktik der Mathematik mit dem Schwerpunkt Grundschule" - Bergische Universität Wuppertal - Logo
  • W2-Professur (m/w/d) Angewandte Mathematik

    05.09.2023 Fachhochschule Bielefeld Bielefeld W2-Professur (m/w/d) Angewandte Mathematik - Fachhochschule Bielefeld - Logo
Bitte beachten Sie: Diese Stellenanzeige ist nicht mehr aktiv.
Entdecken Sie hier weitere Stellenanzeigen auf academics, dem führenden Stellenmarkt für Wissenschaft, Forschung, Öffentliches und Gesellschaft. Um regelmäßig per E-Mail über passende Stellen informiert zu werden, können Sie sich jederzeit kostenlos registrieren.

W2 Professur formalisierte Mathematik und Computer unterstütztes Beweisen

Veröffentlicht am
22.09.2022
Bewerbungsfrist
15.11.2022
Vollzeit-Stelle
Universität Bonn
Bonn
W2 Professur formalisierte Mathematik und Computer unterstütztes Beweisen - Universität Bonn - Logo
Das Exzellenzcluster Hausdorff Center for Mathematics an der Universität Bonn führt Forscher*innen der Mathematik und ihrer Anwendungen zusammen. In diesem Rahmen sollen im Bereich der theoretischen Mathematik eine

unbefristete W2 Professur
und eine
auf 5 Jahre befristete W2 Professur
im Bereich
formalisierte Mathematik und Computer
unterstütztes Beweisen

besetzt werden.

Wir suchen für die auf 5 Jahre befristete Professur eine*n junge*n, vielversprechende*n, promovierte*n Wissenschaftler*in mit einer sich entwickelnden eigenen Forschungsagenda, die ihre wissenschaftliche Exzellenz und Unabhängigkeit durch Publikationen im Bereich formalisierte Mathematik und Computer unterstütztes Beweisen nachgewiesen hat. Von der Professur wird die Beteiligung an der Lehre in möglichst allen Phasen des Studiums erwartet. Deutsche Sprachkenntnisse werden nicht vorausgesetzt.

Wir suchen eine*n Kandidat*in mit einem interdisziplinären Profil und internationaler Forschungserfahrung auf dem sich schnell entwickelnden Gebiet der Computer unterstützten Formalisierung von Mathematik und dem interaktiven und automatischen Beweisen an der Schnittstelle zwischen theoretischer Mathematik und Informatik.

Für die permanente Professur erwarten wir zusätzlich ein bereits etabliertes
internationales Forschungsprofil mit herausragender wissenschaftlicher Qualifikation und signifikanter Erfahrung das Gebiet formalisierte Mathematik und Computer unterstütztes Beweisen voranzubringen.

Beide Professor*innen werden Mitglieder HCMs werden und werden an den
wissenschaftlichen und finanziellen Ressourcen des HCM partizipieren.

Die Universität Bonn setzt sich für Diversität und Chancengleichheit ein. Die Universität Bonn ist als familiengerechte Hochschule zertifiziert und verfügt über ein Dual Career-Service. Ihr Ziel ist es, den Anteil von Frauen in Bereichen, in denen Frauen unterrepräsentiert sind, zu erhöhen und deren Karrieren
besonders zu fördern. Sie fordert deshalb einschlägig qualifizierte Wissenschaftlerinnen nachdrücklich zur Bewerbung auf. Bewerbungen werden in Übereinstimmung mit dem Landesgleichstellungsgesetz behandelt. Die Bewerbung geeigneter Menschen mit nachgewiesener Schwerbehinderung und diesen
gleichgestellten Personen ist besonders willkommen.

Die Bewerbungsfrist läuft bis zum 15. November 2022. Die Berufungskommission behält sich das Recht vor, auch spätere Bewerbungen zu betrachten. Bewebungen sind online an die gemeinsame
Berufungskommission (Hausdorff Center for Mathematics, Endenicher Allee 62, 53115 Bonn, Germany) über das Bewerbungsformular www.hcm.uni-bonn.de//IRU-FMCAP-application einzureichen.
Filter
Branche
Naturwissenschaften, Life Sciences, Umwelt
Medizin, Gesundheit, Psychologie
Technik, Ingenieure, IT, Mathematik
Verwaltung, Management, Wirtschaft, Recht
Bildung, Gesellschaft, Pädagogik, Soziales
Kultur & Kunst
Medien & Kommunikation
Internationale Zusammenarbeit
Position
Mit Personalverantwortung
Für Berufseinsteiger & Fachkräfte
Für Studierende
Ausschreibungen für Stipendien, Preise, Förderprogramme
Arbeitsbereich
Standort
Deutschland
International
Arbeitgeber
Arbeitszeit
Anstellungsart
3 Jobs anzeigen

Bewerten

Bewerten Sie hier Ihr Suchergebnis!
Vielen Dank für die Bewertung!
  • Über uns
  • Karriere
  • Kontakt
  • Impressum
  • Nutzungsbedingungen
  • Datenschutzerklärung
  • Cookies & Tracking
  • Partner
  • Job-Mail
  • BOA Berufstest
  • Mediadaten
  • academics.com
Hinweise zum Datenschutz
Die Verwaltung Ihrer Datenschutzeinstellungen für academics kann aktuell nicht ausgespielt werden. Bitte prüfen Sie, ob Sie einen Adblocker, Pop-Up-blocker oder ähnliches verwenden und schalten Sie diese aus. Anschließend können Sie die Einstellungen zum Datenschutz vornehmen.
Genaue Informationen zur Nutzung Ihrer Daten finden Sie in unserer Datenschutzerklärung.