73 proof-checking-postdoc-computer-science-logic positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
This reasearch postion is part of a larger project financed by the Göran Gustafsson Foundation for Research in Natural Sciences and Medicine and concerns representation of algebraic invariants and
-
at the terahertz and millimetre wave division are on technologies with applications that span from basic science to future sensors and communication systems. We are at the forefront of innovation in terahertz
-
the Division of Vehicle Engineering and Autonomous Systems (VEAS) , with some collaboration from the Division of Vehicle Safety. VEAS is a research division with close ties to the local vehicle industry
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions