1 formal-methods PhD positions at Centre Internacional de Mètodes Numèrics en la Enginyeria in Spain
Sort by
Refine Your Search
-
be performed inside the open-source Kratos-Multiphysics code. Expected results: Assessment of non-linear solid mechanics methods with IBRA-type discretizations Use of trimming of 3D geometries
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions