Als eine der größten Hochschulen für angewandte Wissenschaften in Deutschland widmen wir uns einem umfassenden Themenspektrum aus Wirtschaft, Technik, Sozialem und Design, ganzheitlich und interdisziplinär. Wir sehen unsere Herausforderung und Verpflichtung in einer aktiven Zukunftsgestaltung durch Lehre, Forschung und Transfer. Die partnerschaftliche Zusammenarbeit mit Wirtschaft und Gesellschaft ist für uns von zentraler Bedeutung.

Die Fakultät für Informatik und Mathematik besetzt zum nächstmöglichen Zeitpunkt eine Stelle als

# **Wissenschaftliche/-r Mitarbeiter/-in: Open Source Werkzeuge zur formalen Verifikation digitaler Schaltungen (m/w/d) **

Kennziffer: 07-01-26
in Vollzeit mit40,1 Std./Wo.

## Ihre Aufgaben

- Untersuchung von Datenmodellen für inkrementelle formale Verifikation
- Entwurf und Umsetzung einer Datenbank für die formale Verifikation
- Integration und Erweiterung von Verifikationalgorithmen mit der Datenbank
- Zusammenarbeit am Open-Source Suite mit Yosys
- Existierende Open-Source Vorarbeiten wünschenswert
- Wurde der geforderte Studienabschluss an einer ausländischen Hochschule erworben, benötigen wir vor Vertragsunterzeichnung eine Zeugnisbewertung der ZAB (Zentralstelle für ausländisches Bildungswesen). Eine rechtzeitige Beantragung wird empfohlen

## Ihr Profil

- Abgeschlossenes Masterstudium der Informatik, Elektro- und Informationstechnik oder vergleichbaren Studiengängen
- Grundlegendes Verständnis des Entwurfs digitaler Schaltungen, idealerweise mit Erfahrungen in der Verifikation
- Kenntnisse in formalen Methoden der Informatik

## Wir bieten

- Einen für **2 Jahre befristeten** Arbeitsvertrag
- Eine Vergütung in der Entgeltgruppe **13 TV-L**
- **Möglichkeit zur Promotion**
- Vereinbarkeit von Beruf und Privatleben durch flexibles Arbeiten und Homeoffice (bis zu 60%)
- Fortbildungsmöglichkeiten und Lernangebote zur Unterstützung Ihrer beruflichen und persönlichen (Weiter)
- Qualifizierung
- Zahlreiche Vergünstigungen bei externen Partnern sowie diverse Teamevents
- Gesundheitsförderung durch Vorsorge-, Beratungs- und Sportangebote
- Einen modern ausgestatteten Arbeitsplatz in zentraler und verkehrsgünstiger Lage Münchens sowie kostenfreie Nutzung unserer Tiefgarage
- Sozialleistungen entsprechend den Regelungen des öffentlichen Dienstes einschließlich zusätzlicher Altersversorgung

### Wir freuen unsdarauf, Sie kennenzulernen.

Die Ausgestaltung des Arbeitsverhältnisses richtet sich nach den Bestimmungen des Tarifvertrages für den öffentlichen Dienst der Länder (TV-L). Bitte informieren Siesich z.B. unter [www.lff.bayern.de/bezuege/arbeitnehmer](http://www.lff.bayern.de/bezuege/arbeitnehmer/)/ #entgelt über die Entgelttabelle des TV-L.

Die Hochschule München fördert die berufliche Gleichstellung von Frauen und Männern und strebt insbesondere im wissenschaftlichen Bereich eine Erhöhung des Frauenanteils an. Wir freuen uns daher ausdrücklich über Bewerbungen von Frauen.

Es besteht grundsätzlich die Möglichkeit der Teilzeitbeschäftigung.

Bewerber/-innen mit Schwerbehinderung werden bei ansonsten im Wesentlichen gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt eingestellt.

Kommen Sie bei Fragen zum Bewerbungsprozess auf uns zu: 089 1265-4846
Bei fachlichen Fragen hilft Ihnen gerne **Herr Prof. Stefan Wallentowitz** weiter: **089 1265- 3739**

Bewerben Sie sich mit aussagekräftigen und vollständigen Unterlagen (Motivationsschreiben, lückenloser, aktueller Lebenslauf, Bildungsnachweise, sämtliche Arbeitszeugnisse zu bisherigen Beschäftigungsverhältnissen, falls zutreffend: Nachweis über in Deutschland anerkannten, ausländischen Bildungsabschluss, Aufenthaltsgenehmigung mitArbeitserlaubnis) über unser Online- Portal unter SHORTLINK bis zum **13.02.2026.**