Sort by
Refine Your Search
-
Country
-
Employer
-
Field
-
research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) postdoc positions of 1-3 years. The starting date is December 1
-
Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Topics
-
06.09.2021, Wissenschaftliches Personal The Institute for Communications Engineering is currently offering seven positions for PhD or postdoctoral candidates for the project "6G-life" which is
-
to accomplish something new — complemented by teamwork and fostering personal relationships. From assistants, students, researchers, postdocs to professors; we are all working hand in hand, are highly committed
-
, transforming the EU into a modern, resource-efficient, and competitive economy. Responsibilities and qualifications The focus of this PhD/Postdoc project is to develop a new Li-operated potentiometric