69 proof-checking-postdoc-computer-science-logic PhD scholarships at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
DTU Management’s Management Science division. The project is led by Professors Stefan Ropke and Richard Lusby and involves international collaboration with leading researchers in machine learning and
-
group and are expected to contribute to other departmental tasks. We expect that you have a background in biology or veterinary medicine and have an interest in interactions between diet, intestinal
-
, including electrical engineering, control theory, industrial engineering, electronics engineering, energy policy, data science, and applied mathematics. As part of the Alliance program, your project will be
-
of Science and Technology (NTNU) offers a joint 3-year PhD fellowship. Novel non-target chemical analyses have recently revealed that groundwater and drinking water are contaminated from PFAS, pesticide and
-
control, open-source background checks may be conducted on qualified candidates for the position. Technology for people DTU develops technology for people. With our international elite research and study
-
, including EMODnet, trawl and dredge surveys, commercial catch and bycatch records, coastal vegetation data, citizen science catch rates, and environmental datasets from Copernicus. This will require working
-
to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates
-
checks may be conducted on qualified candidates for the position. DTU Civil and Mechanical Engineering develops and utilizes science and technical knowledge for the benefit of society and sustainable
-
The assessment will take into account the following criteria: Willingness and ability to spend one year in Australia as part of the Alliance PhD program is mandatory. Experience with process technology and
-
are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be conducted on qualified candidates