2 proof-checking-postdoc-computerscience PhD positions at Aalborg University in Denmark

Four PhD Positions in Natural Language Processing, AI and LLM Security (CPH)

Aalborg University | Denmark | about 12 hours ago

international research grants and is currently scaling up its research capacity – in 2026, we are expanding with four postdocs who are expected to work closely with the ph.d. students hired in this call. As a PhD

PhD Stipend in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems (DEIS)

Aalborg University | Denmark | about 12 hours ago

checking for approximate analysis of distributed quantum system Prospective applicants for this PhD proposal should have the following qualifications: - M.Sc. degree in computer science, mathematics