Sort by
Refine Your Search
-
Employer
-
Field
-
. 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
-
with FEM tools, such asOrcaFlexor similar, as well as metocean statistical assessment and design verification principles for marine structures in accordance with international standards and regulatory
Searches related to verification
Enter an email to receive alerts for verification positions