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 …Lehrkraft Besondere Lehre Automatische Verifikation Transformation Rwth Aachen StellenangeboteSecure 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 …Lehrkraft Programmierung Automatische Programmanalyse Verifikation Transformation Aachen Stellenangebote