The Faculty of Humanities invites applications for a PhD position at the Institute for Logic, Language and Computation (ILLC), tenable from 1 September 2021.

What are you going to do?

Tasks will include:

completion and defence of a PhD thesis within the contract period; regular presentation of intermediate research results at workshops and conferences; publication of results in journals and/or conference proceedings; participation in the Faculty of Humanities PhD training programme / the soft skills courses offered by the ILLC PhD Programme;; participation in the organisation of research activities and events at ILLC, such as conferences, workshops and joint publications; teaching courses at BA-level and/or teaching assistant in Master courses in the 2nd and 3rd year of the contract (0,2 FTE per year).

Are you looking for a PhD position where you can combine insights from machine learning and cognitive science? Are you interested in improving and better understanding artificial intelligence systems for natural language processing? If you are excited about doing this kind of research in an interdisciplinary environment, with a team of smart and friendly colleagues, then you may want to join us at the Institute for Logic, Language and Computation (ILLC).

The University of Amsterdam’s interdisciplinary Research Priority Area Humane AI is looking for 3 postdoctoral researchers in the areas of law, social sciences and humanities. The overarching goal of these positions is to develop insights and principles for responsible and human-centric AI from a Social Science-Humanities (SSH) perspective: How can SSH research contribute to responsible AI, e.g. in sectors like media, culture/language or justice; what are the contextual socio-economic circumstances that need to be fulfilled for really responsible AI?; what is irresponsible AI? What is the role of human behaviour, law and ethics in creating the framework conditions for responsible AI?

The ENCODE project seeks to study existing formal models of deliberation and develop new ones, in order to get a better understanding of the complex interactions that take place when people exchange their arguments and revise their position. The emphasis will be on philosophical logic, but we will also consider agent-based models of deliberation and decision-theoretic accounts.

The PhD candidate will be jointly supervised by Dr. Frederik Van De Putte and Prof. Dr. Jack Vromen. The candidate's primary responsibility will be to conduct research and write a PhD thesis. The candidate should also contribute to the ENCODE Project in other ways, such as by giving scholarly presentations and co-organizing reading groups and workshops. Furthermore, the PhD candidate will become part of a large and diverse community of PhD candidates, and is expected to contribute as a junior lecturer to the Erasmus School of Philosophy?s (ESPhil) educational programme. The position preferably starts on September 1st , 2021, but the very latest on December 1st, 2021 and lasts for a maximum of four years.

We are looking for a PhD student and postdoc to help us develop hybrid models (logic + machine learning) of natural language reasoning.

The team will be based in the Institute of Mathematics, Polish Academy of Sciences, Warsaw. Regular research visits to Amsterdam are a part of the plan.

For more information, see:
https://www.impan.pl/wydarzenia/konkursy/2021/phd_mmalicki-grant.pdf
https://www.impan.pl/wydarzenia/konkursy/2021/post-doc_mmalicki-grant.pdf

The Munich Center for Mathematical Philosophy (MCMP) and the Chair of Philosophy of Science at the Faculty of Philosophy, Philosophy of Science and Study of Religion at LMU Munich seek applications for a 3-year postdoctoral position. The successful candidate has a background in artificial intelligence, cognitive science, computer science, mathematical social science, mathematical philosophy or statistics with an expertise in machine learning and big data and will work on the project "The Bayesian Approach to Robust Argumentation Machines". The project is funded by the German Research Council (DFG) within the interdisciplinary priority program "Robust Argumentation Machines" and conducted together with the group of Prof. Ulrike Hahn at Birkbeck College.

To strengthen its research capacity in newly emerging research fields in theoretical philosophy, the Department of Philosophy and Religious Studies at Utrecht University is currently looking for a PhD candidate in one of the following areas:

* Philosophical logic and philosophy of logic
* Formal logic modelling and cognitive science
* Neuro-symbolic AI, ethics and knowledge representation
* Mathematical logic and philosophy of mathematics
* Social epistemology, post truth and AI
* Game theory, norms and simulation of social interactions

The PhD position (4 years) is independent of any overarching research project and is funded by the Department of Philosophy and Religious Studies at Utrecht University. We ask prospective candidates to write a brief proposal fitting in with one of these themes.

The Tsinghua University - University of Amsterdam Joint Research Centre for Logic is looking for a postdoc in the field of logic, who can substantially contribute to research and teaching of the logic group in the department of philosophy. In research, the specific research topic will depend on the candidate's expertise. As regards teaching, the position imposes no obligation of teaching, but a broad and strong teaching competence will be very helpful.

Applicants must fulfill the following requirements: applicants must be under 35 years old; their PhD degree must have been obtained within the last three years, and fresh graduates are given priority in consideration; they must be recommended by the interview of the department; they must undertake to work full time at Tsinghua University after entering Tsinghua University. Candidates will be reviewed in terms of their academic ability, their research plan, and the potential effect on the subject field, in addition to related overall factors.

We invite highly motivated applicants interested in carrying out foundational and/or applied research in knowledge representation, ontologies, and machine learning. The starting date can be in July or in December 2021.

The Ph.D. positions are fully funded for 3 years and can be extended by one more year through 25% of teaching activities during the Ph.D. studies. Additional funding is available for travel.

The Centre for Philosophical Psychology and the Department of Philosophy in the Faculty of Arts have the following full-time vacancy: Senior academic staff in the field of philosophical psychology. You will contribute to the University of Antwerp’s three core tasks: education (40%), research (40%) and services (20%). Your role also includes organisational and managerial aspects.

The Department of Computer Science and Engineering at the University of California, Santa Cruz (UCSC) invites applications for two positions at the assistant level. We seek candidates with a strong background in Computer Science and Engineering, with a focus on Theoretical Computer Science. We are especially interested in candidates working in mathematical foundations of computing, analysis of algorithms, combinatorial optimization, and theoretical machine learning. We welcome researchers who apply theoretical and mathematical methods to various applied domains.

In the Koselleck project Reflexive Decision and Game Theoy of Prof. Dr. Wolfgang Spohn at the Department of Philosophy of the University of Konstanz a Research Position in Philosophy / Economics / Mathematics either as Ph.D. position for 3 years (part time 65% E13) or as a Postdoc position for 2 years (full time 100% E13) is to be filled at July 1, 2021, or at the earliest convenient date. An extension of this position is possible.

We seek excellent candidates for one four-year PhD scholarship on the
topics of message-passing concurrency, modal logic, and type systems. The PhD scholarship concerns the interdisciplinary project "Knowledge is Power: Reliable Communicating Software by Epistemic Logics",
supported by the Young Academy Groningen. Supervisors: Prof. Barteld Kooi and Prof. Jorge A. Pérez.

MECORE is a research project on formal semantics, jointly funded by the Arts and Humanities Research Council (AHRC) and the Deutsche Forschungsgemeinschaft (DFG). It will investigate the relation between semantic properties of clause-embedding predicates and their selectional properties, by combining cross-linguistic data-collection and experimental semantics with the development of unified theoretical analyses. It will run concurrently in Edinburgh, Konstanz, and Amsterdam. We are currently looking for two postdoctoral researchers to join the team.

DIMACS, the Center for Discrete Mathematics and Theoretical Computer Science, based at Rutgers University, invites applications for postdoctoral positions associated with the Center.

DIMACS solicits applications of two types:
a) DIMACS - Institute for Advanced Study (IAS) Postdoc. This is a two-year postdoctoral associateship with the first year (2021-2022) spent at DIMACS, and the second year (2022-2023) spent at IAS in Princeton. Applicants should be recent PhDs with interest in theoretical computer science and/or discrete mathematics.
b) DIMACS Postdoc. This is a one-year position based at DIMACS at Rutgers University, mentored by a faculty member at Rutgers or a DIMACS partner institution. Applicants should be recent PhD graduates in computer science, economics, information science, operations research, or a related field, preferably with a focus in TCS or AI.

The ETH chair for the History and Philosophy of Mathematical Sciences in the department for Humanities, Social and Political sciences offers up to 2 PhD positions in the history, philosophy or cultural studies of mathematical sciences under the supervision of Prof. Roy Wagner. The positions are for four years starting September 1st 2021 (or thereabout).

The Department of Philosophy of Saarland University is inviting applications for an Academic research assistant (m/f/x) working at the Department of Philosophy, Project "Explainable Intelligent Systems" (EIS), commencing as soon as possible.

You will begranted individual supervision for your PhD project. As member of the EIS team, you will be expected to engage in collaborative work with empirical researchers (e.g. from psychology, computer science, and law).You will also be responsible for supporting the junior professor for Philosophy of Mind and Cognitive Systems in organization and administration.

Employment period: until 31.03.2024, employment: 65% of standard working time.
Reference number W1831.

The Department of Philosophy at the University of Connecticut in Storrs invites applications for an Assistant Research Professor. This is a non-tenure track, full-time faculty appointment beginning August 23, 2021, with an expected duration of three years. The teaching load is one (1) course per semester.

The Area of Specialization for this position is Philosophical Logic, with a preferred additional Area of Specialization in Formal Epistemology, Philosophy of Mind (in particular, AI), Philosophy of Psychology, Cognitive Science, Philosophy of Science, Philosophy of Mathematics, or Philosophy of Language. The successful candidate is expected to participate in the Logic Group and to contribute to research, teaching, and modest service in the Philosophy Department.

A postdoctoral researcher is sought for a two-year position in computer science at Rice University to work with Professors Lydia Kavraki and Moshe Vardi on analysis techniques for deep neural networks (DNNs). This project aims at developing techniques for analysis of DNNs by combining methods from formal methods, cyber-physical systems, and robotics. We are seeking candidates who have demonstrated ability to lead and/or work collaboratively in teams comprised of individuals of diverse backgrounds, skills, and perspectives.

Applicants must hold a Ph.D. in Computer Science, Electrical & Computer Engineering, Robotics, or a related field. Required skills include excellent analytical skills, excellent software engineering skills, and excellent writing skills. Candidates with current expertise at the intersection of formal methods and robotics/cyber-physical systems will be given priority. This position is particularly suited for candidates who want to follow a career in academia.

The position is available immediately and applications will be accepted until this position is filled.