Akademische n Rat rätin Auf Zeit

Vor 3 Tagen

Freiburg, Deutschland Universität Freiburg Vollzeit

**Der Lehrstuhl für Betriebssysteme sucht eine*n Akademische*n Rat*Rätin auf Zeit (w/m/d) für den Bereich „Formale Verifikation“**
- Bewerbungsfrist: 19.03.2024
- Veröffentlicht: 05.03.2024
- Eintrittstermin: Zum nächstmöglichen Zeitpunkt.
- Vollzeitstelle
- Kennziffer: 00003652

**Beschreibung**:
Die Forschung im Bereich Formale Verifikation befasst sich mit automatisierten Methoden zum Beweis der Korrektheit von Schaltungen und Systemen. Ziele sind beispielsweise die Verbesserung von SAT-basierten Ansätzen im Bereich „Property Directed Reachability“, der Entwurf geeigneter Solver und der Entwurf effizienter Datenstrukturen und Algorithmen zur Unterstützung von Methoden der Formalen Verifikation. Anwendungen werden dabei reduziert auf diverse Erfüllbarkeitsprobleme wie z.B. SAT (Erfüllbarkeitsproblem der Aussagenlogik), (D)QBF ((Dependency) Quantified Boolean Formulas), SSAT (Stochastic SAT) etc. oder auf Aufgabenstellungen der Symbolischen Computeralgebra. Diese werden dann mit entsprechenden (zu entwickelnden oder weiterzuentwickelnden) Solvern gelöst.

Gesucht werden Kandidaten*innen mit einer Hochschulausbildung in Informatik oder Embedded Systems, die zu den Themengebieten dieser Ausschreibung passt. Eine qualifizierte Promotion und die Erfüllung der beamtenrechtlichen Voraussetzungen sind erforderlich. Zu den Aufgaben zählt Lehre im Umfang von 4 SWS. Die Möglichkeit zur Habilitation ist nach Maßgabe der Habilitationsordnung der Technischen Fakultät der Universität Freiburg gegeben.

Mit hausinternen Bewerbungen ist zu rechnen.

Die Stelle ist zunächst auf 3 Jahre befristet. Eine Verlängerung um weitere 3 Jahre ist möglich. Die Vergütung erfolgt nach A 13.

Für die hier ausgeschriebene Position freuen wir uns besonders über Bewerbungen von Frauen.

**Bewerbung**:
Bitte bewerben Sie sich mit o. g. Unterlagen unter Angabe der Kennziffer 00003652 bis spätestens 19.03.2024. Ihre Bewerbung richten Sie bitte in schriftlicher oder elektronischer Form an:
Universität Freiburg
Institut für Informatik / Betriebssysteme
Prof. Dr. Christoph Scholl
Georges-Köhler-Alle 051
79110 Freiburg

  • Akademische n Rat rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Psychologie, Abteilung Sozialpsychologie und Methodenlehre (Lehrstuhl Professor Klauer) sucht eine*n Akademische*n Rat*Rätin auf Zeit (w/m/d)** - Bewerbungsfrist: 10.02.2023 - Veröffentlicht: 20.01.2023 - Eintrittstermin: 01.04.2023 - Vollzeitstelle - Kennziffer: 00002757 **Beschreibung**: Der*die Akademische Rat*Rätin auf Zeit...

  • Akademische r Rat/rätin Auf Zeit

    vor 1 Woche

    Freiburg, Baden-Württemberg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Psychologie, Abteilung Sozialpsychologie und Methodenlehre (Lehrstuhl Professor Klauer) sucht eine*n Akademische*r Rat/Rätin auf Zeit (w/m/d)**- Bewerbungsfrist: - Veröffentlicht: - Eintrittstermin: - Vollzeitstelle- Kennziffer: **Beschreibung**:Der*die Akademische Rat*Rätin auf Zeit unterstützt den vorgesetzten Professor in Forschung...

  • Akademische n Rat rätin Auf Zeit

    vor 1 Woche

    Freiburg, Baden-Württemberg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Psychologie, Lehrstuhl für Biologische Psychologie, Klinische Psychologie und Psychotherapie sucht eine*n Akademische*n Rat*Rätin auf Zeit (w/m/d)**- Bewerbungsfrist: - Veröffentlicht: - Eintrittstermin: Zum nächstmöglichen Zeitpunkt.- Vollzeitstelle- Kennziffer: **Beschreibung**:Gesucht wird eine Person, die an der Schnittstelle von...

  • Akademische r Rat rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Der Lehrstuhl für Kognitionswissenschaft und Genderforschung (Prof.in Evelyn Ferstl) ist folgende Stelle zu besetzen: Akademische*r Rat*Rätin auf Zeit (Kognitionswissenschaft) (w/m/d)** - Bewerbungsfrist: 07.07.2024 - Veröffentlicht: 04.06.2024 - Eintrittstermin: 01.11.2024 - Vollzeitstelle - Kennziffer: 00003777 **Beschreibung**: Am Lehrstuhl für...

  • Akademische r Rat rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Der Lehrstuhl für Kognitionswissenschaft und Genderforschung (Prof.in Evelyn Ferstl) ist folgende Stelle zu besetzen: Akademische*r Rat*Rätin auf Zeit (Kognitionswissenschaft) (w/m/d)** - Bewerbungsfrist: 07.07.2024 - Veröffentlicht: 04.06.2024 - Eintrittstermin: 01.11.2024 - Vollzeitstelle - Kennziffer: 00003777 **Beschreibung**: Am Lehrstuhl für...

  • Akademische r Rat/rätin Auf Zeit

    vor 2 Monaten

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Psychologie, Abteilung Sozialpsychologie und Methodenlehre (Lehrstuhl Professor Klauer) sucht eine*n Akademische*r Rat/Rätin auf Zeit (w/m/d)** - Bewerbungsfrist: 13.12.2023 - Veröffentlicht: 20.11.2023 - Eintrittstermin: 01.04.2024 - Vollzeitstelle - Kennziffer: 00003411 **Beschreibung**: Der*die Akademische Rat*Rätin auf Zeit...

  • Akademische n Rat/rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Seminar für Alte Geschichte (Prof. Dr. Peter Eich) sucht eine*n Akademische*n Rat/Rätin auf Zeit (w/m/d).** - Bewerbungsfrist: 04.07.2023 - Veröffentlicht: 07.06.2023 - Eintrittstermin: 01.10.2023 - Vollzeitstelle - Kennziffer: 00003099 **Beschreibung**: **Zu den Aufgaben der Stelle gehört**: - die wissenschaftliche Weiterqualifikation...

  • Akademische n Rätin rat Auf Probe/lebenszeit

    vor 2 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Makromolekulare Chemie der Universität Freiburg, Arbeitsbereich Polymere Biomimetika (Prof. Dr. Laura Hartmann), sucht eine / einen Akademische*n Rätin*Rat auf Probe/Lebenszeit (w/m/d)** - Bewerbungsfrist: 09.02.2024 - Veröffentlicht: 26.01.2024 - Eintrittstermin: Zum nächstmöglichen Zeitpunkt. - Vollzeitstelle - Kennziffer:...

  • Akademische n Rat rätin Auf Zeit

    vor 2 Monaten

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Geo - und Umweltnaturwissenschaft, Professur für Biometrie & Umweltsystemanalyse sucht ab dem 1. Oktober 2023 oder zum nächstmöglichen Zeitpunkt eine*n Akademische*n Rat*Rätin auf Zeit (w/m/d).** - Bewerbungsfrist: 31.05.2023 - Veröffentlicht: 09.05.2023 - Eintrittstermin: 01.10.2023 - Vollzeitstelle - Kennziffer:...

  • Akademische n Rat rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Psychologie, Lehrstuhl für Biologische Psychologie, Klinische Psychologie und Psychotherapie sucht eine*n Akademische*n Rat*Rätin auf Zeit (w/m/d)** - Bewerbungsfrist: 28.02.2024 - Veröffentlicht: 14.02.2024 - Eintrittstermin: Zum nächstmöglichen Zeitpunkt. - Vollzeitstelle - Kennziffer: 00003599 **Beschreibung**: Gesucht wird eine...

  • Akademische r Rätin rat Auf Zeit

    vor 1 Woche

    Freiburg, Baden-Württemberg, Deutschland Universität Freiburg Vollzeit

    **Die Professur für Marketing und Gesundheitsmanagement der Universität Freiburg offeriert eine Stelle als Akademische*r Rätin*Rat auf Zeit (w/m/d)**- Bewerbungsfrist: - Veröffentlicht: - Eintrittstermin: Zum nächstmöglichen Zeitpunkt.- Vollzeitstelle- Kennziffer: **Beschreibung**:Wir bieten:- ein ambitioniertes Arbeitsumfeld in einem hoch motivierten...

  • Akademischer Rat/akademische Rätin

    vor 2 Monaten

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Am Institut für deutsches und ausländisches Zivilprozessrecht, Abt. 1 ist folgende Stelle zu besetzen: Akademischer Rat/Akademische Rätin (w/m/d) auf Zeit** - Bewerbungsfrist: 24.01.2023 - Veröffentlicht: 11.01.2023 - Eintrittstermin: 15.06.2023 - Vollzeitstelle - Kennziffer: 00002753 **Beschreibung**: Erwartet werden überdurchschnittliche...

  • Akademische Rätin

    vor 2 Wochen

    Freiburg, Deutschland MathHire.org Vollzeit

    Das Institut für Wirtschaftswissenschaften der Universität Freiburg, Lehrstuhl für Statistik und Ökono - metrie (Prof. Dr. Roxana Halbleib), sucht eine / einen **Akademische Rätin / Akademischen Rat auf Zeit (w/m/d)** Vollzeitstelle; Eintrittstermin: 01.10.2024 Die Stelle ist auf 3 Jahre befristet mit der Möglichkeit einer Verlängerung um weitere 3...

  • Akademischer Rat akademische Rätin Auf Zeit

    vor 2 Monaten

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **An der Professur für Zellbiologie am Institut für Biologie II ist folgende Stelle zu besetzen: Akademischer Rat*Akademische Rätin auf Zeit (w/m/d)** - Bewerbungsfrist: 15.02.2023 - Veröffentlicht: 10.01.2023 - Eintrittstermin: 01.04.2023 - Vollzeitstelle - Kennziffer: 00002755 **Beschreibung**: Die Abteilung Zellbiologie an der Fakultät für Biologie...

  • Akademische Rätin akademischen Rat Auf Zeit

    vor 2 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Institut für Wirtschaftswissenschaften der Universität Freiburg, Lehrstuhl für Statistik und Ökonometrie (Prof. Dr. Roxana Halbleib), sucht eine*einen Akademische Rätin*Akademischen Rat auf Zeit (w/m/d)** - Bewerbungsfrist: 15.07.2024 - Veröffentlicht: 15.05.2024 - Eintrittstermin: 01.10.2024 - Vollzeitstelle - Kennziffer:...

  • Akademische n Rat rätin Auf Probe/lebenszeit

    vor 2 Monaten

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Das Musikwissenschaftliche Seminar der Albert-Ludwigs-Universität Freiburg sucht eine*n Akademische*n Rat*Rätin auf Probe/Lebenszeit (w/m/d) in Musikwissenschaft, Schwerpunkt Ethnomusikologie** - Bewerbungsfrist: 03.04.2023 - Veröffentlicht: 08.03.2023 - Eintrittstermin: 01.07.2023 - Vollzeitstelle - Kennziffer: 00002898 **Beschreibung**: Zur...

  • Akademische r Rätin rat Auf Zeit

    vor 2 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Die Professur für Marketing und Gesundheitsmanagement der Universität Freiburg offeriert eine Stelle als Akademische*r Rätin*Rat auf Zeit (w/m/d)** - Bewerbungsfrist: 28.06.2024 - Veröffentlicht: 14.06.2024 - Eintrittstermin: Zum nächstmöglichen Zeitpunkt. - Vollzeitstelle - Kennziffer: 00003814 **Beschreibung**: Wir bieten: - ein ambitioniertes...

  • Akademische r Rat rätin Auf Zeit

    vor 3 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Am Institut für Archäologische Wissenschaften der Albert-Ludwigs-Universität Freiburg, Abt. Provinzialrömische Archäologie, ist folgende Stelle zu besetzen: Akademische*r Rat*Rätin auf Zeit (w/m/d)** - Bewerbungsfrist: 17.02.2023 - Veröffentlicht: 23.01.2023 - Eintrittstermin: 01.04.2023 - Vollzeitstelle - Kennziffer:...

  • Akademische r Rätin rat Auf Zeit

    vor 4 Wochen

    Freiburg, Deutschland Universität Freiburg Vollzeit

    **Die Professur für Umweltplanung und Transformation an der Fakultät für Umwelt und Natürliche Ressourcen sucht eine*n Akademische*r Rätin*Rat auf Zeit (w/m/d).** - Bewerbungsfrist: 15.12.2023 - Veröffentlicht: 20.11.2023 - Eintrittstermin: 01.01.1970 - Vollzeitstelle - Kennziffer: 00003419 **Beschreibung**: **Ihr Profil** Wir suchen eine...

  • Akademische Rätin/Akademischer Rat

    vor 3 Wochen

    Freiburg, Baden-Württemberg, Deutschland Pädagogische Hochschule Freiburg Vollzeit

    Die Pädagogische Hochschule Freiburg ist eine bildungswissenschaftliche Hochschule universitären Profils mit Promotions- und Habilitationsrecht. An ihr werden ca Studierende in Studiengängen für alle Lehrämter und Schulstufen und in weiteren bildungswissenschaftlichen Bachelor- und Masterstudiengängen ausgebildet. Am Institut für Chemie, Physik,...