Universitätsprofessur für Verifikation komplexer Systeme

Beschreibung der StelleWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Die Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu den anderen...

Beschreibung der StelleWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Die Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik.ForschungsschwerpunkteModel-CheckingAbstrakte InterpretationSolver und...

Beschreibung der StelleWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Die Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik.ForschungsschwerpunkteModel-CheckingAbstrakte InterpretationSolver und...

Beschreibung der StelleWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Der Kandidat sollte durch exzellente, international anerkannte Arbeiten in der Entwicklung und Anwendung von automatischer Beweisführung zur Korrektheit und Zuverlässigkeit...

Beschreibung der StelleWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert. Der Kandidat sollte durch exzellente, international anerkannte Arbeiten in der Entwicklung und Anwendung von automatischer Beweisführung zur Korrektheit und Zuverlässigkeit...

StellenbeschreibungWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Forschung und LehreDie Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu...

StellenbeschreibungWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Forschung und LehreDie Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu...

StellenbeschreibungWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Forschung und LehreDie Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu...

StellenbeschreibungWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Forschung und LehreDie Professur ist angesiedelt in der neuen Fakultät für Informatik, Abteilung Allgemeine Informatik. Die Vernetzung sowohl innerhalb der Abteilung als auch zu...

Forschungs- und Lehrstelle für VerifikationstechnikenWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.ForschungsschwerpunkteEntwicklung und Anwendung von automatischer BeweisführungKorrektheit und Zuverlässigkeit komplexer SystemeModell-Checking...

Forschungs- und Lehrstelle für VerifikationstechnikenWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.ForschungsschwerpunkteEntwicklung und Anwendung von automatischer BeweisführungKorrektheit und Zuverlässigkeit komplexer SystemeModell-Checking...

ESPERA-WERKE GmbH ist ein internationales Unternehmen mit globaler Präsenz im Bereich der Automatisierung und Kennzeichnung von Produkten.Wir suchen für unsere Entwicklungsabteilung einen Softwareentwickler, der sich auf die Weiterentwicklung komplexer mechanischer Systeme spezialisiert hat.Aufgabe ist die Entwicklung von Software zur Ansteuerung dieser...

Forschungs- und Lehrstelle für VerifikationstechnikenWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Einbindung in die ForschungDer Kandidat sollte durch exzellente, international anerkannte Arbeiten in der Entwicklung und Anwendung von...

Forschungs- und Lehrstelle für VerifikationstechnikenWir suchen eine herausragende Persönlichkeit, die in Forschung und Lehre die theoretischen Grundlagen und Anwendung von Verifikationstechniken repräsentiert.Einbindung in die ForschungDer Kandidat sollte durch exzellente, international anerkannte Arbeiten in der Entwicklung und Anwendung von...

Unser AngebotWir suchen einen Softwareentwickler für Embedded Systeme, der sich auf die Qualität von Software und Hardware konzentriert. Du wirst Teil unseres Teams sein und uns bei der Entwicklung von komplexen Systemen unterstützen.Deine AufgabenErstellung von Testkonzepten und Testspezifikationen für GerätesoftwaresDurchführung von manuellen und...

ÜberblickWir suchen einen Softwareentwickler für Embedded Systeme, der sich auf die Qualität von Software und die Leistungsfähigkeit von komplexen Systemen konzentriert. Als Teil unseres Teams wirst du eng mit Entwicklungs- und Qualitätssicherungsteams zusammenarbeiten, um umfassende Tests durchzuführen und die höchsten Standards in der...

ÜberblickWir suchen einen erfahrenen Softwareentwickler und Testingenieur, der sich auf die Entwicklung und Prüfung von Embedded-Systemen spezialisiert hat. Als Teil unseres Teams wirst du an der Entwicklung von komplexen Softwareanwendungen und der Prüfung ihrer Qualität beteiligt sein.VerantwortlichkeitenEntwicklung von Testkonzepten und...

ÜberblickWir suchen einen erfahrenen Softwareentwickler, der sich auf die Entwicklung und Testung von Embedded-Systemen spezialisiert hat. Als Teil unseres Teams wirst du die Qualität von Software auf Herz und Nieren prüfen und komplexe Embedded-Systeme auf ihre Leistungsfähigkeit testen.VerantwortlichkeitenErstellung von Testkonzepten und...

ÜberblickWir suchen einen erfahrenen Softwareentwickler und Testingenieur, der sich auf die Entwicklung und Prüfung von Embedded-Systemen spezialisiert hat. Als Teil unseres Teams wirst du an der Entwicklung von komplexen Softwareanwendungen und der Prüfung ihrer Qualität beteiligt sein.VerantwortlichkeitenEntwicklung von Testkonzepten und...

ÜberblickWir suchen einen erfahrenen Softwareentwickler, der sich auf die Entwicklung und Testung von Embedded-Systemen spezialisiert hat. Als Teil unseres Teams wirst du die Qualität von Software auf Herz und Nieren prüfen und komplexe Embedded-Systeme auf ihre Leistungsfähigkeit testen.VerantwortlichkeitenErstellung von Testkonzepten und...