30 formal-verification-computer-science positions at University of Tübingen

Lecturer in Technical Computer Science (m/w/d, Grade A13)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 2 months ago

26.02.2025 Application deadline: 11.04.2025 The Tübingen AI Center is seeking to fill the following position: Lecturer in Technical Computer Science (m/w/d, Grade A13, permanent) We are looking

PhD Position in Synthetic Biology and Metabolic Engineering (m/f/d)

University of Tübingen | Germany | 6 days ago

Position in Synthetic Biology and Metabolic Engineering (m/w/d) to be filled as soon as possible. The position is initially limited to three years. The research group headed by Prof. Dr. Hannes Link

Assistant Professor (W1 without tenure track) of Pharmaceutical Technology (m/f/d)

University of Tübingen | T bingen, Baden W rttemberg | Germany | about 2 hours ago

28.05.2025 Application deadline: 29.07.2025 The Department of Pharmacy and Biochemistry of the Faculty of Science at Tübingen University invites applications for the position of Assistant Professor

Junior Group Leader / Post-Doctoral Researcher Computational Linguistics/Cognitive Science (m/f/d, E 14 TV-L, 100%)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 3 months ago

Leader / Post-Doctoral Researcher Computational Linguistics/Cognitive Science (m/f/d, E 14 TV-L, 100%) The position will be filled for a period of four years. Payment is at 100% of full time E14

W3-Full Professor for Medieval and Contemporary History, with a Focus on Historical Regional Studies and Historical Ancillary Sciences (m/f/d)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 12 days ago

30.04.2025 Application deadline: 17.06.2025 The Institute for Historical Regional Studies and Historical Ancillary Sciences at the Faculty of Humanities at the University of Tübingen invites

Post-Doctoral Researcher in Theoretical or Experimental Pragmatics / Cognitive Science (m/f/d, E 13 TV-L, 100%)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 3 months ago

Researcher in Theoretical or Experimental Pragmatics / Cognitive Science (m/f/d, E 13 TV-L, 100%) The position will be filled for a period of 30 months. Payment is at 100% of full time E13. The position is

PhD Researcher in Theoretical or Experimental Pragmatics / Cognitive Science (m/f/d, E 13 TV-L, 65%)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 3 months ago

Theoretical or Experimental Pragmatics / Cognitive Science (m/f/d, E 13 TV-L, 65%) The position will be filled for a period of three years. Payment is at 65% of full time E13. The position is associated with

Tenure-Track Professor for AI in Education (m/f/d)

University of Tübingen | T bingen, Baden W rttemberg | Germany | about 2 hours ago

prior to interim evaluation, and six hours thereafter. Required qualifications include an outstanding doctorate in a pertinent field (psychology, computer science, data science, education sciences

PhD student / doctoral candidate (m/w/d, E 13 TV-L, 65%)

University of Tübingen | T bingen, Baden W rttemberg | Germany | 2 months ago

catalysis, computational and theoretical chemistry and aims at broad training in synthetic chemistry as well as data-driven optimization of stereoselective catalysts. The project in our group focuses

Postdoctoral Researcher (m/f/d, E13 TV-L)

University of Tübingen | T bingen, Baden W rttemberg | Germany | about 2 hours ago

disabilities will be given preference. Formal appointment procedures will be carried out by the University’s Central Administration. Back