News and Events: Open Positions

Als webprogrammeur werk je aan het ontwikkelen van online experimenten in de vorm van aantrekkelijke games, luisterexperimenten, vragenlijsten, en andere vormen van online onderzoek, ter ondersteuning van onderzoekers op het gebied van muziek en spraak. Daarnaast ben je verantwoordelijk voor het ontwikkelen en onderhouden van de vereiste privacyprotocollen en systemen voor research data management.

Je werkt nauw samen met collega’s van het ILLC op het gebied van muziek (Music Cognition Group en Amsterdam Music Lab) en van het ACLC op het gebied van spraak (Phonetic Sciences en UvA Speechlab).

Are you a passionate and committed researcher and well versed in cutting-edge computational social science approaches? Would you like to be involved in frontier research on large-scale network analysis and official register data and work with highly qualified researchers in an interdisciplinary academic environment? Effective immediately, we are seeking a postdoc in Computational Social Science. You will be part of the POPNET platform, and your position is hosted by the Faculty of Humanities. You will do your research under the aegis of the Institute for Logic, Language and Computation (ILLC). The ILLC is a renowned research institute at the University of Amsterdam, in which researchers from the Faculty of Humanities and the Faculty of Science collaborate.

As an ideal candidate for this position, you find yourself at home in the international computational social science research community. You have a well-developed skillset in scientific programming and an affinity with network analysis in particular. You are able to work with very large data and have the creativity and curiosity to develop new network measures and statistics. You are keenly aware of the ethical issues related to using large scale social register data and want to contribute to a responsible scholarly practice on big data analytics.

The Institute for Logic, Language and Computation (ILLC) is looking for an exceptional researcher in the area of Mathematical Logic to hold a one-year postdoctoral position within the project 'The Logic of Conceivability [LoC]. Modelling Rational Imagination With Non-Normal Modal Logics'. This is a 5-year project (2017-2022) funded with 2.000.000 Euros by the European Research Council, and led by Principal Investigator (PI) Prof. Franz Berto.

Do you have the ambition to carry out top academic research in Theoretical Computer Science at the Institute for Logic, Language, and Computation? Are you interested to work in our thriving interdisciplinary environment where you can establish connections to research lines in neighboring disciplines? Do you have the drive to teach theoretical computer science in our bachelor/master programmes?

We offer a position as assistant professor in Theoretical Computer Science at the Institute for Logic, Language and Computation (ILLC), an interdisciplinary research institute at the University of Amsterdam. The area of theoretical computer science comprises a broad variety of topics or subfields, including (but not restricted to) algorithms and computational complexity, program semantics and verification, logic and computation, machine models and automata, information theory, machine learning, and the foundations of artificial intelligence. You are a leading researcher in one of these areas, with a good knowledge of the wider area of theoretical computer science, and experienced in academic teaching.

At the University of Bremen in the department of mathematics and informatics there is a full PostDoc position available, commencing at the earliest convenience. The position is at the level of "Wissenschaftliche/r Mitarbeiter/in Entgeltgrupppe (13 TV-L)" within the group "Databases" headed by Prof. Sebastian Maneth. The position is for a duration of 3 years, with a possible prolongation of additional 2 years. This position is research only (= no teaching obligations) within a project that is funded by the DFG. The topic of the project is "definability of tree transformations".

We are looking for a post-doctoral researcher with an excellent track record in automata theory or formal language theory and with the will and enthusiasm to crack these hard problems.

The Logic and AI group at the University of Bergen in Norway has a vacancy for an Associate Professor (permanent tenured position).
We are looking for (but are not limited to) a colleague who does research in multi-agent systems, information aggregation, machine ethics, social network analysis, and/or formal argumentation. The position is also open for excellent applicants with other AI perspectives focussing on social interaction.

The position is teaching/research. At our department Associate Professors typically teach one course in the semester. The new colleague will be a part of the new bachelor-program in artificial intelligence that the Department will offer in Autumn 2021.

The Logic and AI group at the University of Bergen in Norway has a vacancy for a doctoral candidate.

The appointment is for four years with 25% of the total appointment time is a duty to be performed at the department, typically as a teaching assistant. The working language is English. The topic of the thesis is proposed by the candidate when applying. We are looking for (but are not limited to) project in machine ethics, autonomous systems, explainability, fairness, automated audit of accountability, or ethical impact of automated decision-making processes.

We are looking for applicants that hold a master's degree in information science, informatics, cognitive science, logic, or equivalent
Required is a documented background in at least one of the areas (not in order of relevance):
- machine learning
- logical programming
- formal argumentation
- deontic / normative reasoning
- decision theory
- formal verification
- moral philosophy
- differential privacy
A course the candidate has taken or a project the candidate has completed counts as documented background. Experience from scientific work is an advantage.

The Computer Science Department at the University of Rochester seeks applicants for tenure-track faculty positions. Candidates must have (or be about to receive) a doctorate in computer science or a related discipline. We are particularly eager to hire in theory, security/privacy/cryptography, quantum computing, data management, natural language processing, and machine learning, but candidates in all areas of computer science and at any level of seniority are encouraged to apply: we are always on the lookout for unique opportunities and synergies.

