31 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science in United Kingdom
-
hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Reference no.: 6142 Explore and teach at the University of Vienna, where over 7,500 brilliant minds have found a unique balance
-
modern AI tools, familiarity with proof assistants such as Lean, good communication skills, and ability to work both independently and as a member of a large research team; a good command of English is
-
impact? We are currently seeking a/an University Assistant postdoctoral 50 Faculty of Life Sciences Startdate: 01.12.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc
-
postdoctoral 50 Faculty of Life Sciences Startdate: 01.11.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.10.2029 Reference no.: 6186 A three year
-
/an ... University Assistant postdoctoral 49 Faculty of Social Sciences Startdate: 01.11.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.10.2032 Reference
-
experienced members of the research group including postdocs, research assistants, technicians, PhD and project students. The host lab has a strong record of training and nurturing lab members. The post is
-
research streams; leading technical development work and gaining leadership skills within the team of 1 PI (Dr Neate), another postdoc (started January 2026), three aligned PhD students, as well as research
-
Assistant Postdoctoral 52 Faculty of Chemistry Startdate: 21.10.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 20.10.2032 Reference no.: 6217 Explore
-
(postdoc) Limited until: 31.10.2032 Reference no.: 6212 There are many good reasons to want to research and teach at the University of Vienna. And one is why around 7,700 academic staff members before you
-
impact? We are currently seeking a/an University Assistant Postdoctoral 52 Faculty of Chemistry Startdate: 01.09.2026 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc