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
-
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
-
you have applied for to: HR.Nattech@au.dk Formalities and salary range Natural Sciences refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish
-
: 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
-
, tbrems@ps.au.dk, 40 17 21 90 Place of work Bartholins Allé 7, 8000 Aarhus C Formal requirements You can read more about how to apply in the application guide and find the rules and regulations of the PhD
-
verification and formal verification. runtime analysis and reconfiguration of in-vehicle TSN networks. Co-supervise students. Optionally contribute to teaching. Required qualifications: Hardware design in a
-
these languages, and in time are expected to master both. As formal qualification you must hold a PhD degree (or equivalent). You will be assessed against the responsibilities and qualifications stated