1 proof-checking-postdoc-computer-science-logic PhD positions at Johannes Gutenberg University Mainz in Germany
Sort by
Refine Your Search
-
interdisciplinary team to study the evolution and organization of the olfactory system in ants. The team includes Carlotta Martelli (neurobiology and computational biology), Hugo Darras (evolution and genomics), and
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions