Temporale Eigenschaften von Differentialgleichungen

TÄTIGKEIT: Studien-/ Abschlussarbeit

Ihre Mission:

Sie werden im Bereich der temporalen Eigenschaften von Differentialgleichungen (DGL) forschen. In den Ingenieurswissenschaften kommen DGL zur Beschreibung verschiedenster Systeme zum Einsatz. Zum Beispiel für die Beschreibung von Masse-Feder Systemen oder bei Ladevorgängen von Kondensatoren. Sie werden versuchen mittels temporaler Logik Anforderungen an diese Systeme zu definieren und anschließend analysieren welche dieser Eigenschaften eventuell automatisch verifiziert werden können.

In Ihrer Arbeit werden Sie:

• analysieren, welche Klassen von DGL für die Beschreibung technischer Systeme in Frage kommen,
• bestehende temporale Logiken auf ihre Anwendbarkeit auf DGLs untersuchen,
• Anwendung von temporalen Logiken auf Eigenschaften der DGL definieren,
• Möglichkeiten sowie positive und negative Aspekte der einzelnen temporalen Logiken evaluieren,
• Ihren Ansatz in einem ersten Prototyp zur automatisierten Verifikation temporalen Eigenschaften von DGL implementieren.

Wenn Sie Interesse an der Softwareentwicklung haben und Teil unseres Teams werden wollen, dann freuen wir uns auf Ihre Bewerbung. Wir wünschen uns hochmotivierte Kolleginnen und Kollegen, die sich mit Ihrer Arbeit identifizieren und andere begeistern. Wir bieten Ihnen die Möglichkeit Ihre eigenen Ideen mit einfließen zu lassen. Wir bieten ein spannendes, teamorientiertes und flexibles Arbeitsumfeld.

Ihre Qualifikation:

• Sie studieren Informatik oder ein ähnliches Fach.
• Sie besitzen Erfahrungen in Programmiersprachen wie z.B. Python oder Java.

Ihr Start:

Freuen Sie sich auf einen Arbeitgeber, der Ihr Engagement zu schätzen weiß und Ihre Entwicklung durch vielfältige Qualifizierungs- und Weiterbildungsmöglichkeiten fördert.Unser einzigartiges Arbeitsumfeld bietet Ihnen Gestaltungsfreiräume und eine unvergleichbare Infrastruktur, in der Sie Ihre Mission verwirklichen können.Vereinbarkeit von Privatleben, Familie und Beruf sowie Chancengleichheit von Personen aller Geschlechter (w/m/d) sind wichtiger Bestandteil unserer Personalpolitik.Bewerbungen schwerbehinderter Menschen bevorzugen wir bei fachlicher Eignung.