-
life cycle models (waterfall, spiral, and so forth), domain engineering methods, requirements analysis methods (including formal specifications), software design principles and methods, verification and
-
interested in applicants who use advanced quantitative methods, including computational modeling, machine learning, and/or analyzing structural and functional neuroimaging data. Specific activities may include
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions