Sort by
Refine Your Search
-
information about the program can be found at Doctoral studies at the Faculty of Medicine . Background and description of tasks The PhD student will use state-of the-art methods such as cryo-electron tomography
-
previous experience with e-graphs, or is familiar with theory and algorithms used by, for example, proof assistants, term rewriting systems, optimizing compilers, program analysis tools, constraint solvers
-
position Eligibility requirements Other qualifications Application A complete application must include: 1. A cover letter summarizing your qualifications, scientific interests and motives for applying (max
-
on the strengths of the successful candidate, in either the broad direction of principle-based meta-reasoning (formal focus) or applications of automated meta-reasoning to large-scale software systems (engineering
-
welfare state from a comparative perspective. Start date as soon as possible or as agreed. Apply no later than July 21, 2025. Research Focus The PhD student will work within the research project "New maps
-
salary ladder for PhD position. The employment will start during fall 2025 or upon agreement. Application You apply through our recruitment system Varbi on June 26, 2025 at the latest. The application