-
‘verification’ within the Cluster. Collaboration with colleagues at the Cluster, at PRIF and at JLU. Support for the local, national, and international networking activities of the Research Group, the Cluster and
-
of results in scientific journals Requirements: PhD in Physics, Engineering, Economics, Environmental Sciences, Mathematics, System Sciences or a related field training in formal, quantitative methods
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions