Universiteit van Amsterdam

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.

Sections

Headlines Open positions at ILLC

Headlines Open positions, general

Open positions at ILLC

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.

    For more information, see https://www.chain.hokudai.ac.jp/?lang=en or contact Shigeru Taguchi at .
  • 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.

  • 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.

    For more information, see https://logic-cs.at/phd/admission/ or contact .
  • 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).

  • 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).

    Requirements:
     - 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

    For more information, see https://www.ac.tuwien.ac.at/jobs/ or contact Stefan Szeider at .
  • 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.

     

  • 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 2020

  • 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.

  • 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, France

    Deadline: 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.

    For more information, see here or contact Emiliano Lorini at .
  • 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.

    For more information, see here or at https://english.nsu.ru/mca/jobs/ or contact Dr. Denis Ponomaryov at .
  • 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 .
  • 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.