Sort by
Refine Your Search
-
supervision of student research; development of a successful and original research program; and service contributions. Candidates with a research specialization in formal semantics and a broad
-
outstanding candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and
-
, multidimensional weakness and failure taxonomies, and vulnerability models define the lexis, syntax, and semantics of the BF formal language and form the basis for the definition of secure coding principles. The
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and
-
international environment spanning the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and
-
semantics, the development of AI-assisted proof engineering workflows, and the open-source release of specifications, proofs, and verified artefacts. We seek an excellent software engineer to play a
-
human language. Covers the core theoretical subfields of linguistics: phonetics, phonology, morphology, syntax, and semantics. Also provides background on other subfields including sociolinguistics
-
following areas is considered an advantage: formal methods, programming language theory or semantics, logic, automata theory, automated theorem proving, and quantum computing. Rules governing PhD
-
logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed
-
interdisciplinary or problem-oriented research and innovation and have impact in the wider world. For more information about the research group, please see CLD’s website: https://www.dcc.aau.dk/research