Universitätsassistent (Postdoc)
Tu Wien - Institut Für Computertechnik
Wien
• Eigenständiges Bearbeiten von Forschungsaufgaben in den folgenden Themengebieten:Simulation von Schaltungen und Embedded Systems Formale und informale SystemverifikationIoT und Industrie 4.0Autonomes FahrenDesign sicherheitskritischer SystemeModellierung und Verifikation von BusinessprozessenEnergy und IT• Forschungsgruppen: Systems Verification Group, Energy and IT Group, System on Chip Group• Mitarbeit in der universitären Lehre. Grundlagenlehre für Bachelorstudenten, sowie anwendungsnahe Lehre für Masterstudenten.• Organisationsaufgaben im wissenschaftlichen Umfeld (z. B. Verwaltung von Laborequipment, Softwarelizenzen, etc.)