178 proof-checking-postdoc-computer-science-logic positions at University of Vienna in Austria
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
tertiary education in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete
-
tertiary education in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete
-
/an Senior Lecturer (scientific teaching) 53 Faculty of Earth Sciences, Geography and Astronomy Job vacancy starting: 09/01/2025 (MM-DD-YYYY) | Working hours: 20.00 | Classification CBA: §48 VwGr. B1 lit. b
-
Assistant postdoctoral 50 Faculty of Life Sciences Job vacancy starting: (MM-DD-YYYY) | Working hours: 40.00 | Classification CBA: §48 VwGr. B1 lit. b (postdoc) Limited contract until: Job ID: 3773
-
Assistant postdoctoral 60 Centre for Teacher Education Job vacancy starting: (MM-DD-YYYY) | Working hours: 40.00 | Classification CBA: §48 VwGr. B1 lit. b (postdoc) Limited contract until: Job ID: 4066
-
in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete applications
-
in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete applications
-
the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete applications in industry. As
-
administration and organisation. We are looking for a/an Senior Scientist 91 Centre for Microbiology and Environmental Systems Science Job vacancy starting: 09/01/2025 | Working hours: 40.00 | Classification CBA
-
tertiary education in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete