格罗宁根大学Hansen组博士招生申请条件要求-申请方
主办方
格罗宁根大学
PhD直招介绍
Job description
Applications are invited for a fully-funded 4-year PhD position in Logic and Semantics of Computing at the Fundamental Computing group at the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen.
We are looking for an excellent PhD candidate who is interested in doing research at the interface of mathematical logic, program semantics and (co)algebra. Coalgebra is a branch of applied category theory that provides a framework for reasoning uniformly about many different types of systems, including automata, transition systems and Markov decision processes. There is a beautiful relationship between coalgebra and modal logic which mirrors the one between algebra and equational logic, and the framework of coalgebraic modal logic allows us to study modal logics at the abstract level of coalgebras. Potential research topics include coalgebraic dynamic logics for compositional reasoning about program correctness, and (co)algebraic foundations of reinforcement learning. However, the PhD candidate will have a great deal of freedom to define their own research project.
As a PhD candidate, you will conduct original research leading to a PhD thesis, completed within the 4 years of the appointment and defended at the University of Groningen. You are expected to present your research results at seminars and international conferences, and to publish in conference proceedings and journals. You are expected to make a small contribution (at most 10%) to teaching e.g. as a teaching assistant or supervising student projects.
格罗宁根大学 Hansen组博士招生项目有没有奖学金，是不是全奖Phd招生，下面我们一起看一下【大学名称】Phd的奖学金资助情况
项目资助情况
fully-funded 4-year
格罗宁根大学Phd申请条件和要求都有哪些？Hansen组博士招生项目是不是全奖？有没有奖学金？下面我们一起看一下格罗宁根大学申请Phd直招需要具备哪些条件和要求，以及托福、雅思语言成绩要到多少才能申请。
申请要求
Qualifications
The successful candidate should have:
● a Master’s degree or equivalent (e.g., Honours degree) in logic, computer science, mathematics or another relevant field
● an excellent academic record, and a keen interest in doing fundamental research
● a strong background in logic or theoretical computer science is essential, but prior knowledge of coalgebra is not required; only the motivation to learn
● good communication skills in English (written and spoken).
报名方式
招生人信息
prof.dr. Helle Hvid Hansen
邮箱：h.h.hansen@rug.nl
扫描二维码
下载申请方APP
下载申请方APP
扫描二维码
下载申请方APP