Dr. Konstantin Genin, leader of the independent research group "Epistemology and Ethics of Machine Learning" in the Cluster of Excellence -- "Machine Learning for Science" at the University of Tübingen advertises 1 Postdoc and 1-2 PhD positions. Students and researchers interested in the intersection of philosophical and methodological questions in statistics, machine learning, artificial intelligence and the medical and social sciences are encouraged to apply

Applications are due December 18th and decisions should be made by mid-January. Ideally, accepted candidates would join the research group March of 2021.

For details on the PhD and Postdoc positions, see:
https://uni-tuebingen.de/universitaet/stellenangebote/newsfullview-stellenangebote/article/phd-students-m-f-d-e-13-tv-l-65/
https://uni-tuebingen.de/universitaet/stellenangebote/newsfullview-stellenangebote/article/postdoc-position-m-f-d-tv-l-e13-100/

Two three-years PhD positions*(65%, 13 TV-L) in Theoretical Political Science and in Philosophy are available at the University of Bamberg and the University of Bayreuth.

The positions will be affiliated with the Chair of Theoretical Political Science (Prof. Dr. Johannes Marx) at the Otto-Friedrich-Universität Bamberg or the Chair of Philosophy I (Prof. Dr. Olivier Roy) at the University of Bayreuth, as part of the research project "Simulating Collective Agency" (SColA), funded by the Deutsche Forschungsgemeinschaft.

There are two Research Fellow positions available at UCL's Programming Principles, Logic, and Verification group, to be associated with the UK EPSRC-funded IRIS project, Interface Reasoning for Interacting Systems. The positions are available for 12 months initially, with possible extension to 36 months. The closing date is 11 December.

The first position is a post in logic, to work in the areas of a) the semantics and proof theory of modal and substructural logics, b) program and systems verification, and c) modelling and reasoning about distributed and multi-agent systems. The post will involve collaboration with Didier Galmiche's group at Nancy. Details at https://www.jobs.ac.uk/job/CCK032/research-fellow-in-programming-principles-logic-and- verification

The second position is a post in systems security modelling, with expertise in these areas: a) experience and expertise in modelling or simulation, b) good technical understanding of systems and networks, and c) familiarity with computer security and organizational security policy. The post will involve collaboration with HP Labs and BT, and will be jointly supervised by Dr. Tristan Caulfield. Details at https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modelling

The interdisciplinary Research Training Group "Situated Cognition", funded by the DFG and based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum (Speaker Prof. Dr. Albert Newen) as well as at the Institute of Cognitive Science, the Department of Philosophy and the Institute of Psychology at Osnabrück University (Speaker Prof. Dr. Achim Stephan) invites applications for 1 PhD position in Philosophy (salary scale TV-L E 13, 65%; including social benefits), within a three-year structured PhD program, starting on February 1st, 2021 or shortly afterwards.

Project Description: Non-Symbolic Representation in Situated Cognition. Describing Sensorimotor Representations via Embodied Similarity Spaces. Project Leader: Peter Brössel.

Candidates applying for this theoretical project are expected to have an excellent M.A., M.Sc. (or Staatsexamen degree) in Philosophy. They should have expertise in at least one of the following areas: Epistemology, Philosophy of Perception, Philosophy of Mind or Science, Philosophy of Language. Appreciated are experiences in formal epistemology.

The Max Planck Institute for Demographic Research (MPIDR) is recruiting highly qualified Post-Docs/Research Scientists, at various levels of seniority, to join the Lab of Digital and Computational Demography.

Submissions are welcome for one postdoctoral position in mathematical logic within the joint research project "Proof and Model Theory of Intuitionistic Temporal Logic".

Interested parties may send their application to David.FernandezDuque at UGent.be by **24 November 2020**, consisting of letter of motivation, full CV, name and e-mail address of two or three references, and PhD diploma (to be handed in before January 1st 2021).

The Philosophy Department at the University of Edinburgh invites applications to our PhD programme for September 2021 entry. We welcome research proposals of outstanding quality in any area of philosophy.

Our department is known for excellence in research and consists of over 35 full-time faculty members and a lively community of postdocs and postgraduate students. We're ranked 6th in the UK and 20th in the world for philosophy (QS World University Rankings by subject 2020), focusing on a wide range of topics, with particular strengths in: Ethics & Political Philosophy, Mind & Cognition,  Epistemology, Logic & Language, Philosophy of Science, and History of philosophy.

The Amsterdam ELLIS unit is seeking a postdoctoral scholar who is interested in doing excellent research in AI and in collaborating with people to build a top tier research unit. To increase diversity in the department, we especially encourage female candidates or candidates from other minority groups to apply.

Applications are invited for a PhD position at the Intelligent Systems group, Department of Information and Computing Sciences, Utrecht University, in the general area of formal modelling of intelligent agents and multi-agent systems, supervised by Prof. Mehdi Dastani and/or Dr Natasha Alechina, possibly jointly with other researchers at Utrecht. Possible topics include, but are not limited to: formal modelling of social systems, synthesis of norms for social systems, verification of learned strategies, verification and synthesis of strategies in multi-agent systems under resource constraints. We are looking for candidates with a good background in modal or temporal logic, understanding of basic AI concepts and techniques (intelligent agents, planning, learning) and some computational background (such as ability to analyse correctness and complexity of algorithms).

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.