3 software-verification-phd-"https:" positions in Germany

PhD Position – Hybrid Learning Control for Agent-Based Intralogistics Systems

cellumation GmbH | Bremen, Bremen | Germany | about 1 month ago

Researcher (R1) Positions PhD Positions Application Deadline 31 Mar 2026 - 23:59 (Europe/Berlin) Country Germany Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 May 2026

Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | about 1 month ago

10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in

PhD Students and Postdocs: Design Automation and Software for Quantum Computing, Microfluidics, or Conventional Circuits and Systems

Technical University of Munich | Germany | about 1 month ago

Munich (www.tum.de). Accordingly, we are currently searching for PhD Students and Postdocs to join our team! PhD Students For PhD students, we are looking for persons that are willing to learn and explore