Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
on the strengths of the successful candidate, in either the broad direction of principle-based meta-reasoning (formal focus) or applications of automated meta-reasoning to large-scale software systems (engineering
-
engineering software packages such as Matlab, CST, HFSS etc. are meritorious. Strong written and verbal communication skills in English What you will do Your major responsibility as a PhD student is to pursue
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions