Liebe Studierenden, In der Automating Cyber-Physical System Design (ACPS) Forschungsgruppe am Institut für Software and Systems Engineering (ISSE) der Technischen Universität Clausthal ist eine Stelle als Wissenschaftliche*r Mitarbeiter*in (m/w/d) (E13, 100%) zu besetzen. Die Stelle ist zunächst auf 3 Jahre befristet und zur Promotion geeignet. Mögliche Arbeitsgebiete sind: - Korrektheit/Verifikation von Eingebetteten Systemen - Qualitätssicherung maschinell gelernter Modelle Die ACPS Forschungsgruppe, in welcher die freie Stelle angesiedelt ist, arbeitet an fortschrittlichen Methoden zum Bauen korrekter und effizienter eingebetteter Systeme, die zur Lösung aktueller gesellschaftliche Probleme benötigt werden. Beispielsweise arbeiten wir an Methoden, um die Lebensdauer von Systemen mit eingebetteten Rechnern zu erhöhen, indem diese sich an den Verschleiß der physikalischen Teile des Systems anpassen. Ebenso erforschen wir Methoden, um künstliche Intelligenz so in komplexe Systeme einzubetten, dass sie sicher genug für ihre gesellschaftliche Akzeptanz werden. An der Schnittstelle zwischen Theorie und Praxis entwickeln und kombinieren wir neue Algorithmen, um solche Probleme zu lösen. Eine detailliertere Beschreibung der Themen der Arbeitsgruppe ist auf https://www.isse.tu-clausthal.de/forschung/forschungsgruppen/acps-automatin… verfügbar. Nähere Informationen bzgl. warum die ACPS-Arbeitsgruppe attraktiv für eine Promotion ist finden sich auf https://www.isse.tu-clausthal.de/en/research/research-groups-1/acps-automat… (in englischer Sprache). Je nach Interessensgebiet der/des zukünftigen Mitarbeiter(in/s) wird die Stelle als Teil des Projektes KI4ALL aus der Bund‐Länder‐Förderinitiative "Künstliche Intelligenz in der Hochschulbildung" besetzt, in dem zusammen mit der TU Braunschweig und der Ostfalia Hochschule neues flexibel einsetzbares Lehrmaterial für einige Themengebiete der künstlichen Intelligenz entwickelt wird. Die offizielle Stellenausschreibung mit allen Details ist auf https://www.tu-clausthal.de/universitaet/karriere-ausbildung/stellenangebot… zu finden.