Sort by
Refine Your Search
-
. Doctoral students of the IMPRS-BAC work at MPIMG or FUB. The research groups work at the interface of life sciences (molecular biology, genome research) and formal sciences (mathematics, computer science
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions