-
, programming languages, and security. The targeted starting period is late autumn 2026, with room for flexibility. The application requirements are detailed at the end of this advertisement. About FORM FORM
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
Searches related to security
Enter an email to receive alerts for security positions in computer-science