Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- University of Groningen
- ;
- University of Lund
- ; University of Leeds
- Fraunhofer-Gesellschaft
- Leibniz
- Swedish University of Agricultural Sciences
- Technical University of Denmark
- Technical University of Munich
- Umeå University
- University of British Columbia
- University of Cambridge
- University of Massachusetts Medical School
- Utrecht University
- ; Swansea University
- ; University of Oxford
- ; University of Reading
- AALTO UNIVERSITY
- Arizona State University
- DAAD
- Linköping University
- Mälardalen University
- NTNU - Norwegian University of Science and Technology
- Nature Careers
- Norwegian University of Life Sciences (NMBU)
- SciLifeLab
- University of Adelaide
- University of Bergen
- University of Cologne •
- University of Idaho
- University of Southern Denmark
- 21 more »
- « less
-
Field
-
at 23:59 hours local Danish time The position is funded by the German Research Foundation (DFG), project “Abstract Techniques for Programming Languages and Secure Compilation”. The project builds
-
physical design tools such as design compiler and Cadence Innovus will be advance Expertise in at least one area as a plus: deep learning hardware development edge AI memory technology Strong problem-solving
-
backend tool such as RC compiler, Design compiler, Cadence Genus, Innovus, Encounter Prior knowledge in at least one of the following areas as an advantage: deep learning hardware development memory
-
: Complete boat-based fieldwork in the Western Baltic Sea lasting 2-3 months in 2025 and 2026. Compile and analyze data sets resulting from the 2023-2026 fieldwork. Report project findings in peer-reviewed
-
for inspection of both micro and macro process accurately, that compiles faster than standard industry codes but delivers particle-in-cell accuracy has the potential to be a step-change technology
-
qualifications will be given preferential consideration. We kindly ask you to indicate a disability in your application. Please submit your application by the 31st May, 2025. Your application should be compiled
-
, such as compilers, is an exceedingly complex task that often requires investments of hundreds of millions of dollars. This project aims to explore the extent to which LLMs can be harnessed to assist in
-
manuscripts based on findings, targeting publication in peer-reviewed journals and dissemination of results within partner networks Thesis Writing: Compile research outcomes and manuscripts into a cohesive
-
. We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or
-
31st August 2025 Languages English English English The Department of Computer Science has two vacancies for PhD Candidates in Compiler Technologies Apply for this job See advertisement This is NTNU