More jobs:
Postdoc: Automata-Driven Systems & Security Research
Job in
2300, Leiden, South Holland, Netherlands
Listed on 2026-06-22
Listing for:
Karlstad University
Full Time
position Listed on 2026-06-22
Job specializations:
-
IT/Tech
AI Business & Operations -
Research/Development
AI Business & Operations
Job Description & How to Apply Below
Karlstad University in the Netherlands offers a fully funded three-year postdoctoral position for a Researcher on Applications of Control-flow Equivalence to Systems and Security. This role focuses on applying theoretical methods from computer science and automata theory in program similarity detection with implications in security and compilers.
Applicants should possess a PhD or be nearing completion of their PhD, with published work in relevant areas. The position includes an attractive package with salary starting from €3,546 gross per month, benefits, and support for conferences.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×