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 mit 40,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

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
• 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

Wir bieten

• Einen für2 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 uns darauf, 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 Sie sich z. B. unter 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 mit Arbeitserlaubnis) über unser Online- Portal zum 13.02.2026.

---

As one of the largest universities of applied sciences in Germany, we are dedicated to a comprehensive range of topics from business, technology, social and design, in a holistic and interdisciplinary manner. We see our challenge and obligation in actively shaping the future through teaching, research and transfer. Collaboration in partnership with business and society is of central importance to us.

The Faculty of Computer Science and Mathematics is seeking to fill a position at the earliest possible date as

Research Associate: Open Source Tools for formal verification of digital circuits (m/w/d)
Kennziffer: 07-01-26
in full-time with 40.1 hours per week

Your Tasks

• Exploration of data models for incremental formal verification
• Design and Implementation of a database for formal verification
• Integration and extension of verification algorithms with the database
• Collaboration on the Yosys open-source suite

Requirements

• Completed Master's degree in Computer Science, Electrical and Information Engineering, or comparable fields of study
• Basic understanding of digital circuit design, ideally with experience in verification
• Knowledge on formal methods in computer science
• Existing open source experience desirable
• If the required academic degree was obtained at a foreign higher education institution, an official certificate evaluation issued by the ZAB (Central Office for Foreign Education) is required prior to signing the employment contract. Early application is recommended.

What we offer

• A two-year fixed-term employment contract
• Remuneration in salary group 13 TV-L
• Opportunity to pursue PhD
• Flexible working hours and the opportunity to partially work from home (up to 60%).
• Further training opportunities and learning opportunities to support your professional and personal (further) qualification
• Numerous discounts from external partners as well as various team events
• Health promotion through preventative care, advice and sports offers
• A modernly equipped workplace in a central and convenient location in Munich as well as free use of our underground car park
• Social benefits in accordance with public service regulations, including pension provision

We are looking forward to meet you.

The structure of the employment relationship is based on the provisions of the collective agreement for the public service of the federal states (TV-L). Please inform yourself e.g. B. at www.lff.bayern.de/bezuege/arbeiter/ #entgelt via the TV-L pay table.

In principle, it is possible to contribute a different part-time share.

Applicants with severe disabilities will be given priority if they otherwise have essentially the same suitability, ability and professional performance.

If you have any questions about the application process, please contact us: 089 1265-4846
If you have any technical questions, Prof. Stefan Wallentowitzwill be happy to help you with questions regarding the job opening: 089 1265- 3739

Apply with meaningful and complete documents (letter of motivation, complete, up-to-date CV, educational certificates, all references from previous employment relationships, if applicable: proof of foreign educational qualifications recognized in Germany, residence permit with work permit) via our online portal by 13.02.2026.