Praktikum über Kürze und Lernen von Linearen - Kriftel, Deutschland - Hyperion Industries

Hyperion Industries

Geprüftes Unternehmen

Kriftel, Deutschland

vor 2 Tagen

Geschrieben von:

Hans Becker

beBee Recruiter

Beschreibung

Stellenangebot für ein Praktikum am IMDEA Software Institute in Madrid, Spanien.

Das Ziel des Projekts ist die Entwicklung neuer Algorithmen zur Erlernung linearer zeitlicher Eigenschaften anhand von positiven und negativen Spuren, die das (un)mögliche Verhalten eines Systems darstellen. Die linearen zeitlichen Eigenschaften werden in Linearer Temporallogik ausgedrückt, dem Standard zur Formalisierung von zeitlichen Eigenschaften von Systemen für die formale Verifikation.

**Wer kann sich bewerben?**:
Die Position erfordert gute Problemlösungsfähigkeiten und Kenntnisse in mündlicher und schriftlicher englischer Sprache. Ein Hintergrund in Algorithmen und formaler Logik ist von Vorteil. Dies ist eine großartige Gelegenheit für Masterabsolventen, die eine Promotion in Betracht ziehen.

**Arbeiten am IMDEA Software**:
Das IMDEA Software Institute gehört zu den besten europäischen Forschungsinstituten im Bereich Informatik. Das Institut bietet ein international wettbewerbsfähiges Stipendium und Unterstützung für reisebezogene Forschung. Die Arbeitssprache am Institut ist Englisch. Spanischkenntnisse sind nicht erforderlich.

**Termine**