Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
species providing the data foundation for adverse health effect risk assessment Assess hot spots in the Arctic of chemicals in local communities and exposure assessments Assess food web dynamics in relation
-
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
-
species providing the data foundation for adverse health effect risk assessment Assess hot spots in the Arctic of chemicals in local communities and exposure assessments Assess food web dynamics in relation
-
5 2100 Copenhagen Denmark Web Page: http://www.math.ku.dk/english/