Wissenschaftlicher Mitarbeiter für Programme sichere Forschung

2 weeks ago

Canterbury, Kent, United Kingdom RI Research Instruments GmbH Full time

Die position des Post-Doc Research Associate enthält die Möglichkeit das Werk des Teams zu bereichern und die Entwicklung von neuen Techniken und Modellen voranzutreiben.

Einzelheiten:
  • Förderung der Arbeit von formalen methoden und deren Integration ins System
  • Weiterentwicklung der eigenen und der Team Kennzahlen
Anforderungen:
  • Doktorgrad in Rechnerwissenschaften oder der naheliegenden Abteilung
  • Erfahrene Suche in Formal Methoden und ihrer Publikation
  • Gute Analyse qualitativ berufliche Fähigkeiten

Es gibt ca. 50.000 bis 65.000 € verdient im Durchschnitt. Unser Unternehmen bietet gute Arbeitsbedingungen.

  • Senior Research Scientist für Hochordnungssysteme

    2 weeks ago

    Canterbury, Kent, United Kingdom RI Research Instruments GmbH Full time

    Unser Unternehmen RI Research Instruments GmbH ist eine führende Anbieter von Forschungsgeräten und wagt den Schritt in die Zukunft der programmiersprachen basierten Forschung. Wir suchen nach einem starken Teammitglied, dass hinzukommt und als Post-Doc Research Associate bei uns arbeitet.Fachlich:Entwicklung von Typtheorie, Beweis-Konzept und...

  • Forschungsmitarbeiter in Typbasierten Sicherheitstechniken

    2 weeks ago

    Canterbury, Kent, United Kingdom RI Research Instruments GmbH Full time

    Wir suchen einen hervorragenden Post-Doc Research Associate, der an der University of Kent mitwirkt und zur Entwicklung neuer Typtheorien, Beweistechniken und Kompilationsmethoden beiträgt.Beschäftigungsbereich:Durchführung von Novelty-Typ-Theorien, Proof-Techniken und Compilation-Methods zur Analyse hyperproperty relevanter Programm-SicherheitIntegration...