Open PositionsOn this webpage you find information about faculty openings in Copenhagen and Lund in theoretical computer science or automated reasoning as well as postdoc openings and PhD openings in the MIAO research group. 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 PositionsThe Department of Computer Science at the University of Copenhagen invites applications from professors at all levels within all areas of computer science to join our department! Needless to say, the Algorithms and Complexity Section would particularly welcome strong applicants in algorithms and complexity. 😀 The application deadline is September 1, 2024. 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! The Department of Computer Science at Lund University currently has no faculty openings focusing on the foundations of computer science. Postdoctoral PositionsWe currently have no postdoc openings. Any new postdoc positions are likely to be announced in late 2024, with an intended starting date in the autumn of 2025. 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 has the deadline September 11, 2024. 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 PositionsThanks to new funding, I 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 tutorial). The application deadline is September 6, 2024. The starting date is negotiable, but should ideally be during the autumn of 2024 or in early 2025.
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 of the old announcements mentioned here looks 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.
|