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
PhD candidate in Philosophy of Language and SemanticsDeadline: Monday 15 January 2018
The ILLC is looking to fill one PhD position in Philosophy of Language and Semantics within the project EXPRESS: From the Expression of Disagreement to New Foundations for Expressivist Semantics. This is a five-year project funded by a European Research Council (ERC) Starting Grant and led by Dr Luca Incurvati (Principal Investigator). The project aims to develop a novel theory and logic of the way disagreement is expressed in dialogue. This theory will then be used to establish a novel approach to natural language semantics, inferential expressivism.For more information, see here or at www.uva.nl/en/content/vacancies/2017/11/17-577-phd-candidate-in-philosophy-of-language-and-semantics.html or contact Luca Incurvati at L.Incurvati at uva.nl.
Open positions, general
(New) Postdoc in Economics and Computation, Rensselaer Polytechnic Institute, NYDeadline: Thursday 1 March 2018
Applications are invited for a 2-year postdoc position in Economics and Computation at the Computer Science Department of Rensselaer Polytechnic Institute (RPI), Troy, NY, in the research group of Prof. Lirong Xia.
(New) Postdoctoral position in philosophical logic, Helsinki (Finland)Deadline: Monday 15 January 2018
There is an opening of a Post-Doc position for one year, renewable for a second year, within the Academy of Finland project "Modalities and conditionals: systematic and historical studies" directed by Sara Negri at the Philosophy Unit of the University of Helsinki.
The proposed research belongs to philosophical logic, a core area of theoretical philosophy. The main objectives of the proposal are the application and further development of a novel logical methodology for the study of the inferential aspect of modalities and conditionals and the study of the sources of related modal concepts in European philosophy. The ideal candidate is expected to have a strong background in modal logic, epistemic logic and proof theory, research experience with labelled deductive systems, and a strong motivation for collaborative work with the PI on the project's specific themes.
(New) Postdoctoral position in logic ("Reflection & Truth"), Gothenburg (Sweden)Deadline: Monday 8 January 2018
The Department of Philosophy, Linguistics and Theory of Science at University of Gothenburg is advertising a Postdoc position in Logic. The position is full-time for two years, starting Spring 2018. The successful applicant will be employed on the project Reflection and Truth, led by Graham Emil Leigh. This project investigates the philosophical, mathematical and computational properties of reflection principles and formal truth through a cross-disciplinary research team.For more information, see www.gu.se/english/about_the_university/job-opportunities/vacancies-details.
(New) PhD student positions in computer science ("logic for agents"), Nottingham (England)Deadline: Sunday 11 March 2018
There are 10 PhD positions available for UK and international students at the School of Computer Science, University of Nottingham. If you are interested in doing a PhD in logics for agents, agent theories and architectures, agent programming languages, verification and synthesis of agent programs and controllers for multi-agent systems, please contact Natasha.Alechina at nottingham.ac.uk or Brian.Logan at nottingham.ac.uk.For more information, see www.jobs.ac.uk/job/BFY936/10-fully-funded-phd-studentships.
PhD studentship in applications of logic & category theoryLocation: London, England
Applications are invited for a fully-funded PhD studentship at University College London under the supervision of Fabio Zanasi, for a project on the applications of logic and category theory to the semantics of non-classical computational models (probabilistic, quantum, concurrenct, cyber-physical, ?). Starting date can be negotiated (February to September 2018).For more information, see www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/#c30886 or contact Fabio Zanasi at f.zanasi at ucl.ac.uk.
PhD Scholarship available at University College London, UK, on categorical approaches to non-classical computation
A fully-funded PhD position is available at University College London for a project on the applications of logic and category theory to the semantics of non-classical computational models (probabilistic, quantum, concurrenct, cyber-physical, …). Starting date can be negotiated (February to September 2018).For more information, see www.cs.ucl.ac.uk/prospective_students/phd_programme/funded_scholarships/#c30886 or contact Fabio Zanasi at f.zanasi at ucl.ac.uk.
PhD student positions in homotopy type theory, Pittsburgh PA (U.S.A.)Deadline: Tuesday 2 January 2018
The Pure and Applied Logic PhD program at CMU has positions open in the coming academic year 2018-19. The Homotopy Type Theory research group has positions open incoming PhD students interested in doing research in type theory, homotopy theory, (higher) category theory, and related areas. The department also has a research group focused on interactive theorem proving, formal verification, and formalization of mathematics, centered on the Lean Theorem Prover.For more information, see www.cmu.edu/dietrich/philosophy/graduate/phd/pure-and-applied-logic or contact Steve Awodey at awodey at cmu.edu, or Jeremy Avigad at avigad at cmu.edu.
PhD studentship on "The ethics of AI", Oxford (U.K.)Location: Oxford, EnglandDeadline: Friday 19 January 2018
Applications are invited for a three-year doctoral studentship on The Ethics of AI: Challenges and Opportunities. The studentship will commence in October 2018.
Eligible candidates will need to qualify for UK or EU fee status and be ordinarily resident in the UK or EU. The successful candidate will investigate the ethical aspects, requirements, and desiderata underpinning the design and development of AI, and develop original and innovative research to foster value-based and ethically sound solutions to the problems posed by AI. The student will be supervised by Prof. Luciano Floridi and Dr Mariarosaria Taddeo, and will be a member of, and collaborate with, the OII's Digital Ethics Lab (DELab).The studentship is supported by funding donated by Google.For more information, see www.oii.ox.ac.uk/people/new-positions/#doctoral-studentship-the-ethics-of-ai-challenges-and-opportunities or contact Laura Maynard at teaching at oii.ox.ac.uk.
(Senior) Lectureship in Artificial Intelligence, London (England)Deadline: Monday 18 December 2017
The Department of Computing at Imperial College London, UK, invites applications for full-time faculty members at the Lecturer/Senior Lecturer level, comparable to tenure-track Assistant/Associate Professor, who can contribute in particular to research and teaching in Artificial Intelligence (including autonomous systems, multi-agent systems, knowledge representation and reasoning, logic-based AI, planning and natural language processing).
Tenure-track position in Computer Science, New York City NY (U.S.A.)Deadline: Saturday 20 January 2018
Lehman College of The City University of New York invites applications at all levels for a computer science faculty position beginning in Fall 2018. Outstanding candidates from all areas of computer science will be considered, but those working in the following research areas are particularly encouraged to apply: machine learning, robotics, networks, security, data center-scale computing, and cyber-physical systems. The successful candidate will be expected to pursue an active, externally funded research program and to perform high-quality undergraduate teaching and mentoring.For more information, see home.cunyfirst.cuny.edu/psp/cnyepprd/GUEST/HRMS/c/HRS_HRAM.HRS_CE.GBL or contact Recruiting at lehman.cuny.edu.
PhD student position in Artificial Intelligence (computational models of strategic behaviour), Warwick (England)Deadline: Tuesday 16 January 2018
We are seeking expressions of interest from candidates interested in pursuing a PhD at the University of Warwick in the topic of Artificial Intelligence, with particular emphasis on computational models of strategic behaviour in multi-agent interaction.
The research will be in mathematical modelling and analysis of strategic behaviour for distributed Artificial Intelligence. Desirable research directions include, but are not limited to, strategic reasoning in complex games, protocols for collective decision-making, mechanism design for electronic commerce. The research will be supervised by Dr Paolo Turrini.
Associate / Full Professorship in Philosophy of Science & Technology, Munich (Germany)Deadline: Thursday 11 January 2018
The Technical University of Munich (TUM) invites applications for the position of Associate Professor or Full Professor in Philosophy of Science and Technology to begin in summer semester 2018. The position is a tenured W3 position.
The professorship belongs to the TUM School of Governance (GOV) and will be affiliated with the Integrative Research Center (IRC) Munich Center for Technology in Society (MCTS). The TUM School of Governance focuses its research and teaching on the interaction between politics, society and technology, for instance to integrate future technologies into the political dialogue and decision-making. The MCTS is representing a cross-faculty integrative research center focusing its activities in interdisciplinary research, teaching, outreach, on the interface between science, technology and society.For more information, see portal.mytum.de/jobs/professuren/NewsArticle_20170926_141845.
Two PhD student positions in formal verification, Columbia MO (U.S.A.)Deadline: Thursday 11 January 2018
Two funded Ph.D. positions are available from Spring/Fall 2018 in EECS department at the University of Missouri, Columbia, USA under the supervision of Dr. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems (target application domain: aerospace, automotive and smart-energy).
PhD Studentship in Verification of Security and Privacy in Modern Threat Landscapes, Guildford (England)Deadline: Sunday 31 December 2017
Formalism and (semi)-automatic tools based on non-classical logics, for the verification of systems’ security and privacy in modern threat landscapes.
Duration of studentship: 3 years. The student will be registered with University of Surrey and join a team of researchers at Surrey Centre for Cyber Security, and will be supervised by Dr. Ioana Boureanu , in collaboration with Prof. Steve Schneider.For more information, see jobs.surrey.ac.uk/vacancy.aspx.
Postdoctoral and PhD student positions in applying formal verification to new biological computing devices, Ramat Gan (Isral)Deadline: Monday 1 January 2018
We invite students and postdocs to join a research program on applying formal verification and programming languages methods towards designing new biological computing devices, aimed to solve complex computational problems efficiently and investigate alternative computing technologies. The selected candidates will work with Dr. Hillel Kugler with opportunities to collaborate with several leading experimental groups in Europe that will be studying the development and design of the underlying methods and technology, as part of a 5-year European Project Bio4Comp.