Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
At the Technical Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance
-
At the Technical Faculty of IT and Design, Departmentof Computer Science, one PhD stipend/Integrated PhD stipend intheories for programming semantics, methods for verification and reliability
-
National Food Institute. We are currently developing a massive web application for users world-wide to store and share their sequencing data as well as running bioinformatics pipelines to analyse and
-
genomics and biogeography. This process will require textual, semantic, geographic, and sequence data analysis and integration. You will help establish standards for metadata quality based on semantic
-
Graphs research, focusing on improving semantic accuracy of generative AI outputs. Your Profile We expect that you: Hold a Master’s or PhD in Natural Sciences or Engineering, with specialization or strong
-
Postdoc Position in Models of Quantum Programming Languages (Sapere Aude: DFF-Research Leader Pro...
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
broadly construed, e.g., functional programming, quantum programming, semantics, type theory, effect systems, formal verification, static analysis, reactive, concurrent, and parallel programming, compilers
-
or quantum information science, and demonstrated research experience in quantum computing and at least one of the following areas: Formal semantics of programming languages. Logic in computer science. Category
-
Email: Postal Mail: Ny Munkegade 118, Building 1530 DK-8000 Aarhus C Denmark Web Page: http://math.au.dk/en/
-
Food Institute. We are currently developing a massive web application for users world-wide to store and share their sequencing data as well as running bioinformatics pipelines to analyse and visualize