Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD
-
The Department of Computer Science at Aalborg University has a fully-funded PhD position available. The candidate will be working on formal verification of neural-network control policies
-
security and privacy, programming languages, formal methods, information flow, or networks and systems. Applicants can have a background from computer science, computer engineering, mathematics, or a similar
-
English. As a formal qualification, you must hold a MSc degree (or equivalent). Assessment Candidates will be assessed by Senior Researcher/Associate Professor Mikkel Heuck and Professor Jesper Mørk. We
-
, place of work, and email address) as well as the name of the position you have applied for to: HR.Nattech@au.dk Formalities and salary range Natural Sciences refers to the Ministerial Order on
-
, place of work, and email address) as well as the name of the position you have applied for to: HR.Nattech@au.dk Formalities and salary range Natural Sciences refers to the Ministerial Order on
-
the Computer Science study program. The stipend is open for appointment from August 1st 2025 or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and
-
: Danish and English. You are expected to be fluent in at least one of these languages, and in time are expected to master both. As a formal qualification you must hold a PhD degree (or equivalent) as
-
expected to be fluent in at least one of these languages, and in time are expected to master both. As a formal qualification you must hold a PhD degree (or equivalent) as well as academic qualifications