14 formal-method-phd positions at University of Southern Denmark in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method-phd positions

PhD position in Algorithms

University of Southern Denmark | Denmark | about 9 hours ago

approximation algorithm, using linear programming methods. Over the next years, the project will grow to a collaborate team of 4-5 PhD students and Postdocs. The successful candidate will work directly with the
Postdoctoral Position in Computer Science

University of Southern Denmark | Denmark | 3 months ago

. The project is based on the novel application of formalisms, algorithms, and computational methods from computer science to the modeling of microbial communities, for use in health science. We aim to expand
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Formal Methods Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Science with a focus on Automated Reasoning, Logic, or Programming Languages

University of Southern Denmark | Denmark | about 10 hours ago

for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic

Enter an email to receive alerts for formal-method-phd positions