News and Events: Open Positions
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.
Headlines Open positions at ILLC
Headlines Open positions, general
Open positions at ILLC
Assistant professor in Responsible and Ethical AIDeadline: Monday 15 June 2020
In 2019, the University of Amsterdam established a new Research Priority Area Human(e) AI, which synthesises ongoing work and stimulates new research at the UvA on the societal consequences of the rapid development of artificial intelligence (AI) and automated decision-making (ADM) in a wide variety of societal areas.
The position is placed within the Department of Philosophy in the capacity group Logic and Language and the candidate’s research will be part of the Institute for Language, Logic and Computation (ILLC) within the Faculty of Humanities. The ILLC enhances curiosity-driven research and serves as a rallying point for information scientists across traditional research fields.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2020/05/20-275-assistant-professor-in-responsible-and-ethical-ai.html or contact prof. Sonja Smets at S.J.L.Smets at uva.nl.
Open positions, general
Assistant Professorship in Human Nature & AI, Sapporo (Japan)Deadline: Monday 8 June 2020
The Center for Human Nature, Artificial Intelligence, and Neuroscience (CHAIN), Hokkaido University, in Hokkaido, Japan invites applications for a 3.5 year research and teaching position with an anticipated start date of September 1st, 2020. The successful applicant will be appointed as a faculty member at the rank of Specially Appointed Assistant Professor or Lecturer in CHAIN. Women and members of other underrepresented groups are particularly encouraged to apply.
CHAIN is a research and education center for interdisciplinary studies in the humanities, social sciences, neuroscience, and artificial intelligence. It aims to open up new directions of research into the nature of human existence by fostering interaction and collaboration between humanities and the social sciences, including philosophy, ethics, psychology (cognitive and social), law, and economics, and the natural sciences, such as neuroscience, AI, and cognitive science. In particular, it focuses on connecting philosophical ideas with methods and insights of mathematical and empirical sciences. A new interdisciplinary graduate program of CHAIN starts in July 2020.
PhD student position in foundations of networks, Vienna (Austria)Deadline: Sunday 7 June 2020
The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors.
The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain.For more information, see http://www.vcla.at/2020/05/fully-funded-phd-in-networking-and-communication-technology-at-university-of-vienna/ or contact Prof. Stefan Schmid at stefan_schmid at univie.ac.at.
Twelve PhD student positions in Logical Methods in CS, Vienna/Graz/Linz (Austria)Deadline: Friday 12 June 2020
TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University) are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).
We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date. Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.
Postdoctoral position (2y) in logic and informatics, Grenoble (France)
We propose a two-years postdoctoral position at Grenoble Informatics Laboratory, France. The main topics concern logic, knowledge representation, multiagent systems and computational economics (auctions).For more information, see http://recherche.noiraudes.net/resources/202004-LIG-PostDoc.pdf.
Postdoctoral position (6y) in algorithms, Vienna (Austria)Deadline: Thursday 28 May 2020
The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms. Expected start: 1.10.2020 (negotiable).
- Completed doctoral study in Computer Science or a related area
- Excellent Knowledge in the field of algorithms and complexity
- Excellent publications in top-tier conferences and journals
- Very good communication skills and an interest in teaching
- Research experience in at least one of the following areas:
-- parameterized algorithms and complexity
-- algorithmic applications of graph decompositions
-- satisfiability and constraint satisfaction
- A good command of the German language is desirable
Tenure track research position on automation of formal reasoning, Prague (Czech Republic)Deadline: Friday 17 July 2020
The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal reasoning, such as formal verification/model checking, computer assisted proofs, intelligent computer mathematics, automated deduction, verified numerical computation, and automated planning/control/synthesis.For more information, see http://www.cs.cas.cz/job-offer/Tenure-Track-Position-Computer-Science-1/en.
Two PhD positions in Logic, Gothenburg (Sweden)Deadline: Monday 15 June 2020
The Department of Philosophy, Linguistics, and Theory of Science invites applications for two PhD positions in Logic. One position is available on the research project Modal mu-calculus: A study in descriptive complexity lead by Bahareh Afshari funded by the Swedish Research Council. The second position is open to all topics in mathematical, philosophical and computational logic within the expertise of the Logic Group.
* Duration: 4 years fully-funded, starting September 2020
* Deadline for applications: 15 June 2020For more information, see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5700 or contact Bahareh Afshari at bahareh.afshari at gu.se.
Postdoctoral position on expressive power of neural networks, Santiago (Chile)
The Millennium Institute for Foundational Research on Data (IMFD Chile) offers an open position for a postdoctoral researcher to advance the understanding of theoretical aspects of modern neural network architectures, more in particular, its expressive and computational power. The coordinators of this project are Professors Pablo Barceló and Jorge Pérez.
Candidates should hold a PhD in machine learning, statistics, or computer science, and have a strong publishing record in peer-reviewed journals and conferences in his/her area.For more information, see https://docs.google.com/document/d/1PyHp-MRAPWg_0aeinpDGmzJGZbwMtsqC6BqE_4T3KFc/edit?usp=sharing or contact prof. Pablo Barceló at pbarcelo at uc.cl.
Three doctoral and five post-doctoral positions on AI verification, Scotland (UK)Deadline: Monday 1 June 2020
Five postdoctoral and three PhD positions are available in the research project AISEC: AI Secure and Explainable by Construction, at Heriot-Watt, Edinburgh and Strathclyde Universities, Scotland, UK.
The project spans several subjects: type theory, automated and interactive theorem proving, security, AI and machine learning, autonomous systems, natural language processing and generation, legal aspects of AI. It will cover two main application areas: autonomous cars and chatbots, drawing from expertise and infrastructure provided by industrial partners working in these two areas. The project has a significant international span, with 12 partners from Academia and Industry in Europe (France, Germany, Israel, the Netherlands, Norway) and the US.
PhD position in Logic and Machine Learning, IRIT Toulouse, FranceDeadline: Saturday 30 May 2020
The interdisciplinary institute in artificial intelligence of Toulouse, named the Artificial and Natural Intelligence Toulouse Institute (ANITI), is one of four institutes spearheading research on AI in France. A program of 24 chairs is funded by ANITI. This includes the chair “Empowering Data-driven AI by Argumentation and Persuasion”. Emiliano Lorini, one of the members of the chair, is seeking a PhD student to work on the research project “Explaining Learning Agents”. The PhD thesis will start in September 2020 and will be funded on a three-year contract with net salary of 2600€ per month with some teaching (64 hours per year on average). The application deadline for full consideration is May 30th, 2020.
10 PostDoc positions in Mathematics/Artificial Intelligence (Novosibirsk, Russia)Deadline: Sunday 31 May 2020
The Mathematical Center in Akademgorodok has 10 postdoctoral research fellowships available in Mathematics, Mathematical Physics, Computer Science, and related fields. Candidates with background in Mathematics/Computer Science/Artificial Intelligence are welcome, which have a strong research record in at least one of the following fields:
* Knowledge Representation
* Automated Reasoning
* Semantic Technologies
* Data Mining & Machine Learning
* Uncertainty in AI
* Automated Planning & Scheduling
* Constraint Satisfaction
Teaching duty is minimal, successful applicants are expected to give lectures on the research topics they specialize in.
PhD student and postdoctoral positions in logic & computation, Vienna (Austria)Deadline: Thursday 28 May 2020
PhD and PostDoc positions are available at the Database and Artificial Intelligence Group at the Institute of Logic and Computation (TU Wien, Austria). We invite highly motivated applicants interested both in the theory and practice of Description Logics, Rule-based Languages, Semantic Web, Reasoning about Actions and Change, Databases, and/or Artificial Intelligence.
PhD students would join the LogiCS doctoral program, which offers top research expertise, and a stimulating and supportive environment.For more information, see http://www.simkus.info/wp-content/uploads/project-jobs.pdf or contact Mantas Simkus at simkus at dbai.tuwien.ac.at.
Postdoctoral position in philosophical logic, Los Angeles CA (U.S.A.)Deadline: Tuesday 1 December 2020
The UCLA Department of Philosophy is offering a one year (with the possibility of a one-year renewal) post-doctoral research fellowship to a recent Ph.D. in philosophy whose primary area of research lies in logic, language, or mind. One or two postdoctoral fellowships will be available depending on funding, and the post-docs are for one-year with the possibility of a one-year renewal. The position will coincide with a research cycle of workshops, conferences, and visitors in these areas made possible by a recent gift to the department.For more information, see https://philjobs.org/job/show/14102.