Visit acad.jobs with all Jobs for Academics!
                    
Position: Akademische/r Mitarbeiter/in Bereich Programierparadigmen
Institution: Karlsruher Institut für Technologie
Location: Karlsruhe, Baden‐Württemberg, Germany
Duties: Zu den Aufgaben des Stelleninhabers gehören die Mitarbeit an Forschungsprojekten des Lehrstuhls mit dem Ziel der Promotion sowie die Mitbetreuung der Lehrveranstaltungen des Lehrstuhls
Requirements: Sie verfügen über einen sehr guten Universitätsabschluss in Informatik (Diplom oder Master) sowie vertiefte Kenntnisse in einem der Bereiche Programmanalyse, Software-Sicherheit, Compilerbau oder Verifikation
   
Text: Akademische/r Mitarbeiter/in Bereich Programierparadigmen Tätigkeitsbeschreibung: Der Lehrbereich Programmierparadigmen vertritt in der Lehre den Schwerpunkt auf funktionaler und objektorientierter Programmierung. In der Forschung liegt der Schwerpunkt auf Anwendungen von Programmanalyse und deduktiver Verfahren für Codeoptimierung und Softwa re - Sicherheitsprüfung. Der Bereich l ist am Sonderforschungsbereich âInvasive Computingâ und am âSicherheitszentrum KASTELâ beteiligt. Mehr Information über den Zu den Aufgaben des Stelleninhabers gehören die Mi tarbeit an Forschungsprojekten des Lehrstuhls mit dem Ziel der Promotion sowie die Mitbetreuung der Lehrveranstaltungen des Lehrstuhls. Persönliche Qualifikation: Sie verfügen über einen sehr guten Universitätsabschluss in Informatik (Diplom oder Master) sowie vertiefte Kenntnisse in einem der Bereich e Programmanalyse, Software - Sicherheit, Compilerbau oder Verifikation. W ir bieten Ihnen einen attraktiven und modernen Arbeitsplatz mit Zugang zur exzellenten Ausstattung des KIT, eine abwechslungsreiche und verantwortungsvolle Tätigkeit, ein breitgefächertes Fortbildungsangebot sowie eine Zusatzrente nach VBL, flexible Arbei tszeitmodelle, einen Zuschuss zum JobTicket BW und ein/e Casino/Mensa. Entgelt: Das Entgelt erfolgt auf der Grundlage des Tarifvertrages des öffentlich en Dienstes in der Vergütungsgruppe TV - L , E13. Institut / Dienstleistungseinheit: Institut für Programmstrukturen und Datenorganisation, Lehrbereich für Programmierparadigmen Vertragsdauer: b efristet bis maximal 6 Jahren Eintrittstermin: zum n ächstmöglichen Zeitpunkt Bewerbung bis: 31.03.2019 Bewerbung: Ihr e aussagekräftige Bewerbung richten Sie bitte an das Karlsruher Institut für Technologie (KIT) Institut für Programmstrukturen und Datenorganisation Lehrbereich Programmierparadigmen Herrn Prof. Dr. - Ing. Gregor Snelting Am Fasanengarten 5 76131 Karlsruhe E - Mail: gregor.snelting@kit.edu Kar lsruher Institut für Technologie Personalservice (PSE) Kaiserstrasse 12 76131 Karlsruhe http://www. pse .kit.edu Das KIT legt Wert auf die berufliche Gleichstellung von Frauen und Männern. Wir würden uns daher insbesondere über die Bewerbung von Frauen freuen. Bei entsprechender Eignung werden schwerbehinderte Bewerber/innen bevorzugt berücksichtigt Karlsruher Institut für Technologie Personalservice
Please click here, if the Job didn't load correctly.







Please wait. You are being redirected to the Job in 3 seconds.