These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Sections
Headlines Open positions at ILLC
Headlines Open positions, general
- (New) Postdoc position in Theoretical CS at King's College London, London (UK)
- Assistant Professor in Logic, Automata, and Game Theory in Computer Science, Munich (Germany)
- Postdoctoral fellowship in Theoretical Computer Science, Prague (Czech Republic)
- Doctoral student in Computer Science, specializing in Artificial Intelligence, Örebro (Sweden)
- (New) PhD candidate development of techniques for generating news articles, Bergen (Norway)
- (New) Lecturer or Senior Lecturer in Algorithms, Sheffield (UK)
- (New) Post-doc at IRIF in topology/algebra/categories and logic, Paris (France)
- Postdoctoral Fellowship in Logic, Epistemology or Philosophy of Science, Turin (Italy)
Open positions at ILLC
-
(New) Assistant professor in Mathematical Logic
Deadline: Sunday 9 June 2024Are you working at the forefront of mathematical logic and are you passionate about research and teaching in this field? Are you looking forward to take the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation? The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to hire a new faculty member in this area, at the assistant professor level. At the ILLC we strive for a better gender balance amongst our staff. We therefore strongly encourage women to apply for this position. While we will consider applications from individuals working in any area within mathematical logic, with the aim of strengthening our profile in the traditional areas of mathematical logic we have a strong preference for a logician working in model theory or set theory.For more information, see here or at https://vacatures.uva.nl/UvA/job/Assistant-professor-in-Mathematical-Logic/794204502/ or contact Prof. Yde Venema at y.venema at uva.nl. -
(New) Two Postdoctoral Positions in Machine Learning with NLP and Computer Vision
Deadline: Friday 31 May 2024Are you passionate about machine learning, natural language processing, or computer vision? We are seeking a postdoctoral researcher to join the research group led by Ivan Titov (http://ivan-titov.org/), part of the natural language processing group of the Institute for Logic, Language and Computation (ILLC).
For more information, see here or at https://vacatures.uva.nl/UvA/job/Two-Postdoctoral-Positions-in-Machine-Learning-with-NLP-and-Computer-Vision/793803202/ or contact Dr. Ivan Titov at i.titov at uva.nl. -
Four PhD Positions in AI, Digital Humanities, and Cultural Heritage
Deadline: Wednesday 15 May 2024Do you want to become part of a dynamic community that is at the forefront of Artificial Intelligence, Digital Humanities, and Cultural Heritage?
Our experts from the Institute for Logic, Language, and Computation (ILLC) and the Amsterdam School for Heritage, Memory, and Material Culture (AHM) are looking for four talented and ambitious PhD candidates. Your research will be part of the Natural Language Processing and Digital Humanities unit of the ILLC (Projects 1-3) or the Digital Heritage research group of the AHM (Project 4).
For more information, see here or at https://vacatures.uva.nl/UvA/job/Four-PhD-Positions-in-AI%2C-Digital-Humanities%2C-and-Cultural-Heritage/792167402/ or contact Dr.ir. Jaap Kamps at kamps at uva.nl.
Open positions, general
-
(New) Postdoc position in Theoretical CS at King's College London, London (UK)
Deadline: Thursday 6 June 2024A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural deco mposition methods, term rewriting, and parameterized complexity theory.
Key dates: the application deadline is June 6, 2024; it is hoped that the successful applicant will start in or around October 2024, but there is some flexibility concerning the start date. If the position is started in October 2024, it can be held for 1.5+ years. The exact starting date and duration can be set in a way that takes into account the successful candidate's needs and schedule.
For more information, see https://www.kcl.ac.uk/jobs/088046-post-doctoral-research-associate or contact Hubie Chen at hubie.chen at kcl.ac.uk. -
Assistant Professor in Logic, Automata, and Game Theory in Computer Science, Munich (Germany)
Deadline: Tuesday 4 June 2024The Technical University of Munich (TUM) invites applications for the position of Tenure Track Assistant Professor in Logic, Automata, and Game Theory in Computer Science, to begin as soon as possible. The position is a W2 fixed-term (6 year) tenure-track professorship with the possibility for promotion to a tenured W3 position.
The responsibilities include research and teaching as well as the promotion of early-career scientists. We seek to appoint an expert in the research area of Logic, Automata, and Games with applications to Formal Verification, Automatic Synthesis, Automated Reasoning or Learning. Teaching responsibilities include Basic courses in the Professional Profile 'Informatics', in particular Theoretical Computer Science, at Bachelor’s and Master’s level.
For more information, see https://portal.mytum.de/jobs/professuren/NewsArticle_20240405_080118. -
Postdoctoral fellowship in Theoretical Computer Science, Prague (Czech Republic)
Deadline: Friday 31 May 2024The Institute of Computer Science of the Czech Academy of Sciences (ICS CAS) offers a postdoctoral fellowship within the Department of Theoretical Computer Science. The duration of the position is 12 months with a possibility of extension, based on performance and activity. The fellowship is available from 1st July 2024 but a later starting date is negotiable.
Logicians are especially encouraged to apply.
For more information, see https://www.cs.cas.cz/job-offer/postdoctoral-fellowship-piguet-2024/en or contact Diana Piguet at piguet at cs.cas.cz. -
Doctoral student in Computer Science, specializing in Artificial Intelligence, Örebro (Sweden)
Deadline: Friday 31 May 2024Örebro University is offering a Ph.D. position to a highly-motivated student who wants to investigate how AI systems can proactively acquire new knowledge and new abilities. The position is fully funded for a period of four years.The student will develop theories and methods to allow the AI system to decide which knowledge or abilities it should learn, when, and how. As part of this problem, the AI system must be able to perform anticipatory reasoning, and to reason about its own knowledge and abilities as well as the knowledge and abilities of others. Note that this project investigates the high-level question of how an AI system can autonomously decide to initiate a learning process, but it does not aim at studying specific mechanisms for machine learning.
Applicants should have demonstrated knowledge in AI, specifically in: knowledge representation, planning and decision-making, or multi-agent systems. Experience with robotic systems, human-machine interaction, machine learning or neuro-symbolic approaches are desirable. The ability to work in multi-disciplinary projects and good programming skills are a plus. Expected employment start date is September 2024.
For more information, see https://www.oru.se/english/career/available-positions/job/?jid=20240070. -
(New) PhD candidate development of techniques for generating news articles, Bergen (Norway)
Deadline: Saturday 25 May 2024We are seeking a motivated candidate to join our research team in MediaFutures, at the University of Bergen, Norway. The primary task of this position will be to develop novel techniques for generating news articles. This involves creating resources that adapt lexical, grammatical, and stylistic choices based on various parameters, including user profiles, cognitive accessibility, and journalistic formats. We are also interested in exploring how news content can be versioned and adapted dynamically. This includes tailoring news articles to different user preferences and user segments, ensuring readability, and optimizing content delivery across various platforms.
We expect that the candidate will explore how large language models can be used for news generation while maintaining ethical and responsible practices. The position also offers the opportunity to collaborate with industry partners and gather domain-specific datasets from leading Norwegian media houses. This real-world collaboration will enhance the relevance and impact of the produced research. The PhD candidate will work at MediaFutures in Work Package 5 and will cooperate with researchers and partners in the work package, including the Language Technology Group at the University of Oslo, the National Library of Norway, Schibsted, Amedia, and TV 2. In addition to relevant researchers and partners in other work packages.
For more information, see https://www.jobbnorge.no/en/available-jobs/job/262259/phd-position-in-language-technology-at-mediafutures or contact Samia Touileb at samia.touileb at uib.no. -
(New) Lecturer or Senior Lecturer in Algorithms, Sheffield (UK)
Deadline: Monday 20 May 2024This is an exciting opportunity for a Lecturer or Senior Lecturer in Algorithms at the University of Sheffield. Working in the Department of Computer Science, you will join our Foundations of Computation (FOX) Group. Its research topics range from the theoretical mathematical foundations that underpin computer science to their applications in real world contexts.
For more information, see https://www.jobs.ac.uk/job/DHG612/lecturer-senior-lecturer-in-algorithms. -
(New) Post-doc at IRIF in topology/algebra/categories and logic, Paris (France)
Deadline: Friday 17 May 2024A 12-month post-doctoral position in topology, algebra, categories and logic is available at the CNRS, located at the research institute IRIF of CNRS and Université Paris Cité. Expected start date: 1 September 2024 (negotiable). The position is financed by the ANR (French National Research Agency) project Topology for Types and Terms, coordinated by Sam van Gool. Any candidate with a PhD in mathematics or computer science and a scientific interest in the project's topics is encouraged to apply.
For more information, see https://emploi.cnrs.fr/Offres/CDD/UMR8243-OMUAVC-005/Default.aspx?lang=EN or contact Sam van Gool at vangool at irif.fr. -
Postdoctoral Fellowship in Logic, Epistemology or Philosophy of Science, Turin (Italy)
Deadline: Monday 13 May 2024The Department of Philosophy and Education at the University of Turin (Italy) invites applications for a Postdoctoral Fellowship (AOS: Logic, Epistemology, Philosophy of Science), funded by the PRIN PNRR project Controlling and utilizing uncertainty in the health sciences, coordinated by Alexander Gebharter (Ancona) and Lorenzo Rossi (Turin).
The project focuses on the application of formal tools (including modal logics, Bayesian epistemology, decision theory, and more) to the analysis of uncertainty in scientific results and decision making, especially in the health sciences. The scope of the project, however, is rather broad, and we welcome candidates with a wide variety of research backgrounds and areas of expertise. The postdoctoral fellowship will last for 16 months.
For more information, see https://bandi.mur.gov.it/bandi.php/public/fellowship/id_fellow/264815 or contact lo.rossi at unito.it.