186 formal-verification-computer-science PhD positions at University of Groningen in Netherlands
Sort by
Refine Your Search
-
PhD Activating Heritage as a Mediator for Dialogue and Belonging in an Era of Polarization (1.0 FTE)
, Technology and Culture, Knowledge Infrastructures and Sustainable Health. In the summer of 2019, Campus Fryslân has moved to the new faculty building De Beurs: the first all-electric, monumental educational
-
PhD Position: Activating Heritage as a Mediator for Dialogue and Belonging in an Era of Polarization
, Technology and Culture, Knowledge Infrastructures and Sustainable Health. In the summer of 2019, Campus Fryslân has moved to the new faculty building De Beurs: the first all-electric, monumental educational
-
institution has granted a Master's degree in Engineering, specializing in mechanical engineering, electrical engineering, computer science, mathematics, or a related field, along with a notable academic track
-
degree in Engineering, specializing in mechanical engineering, electrical engineering, computer science, mathematics, or a related field, along with a notable academic track record. Proficiency in
-
determined candidates, who meet the following requirements: An MSc degree (or an equivalent university degree) in (Bio)chemistry, Biotechnology, Computational Chemistry, Synthetic Chemistry/Biology or a
-
Institute). Qualifications We seek excellent students with a strong background in cosmology, astrophysics, physics, mathematics and/or computer sciences, who seek to obtain a Joint-PhD degree from
-
Institute for Mathematics, Computer Science and Artificial Intelligence with the topic of responsible human-AI collaboration. The successful candidate will become a member of the Multi-Agent Systems Group
-
also reflecting the preferences of their principals. Organisation The PhD position is embedded in the Economics, Econometrics, and Finance research programme of FEB’s Research Institute. The project will
-
an international place of knowledge. Faculty of Economics and Business The Faculty of Economics and Business offers an inspiring study and working environment for students and employees. International accreditation
-
, engineering, informatics, or a related field. Proven experience in energy system modeling, preferably with PyPSA or a similar framework. A strong understanding of energy system modeling and optimization