Sort by
Refine Your Search
-
postdoc in our group, you will set up and lead this new research line, choosing its directions together with us. Possible starting points are the formalization in Lean of stability and error estimates
Searches related to fault
Enter an email to receive alerts for fault positions