Sort by
Refine Your Search
-
Listed
-
Category
-
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
-
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
-
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
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization
-
to ongoing research projects and actively support the development of future research initiatives. The candidate should be able to highlight research activities in the form of ISI’s Web of Science publications
-
postdoctoral position of three-year duration in extreme-precision radial velocity research. The postdoc will work on projects related to the Second Earth Spectrograph (2ES, www.2es.dk ), a next-generation
-
potable water, wastewater systems, and district heating/cooling systems. Link to the group web page: https://www.learning-decision.dk How to apply Your application must include the following: Application
-
media data using platform APIs and/or web scraping analyse large-scale data using appropriate digital methods (flexible, but please specify) present research at national and/or international events lead
-
5 2100 Copenhagen Denmark Web Page: http://www.math.ku.dk/english/
-
-mathematics-2 . Contact: Andreas Basse-O´Connor Email: Postal Mail: Ny Munkegade 118, Building 1530 DK-8000 Aarhus C Denmark Web Page: http://math.au.dk/en/