Sort by
Refine Your Search
-
, singularities in mixed characteristic, equisingularity theory, Milnor fibrations and topology of singularities, birational geometry, valuation theory, commutative algebra/integral closure methods, metric geometry
-
, and the application of advanced technologies and AI methods in digital cultural heritage. Applicants should hold a PhD in Informatics or Applied Mathematics. Research experience in at least one of the
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions