Formal Verification PhD Student (m/w/d)

Kurzüberblick

• Standort: Dresden
• Arbeitsmodell: Vollzeit
• Anstellungsart: Doktorandenstelle

Aufgaben

• Formale Methoden in Theorie und Praxis erforschen
• Neue Forschungsrichtungen und Fragen vorschlagen und untersuchen
• Beide akademische und industrielle Berichts- und Schreibstile beherrschen
• Individuell herausfordernde Forschungsprobleme lösen, die einen signifikanten Einfluss auf die Industrie oder die Akademie haben
• Arbeiten an Top-Tier-Konferenzen und bei internen Stakeholdern präsentieren
• Formale Methoden auf industrielle Projekte anwenden und zur Verifikationswerkzeug-Entwicklung beitragen

Anforderungen

• Abschluss des Master-Studiums in Informatik oder einem verwandten Fach
• Kenntnisse in einer dieser Sprachen: C, C++, Rust
• Verständnis von Multicore-Programmierung und ihren Herausforderungen wie Leistung, Skalierbarkeit und Korrektheit
• Verständnis von mainstream-OS-Technologien und Systemsoftware
• Exzellente Kommunikationsfähigkeiten und die Fähigkeit, in multikulturellen und verteilten Teams zu arbeiten
• Fließende Deutsch- und Englischkenntnisse

Vorteile

• Unsere Kultur wird durch innovative Kraft und Teamgeist sowie den intensiven Austausch von Wissen und Erfahrung innerhalb unseres globalen Netzwerks geprägt
• Wir bieten gesunde Mahlzeiten von traditionellem chinesischen bis westlichen Delikatessen in unserem berühmten Betriebsrestaurant
• Um Ihre Entwicklung fortzusetzen, finden Sie ein breites Spektrum an Schulungsangeboten. Viele Online- und Face-to-Face-Schulungsprogramme inkl. Sprachkurse in Deutsch und Mandarin
• Unsere vielfältige und willkommende Umgebung wird durch verschiedene Hintergründe und etwa 40 individuelle Nationalitäten geprägt
• Selbstverantwortliches Arbeiten in einem kompetenten, motivierten und ständig wachsenden Team