2 proof-checking-postdoc-computer-science-logic PhD positions at Johannes Gutenberg University Mainz in Germany
-
Research Framework Programme? Not funded by a EU programme Reference Number 35-2025 Is the Job related to staff position within a Research Infrastructure? No Offer Description Johannes Gutenberg University
-
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