Open PositionsOn this webpage you find information about postdoc openings and PhD openings in the MIAO research group as well as about faculty openings in Copenhagen and Lund in theoretical computer science or automated reasoning. There is also some information about doing thesis projects related to our research. The MIAO group is active at both the University of Copenhagen and Lund University, and all members have offices in both Copenhagen and Lund. Sometimes we are announcing positions simultaneously in both Copenhagen and Lund. In such cases, it is a good idea to send in two copies of your application, one each to Copenhagen and Lund, in order to keep your options open. For formal reasons, you can only be hired for a position if you have applied specifically at the university where the position is (but sending in exact copies of the same application is fine, and you can also mention in your application that you are applying to both places). Please feel free to drop me a line if you have any questions about any of the openings advertised (or not advertised) on this webpage. Note, however, that we cannot accept applications via e-mail — we can only hire for currently open positions as advertised in official announcements, and all applications must be made via the official recruitment systems (as per instructions in the announcements). Faculty PositionsAt the Department of Computer Science at Lund University, we are looking for a tenure-track assistant professorship in the foundations of computer science, with a focus on logic and automated reasoning. The application deadline is January 8, 2025. Please do not hesitate to contact me if you have any questions regarding this position. We currently have no faculty openings in theoretical computer science at the Department of Computer Science at the University of Copenhagen, but expect to hire in theoretical computer science going forward. Information about openings in other sections of the Department of Computer Science can be found at di.ku.dk/english/about/vacancies. Please do not hesitate to contact me and/or Mikkel Thorup if you are interested in learning more about opportunities to join one of the most exciting and dynamic TCS environments in Europe! Postdoctoral PositionsWe currently have no postdoc openings. Any new postdoc positions are likely to be announced in the autumn of 2025, with an intended starting date in the autumn of 2026. This webpage will be updated when more detailed information is available. If you instead want to start collecting grants to list on your CV, an excellent opportunity is to apply for a postdoctoral fellowship within the EU Marie Skłodowska-Curie actions program to come and do a postdoc in the MIAO group. The next call is expected to open in the spring of 2025 and have a deadline in August-September 2025. I would particularly welcome applications from strong candidates who want to work in computational complexity theory, applied combinatorial optimization (including SAT, MaxSAT, CP, or MIP), certifying algorithms / proof logging, or some interdisciplinary mix of these areas. Another opportunity is to apply for a postdoc position in Copenhagen within the framework of the postdoc fellowship program of the Danish Data Science Academy. The expected deadline for the next call is in February-March 2025. Please feel free to contact me if you would wish to discuss any of the opportunities mentioned above. Any postdoc openings announced in the MIAO research group are for fully funded, employed positions (including travel money) that come with an internationally competitive salary. PhD PositionsI am looking for a PhD student in theoretical computer science and/or combinatorial optimization at Lund University in a project aiming to go significantly beyond the state of the art in provably correct computation with certifying algorithms (as per this tutorial) or possibly in combinatorial solving and optimization (as explained in this series of tutorials). The application deadline is January 17, 2025. Early applications are welcome, since this will help speed up the recruitment process, but all applications submitted before the deadline will be given equal consideration. The starting date is negotiable, but should ideally be in August-September 2025 or earlier.
In Copenhagen, it is also possible to apply for a PhD position within the framework of the PhD fellowship program of the Danish Data Science Academy. The expected deadline for the next call is in February-March 2025. Please feel free to contact me if you would wish to discuss this. Any PhD openings announced in the MIAO research group are for fully funded, employed positions (including travel money) that come with an internationally very competitive salary. Exceptional candidates are always of interest, and could lead to positions opening earlier than otherwise planned. Thus, if any old announcements from the MIAO group that you would happen to find look interesting, and if you are a very strong candidate, then please feel free to contact me. BSc and MSc Thesis ProjectsI would be happy to supervise BSc and/or MSc students for thesis projects on topics related to research in the MIAO group. You can send me an e-mail with a description of your own background and interests, ideally with CV and grade transcripts attached, if you would like to explore such opportunities. (Note, however, that these projects are intended for students who are geographically close and can work on their thesis in the Copenhagen/Lund area. There is no dedicated funding available to support foreign students to come to Denmark or Sweden.) Such projects are intended to give students a feel for what research in computer science is like, while at the same time focusing on concrete problems of both theoretical and practical importance. Apart from the thesis work itself, the intention is that the results of a successful thesis project could also be exciting enough to be published as (part of) a paper in some leading scientific conference and/or journal in the field.
|