We are pleased to announce that dr. Iris van der Giessen (University of Birmingham) has been awarded an NWO Veni to work on the project entitled Interpolation in mathematical logic: when does it work?. Interpolation is a method of separating statements into different categories. Van der Giessen will develop new mathematical techniques to characterize criteria under which interpolation works and applies these results to solve questions about interpolation in the theory of knowledge bases.
The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.
The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Oresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.
This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be during the autumn of 2024 or in early 2025. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.
Normal
0
21
false
false
false
DE-AT
X-NONE
X-NONE
MicrosoftInternetExplorer4
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Normale Tabelle";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-pagination:widow-orphan;
font-size:10.0pt;
font-family:"Times New Roman",serif;}
Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering
30 hours/week, limited to four years, estimated starting date is September 2024
The vacancy is advertised in German, as German skills are required due to teaching responsibilities.
Application deadline: August 8, 2024