Lehrkraft für besondere Aufgaben (w/m/d) - Lehre Programmierung Automatische Programmanalyse, Verifikation und Transformation
Aachen
Vollzeit
RWTH Aachen University
… als auch die Forschung in Bereichen wie der automatischen Programmanalyse und Verifikation gestärkt, die einen direkten Bezug zu den Themengebieten … auch die Forschung in Bereichen wie der automatischen Programmanalyse und Verifikation gestärkt, die einen direkten Bezug zu den Themengebieten der Veranstaltung … der Fakultät für Informatik, Mathematik und Naturwissenschaften der RWTH Aachen ist ein in Wissenschaft und Lehre exzellenter Fachbereich der RWTH …Aufgaben Lehre Automatische Programmanalyse Verifikation RwthSecure Software Engineering - Wissenschaftliche*r Mitarbeiter*in (deutschlandweit)
Darmstadt
Teilzeit
Sichere Informationstechnologie
… Softwareentwicklung und Debugging Erfahrung in statischer und dynamischer Programmanalyse (Vorlesungen zu Compilerbau, Codeanalyse, Kenntnisse in Assembler usw.) … Forschung an automatisierten Verfahren zur Erkennung und Verifikation von Schwachstellen Mitarbeit in öffentlich geförderten und/oder direkt …Besondere Aufgaben Automatische Programmanalyse Rwth Aachen Stellenangebote