1 proof-checking-postdoc-computer-science-logic PhD positions at University of West Bohemia in Czech
Sort by
Refine Your Search
-
The Industrial Informatics group at FEE/RICE is focused on the application of advanced optimization techniques to: i) design of new electro-mechanical devices using numerical simulations, ii) system identification
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions