Sort by
Refine Your Search
-
Category
-
Employer
-
. 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
-
hardware, software, and control engineering come together. For the appointment as Professor, you are an established and experienced research leader with a substantial publication record in relevant areas
Searches related to software verification postdoc
Enter an email to receive alerts for software-verification-postdoc positions