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.
No Open positions at ILLC
Headlines Open positions, general
Open positions, general
(New) Two PhD Position in Formal Modelling of Multiagent Systems, Utrecht University (The Netherlands)Deadline: Monday 20 January 2020
Applications are invited for two PhD positions 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).For more information, contact Natasha Alechina at n.a.alechina at uu.nl.
(New) Tenure-track faculty position in AI, Rochester NY (U.S.A.)Deadline: Wednesday 1 January 2020
The Computer Science department at the University of Rochester is seeking a tenure-track faculty position in Artificial Intelligence, broadly defined. Candidates in all areas of computer science and at any level of seniority are encouraged to apply. The department is very open and encourages candidates with an interdisciplinary approach.
(New) Two research fellowships and one PhD studentship in verification, London (England)Deadline: Sunday 5 January 2020
Applications are invited for two Research Fellow/Senior Research Fellow positions (one position will be at University College London, and one at Royal Holloway University of London), and one PhD studentship (at UCL). Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project.
This is a joint research endeavour involving the Computer Science Departments of two UK's leading research-intensive universities -- University College London and Royal Holloway University of London -- and ARM, world-leading designer of multi-core chips. We are looking for candidates with experience in one or more of the following areas: model learning techniques, verification, concurrency, and formal methods. Experience in tool implementation will also be valued.
(New) Two faculty positions (any level) in all areas of Computer Science, London (England)Deadline: Wednesday 8 January 2020
The Department of Computing at Imperial College London invites applications for full-time faculty members at all levels who can contribute to research and teaching in the foundations and practice of Computer Science. Applications are welcome from from all areas of Computer Science, including AI, either to strengthen existing areas or develop new areas.
(New) PhD student positions in Logical Methods in Computer Science, Vienna/Graz/Linz (Austria)Deadline: Saturday 11 January 2020
TU Wien, TU Graz, and JKU Linz are seeking highly qualified candidates for our joint doctoral program Logical Methods in Computer Science (logiCS). The LogiCS doctoral college focuses on interdisciplinary research topics covering computational logic, and applications of logic to databases and artificial intelligence, computer-aided verification, security and privacy, cyber-physical systems, as well as to distributed systems.
Our PhD program LogiCS is focusing on logic and its applications in computer science. We are looking for 8 very strong doctoral students. 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.
(New) Lectureship B in Philosophy, Melbourne (Australia)Deadline: Sunday 2 February 2020
The Philosophy Program in the Department of Politics, Media, and Philosophy at La Trobe University is looking to appoint a Level B continuing Lecturer. The position is open with regards to area of specialisation.
Philosophy at La Trobe has a long and distinguished history of excellence, with many internationally prominent philosophers having worked at La Trobe. La Trobe has made strong hires in recent years aimed at renewing the Philosophy Program, with the ambition of returning the program in time to a 4 in ERA and continuing its legacy as one of the strongest and most innovative Philosophy programs in Australia. This appointment is part of the University's ongoing commitment to that process of renewal.For more information, see http://careers.pageuppeople.com/533/caw/en/job/558948/lecturer-in-philosophy.
Lectureship in Mathematical Philosophy, Sydney (Australia)Deadline: Wednesday 8 January 2020
The University of Sydney is currently advertising the position of Lecturer in Mathematical Philosophy. This is a full-time, continuing position at Level B (roughly equivalent to a tenure-track Assistant Professor in the U.S.).For more information, see https://sydney.nga.net.au/?jati=B2DFC1CB-B4F0-8409-EA6F-ADD29D6C261A.
Postdoctoral position in Decision-Making Theory, Prague (Czech Republic)Deadline: Tuesday 31 December 2019
The Institute of Information Theory and Automation, Czech Academy of Sciences invites applications for a two-year postdoctoral position in the Department of Decision-Making Theory (with a possibility of a tenure-track) ideally beginning in February 2020. Most of departmental research activities belong to the area of applied mathematics, the focus is on theoretical problems as well as problems connected with implementations of methods in the following areas: mathematical optimization, nonsmooth analysis, partial differential equations, variational calculus, probabilistic models of decision support systems, conditional independence structures, artificial intelligence, and/or mathematical fuzzy logic.
Candidates are expected to work in one of the above mentioned or closely-related areas and to have a strong record of, or outstanding potential for, significant research. In particular, candidates working in the last four listed areas are strongly encouraged to apply.
Thirteen PhD positions in Situated Cognition, Bochum/Osnabrück (Germany)Deadline: Monday 10 February 2020
This is a call for 13 PhD-positions starting on 1st of June 2020 as the key component of the Research Training Group „Situated Cognition“. The RTG is based at the Department of Philosophy II and the Faculty of Psychology at Ruhr-University Bochum as well as at the Institute of Cognitive Science and the Department of Philosophy at Osnabrück University.
All PhD positions are essentially interdisciplinary with an emphasis on one of the subjects involved, i.e. philosophical theory formation, experimental psychology or neuroscience. Applicants have to apply for one of the suggested projects (max. two with indication of preference). In addition, applicants are encouraged to submit their own original project proposal in one of the theoretical areas, as long as the proposal fits the RTG?s guiding idea.For more information, see https://situated-cognition.com/2019/11/20/call-for-phd-applications/ or contact rtg-situatedcognition at rub.de.
Visiting Fellowships in Logic & Philosophy of Science, Tilburg (The Netherlands)Deadline: Tuesday 7 January 2020
The Department of Philosophy at Tilburg University invites applications for visiting fellowships for the calendar year 2020. The fellowships are intended for advanced Ph.D. students, postdocs or junior faculty.
Applicants should be keen on being an active part of a lively research community and on intellectual exchange with the resident fellows at Tilburg. The planned work of the candidates should relate to one (or more) of the research areas covered by members of TiLPS or PHC&E research groups. TiLPS (The Tilburg Center for Logic and Philosophy of Science) and PHC&E (Philosophy of Humanity, Culture, and Ethics) sustain a full calendar of research events, such as regular seminars, workshops and conferences. The visiting fellows are expected to actively participate in these activities.For more information, see https://www.tilburguniversity.edu/research/institutes-and-research-groups/tilps/jobs-fellowships-and-grants or contact m.colombo at uvt.nl.
Postdoctoral fellowship (3y) in Philosophy of Maths, Bergen (Norway)Deadline: Monday 16 December 2019
The Philosophy Department at University of Bergen, Norway welcomes applications for a 3-year Postdoctoral Fellowship in the research project _Mathematics with a Human Face: Set Theory within a Naturalized Wittgensteinean Framework_. The project, within which the Wittgenstein Archives Bergen is a central component, is funded by the Norwegian Research Council. Project leaders are professors Sorin Bangu and Kevin Cahill.
The applicant must have a sound familiarity with the philosophy of later Wittgenstein, philosophy of mathematics and philosophy of language. Expertise in the philosophy of set theory, philosophy of mathematical practice, philosophy of science and/or anthropological aspects of mathematics constitute an advantage.For more information, see https://www.jobbnorge.no/en/available-jobs/job/177983/postdoctoral-fellowship-in-philosophy.
PhD student position in formal verification, Heerlen (The Netherlands)
The Open University of the Netherlands is looking for a PhD student, who will work on formal verification of low-level security properties of compiled binaries. The position is fully funded (4 years). Remuneration is according to the collective labor agreement in the Netherlands, starting at 2325 eur (pre-tax).
For more information & applications (cover letter+CV) address to fvb at ou.nl. The position will remain open until fulfilled.For more information, contact fvb at ou.nl.
Simons-Berkeley Research Fellowships for 2020-2021Deadline: Sunday 15 December 2019
The Simons Institute for the Theory of Computing invites applications for Simons-Berkeley Research Fellowships for the Fall 2020 and Spring 2021 semesters. Simons-Berkeley Research Fellowships are intended for up-and-coming researchers who are getting close to defending their PhD degree or are at most 6 years past it at the start of the academic year 2020-21. This includes researchers who already hold junior faculty or postdoctoral positions. In particular, applicants who expect to have postdoc positions at other institutions are encouraged to apply to spend one semester as a Simons-Berkeley Fellow, subject to the approval of the home institution.
In each semester of residence, each Fellow will normally participate in at least one of the ongoing programs at the Institute. We wish to highlight the semester program "Satisfiability: Theory, Practice, and Beyond", which will run in the spring of 2021 in parallel with "Theoretical Foundations of Computer Systems".
Postdoctoral position in formal methods, Gothenburg (Sweden)Deadline: Friday 21 February 2020
A postdoc position is available to work on the ERC Consolidator funded project "dSynMA: Distributed Synthesis from Single to Multiple Agents".
The aims of the project are to develop theoretical foundations that will enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of temporal logic.For more information, see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=5061.
PhD Positions at Institute of Science and Technology Austria (IST Austria)Deadline: Wednesday 8 January 2020
IST Austria offers fully-funded PhD positions in the natural and mathematical sciences in a world-class research environment on the outskirts of Vienna. Students with a bachelor’s or master’s degree in biology, neuroscience, mathematics, computer science, physics, cryptography and related areas are encouraged to apply. IST Austria offers internationally competitive salaries, full health benefits, and subsidized on-campus housing in the first year.
IST Austria organizes a Student Open Day on Friday, November 22nd 2019, where applicants will get the chance to meet the research groups through lab tours and “Meet the Research Group” sessions, organized by our professors, PhD students, and postdocs. You can also discover the campus through a campus tour and learn about the history and future of IST Austria.
Fully funded 5-year PhD in Cognitive Science at ENS in ParisDeadline: Tuesday 10 December 2019
The Department of Cognitive Studies (DEC) at Ecole Normale Supérieure is inviting applications for its graduate programs in cognitive science. Our training offer includes: a fully-funded 5-year PhD program and a fully-funded extended 3-year Masters program (which can be followed by a 3-year doctoral grant at ENS or elsewhere in France, conditioned on a mid-term evaluation).For more information, see here or at http://www.ens.fr/en/academics/admissions/international-selection.
Research Fellowship in Mathematical Logic and TCS, Singapore (Singapore)
The researchers Frank Stephan, Yang Yue and Sanjay Jain at the National University of Singapore want to hire on their grant "Effective representations of algebraic structures" one research fellow in the areas of Mathematical Logic and Theoretical Computer Science. The candidate will do mathematical research in the areas of recursion theory, inductive inference, model theory and effective algebra; the applicant is expected do research and write papers inline with the research programme approved by the MOE for these positions. The applicant should also be able to present the results found at scientific conferences.
Job requirements: Good knowledge of mathematics in general and the research areas above in particular. Prior publications and a PhD in mathematical logic or theoretical computer science are expected. The applicant should know at least some of the research areas of recursion theory, inductive inference, model theory and effective algebra and should be able to work in new areas of research.The applicant should have at least 3 years of experience in research; research done as masters or PhD student counts towards this requirement.For more information, see http://www.comp.nus.edu.sg/~fstephan/rfposition.html or contact Frank Stephan at fstephan at comp.nus.edu.sg, Yang Yue at matyangy at nus.edu.sg, or Sanjay Jain at sanjay at comp.nus.edu.sg.
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.
Assistant Professorship in Foundations of Mathematics, Las Cruces NM (U.S.A.)Deadline: Sunday 15 December 2019
The Department of Mathematical Sciences at New Mexico State University invites applicants for a tenure-track faculty appointment to be filled at the Assistant Professor level beginning August, 2020. The position will support research and teaching needs in the department, with research focus in Foundations of Mathematics. Individuals interested in contributing to a diverse academic community are particularly encouraged.
Candidates must have a Ph.D. in Mathematics or related area prior to August, 2020 and are expected to demonstrate outstanding research potential, excellent communication skills, and a commitment to excellence in teaching at both the graduate and undergraduate levels. Expected duties include graduate and undergraduate teaching, sustained research, supervision of graduate students, submission of competitive external funding proposals, and some university service.For more information, see https://www.mathjobs.org/jobs?joblist--14675.
PhD student position in Computer Science Logic, Liverpool (England)
The Knowledge Representation and Verification Groups at the Department of Computer Science, University of Liverpool, jointly offer a PhD Scholarship for work at the intersection Logic, Knowledge Representation, and Databases.
The PhD student will be supervised by Professors Frank Wolter and Boris Konev and Dr Martin Zimmermann and will closely collaborate with Postdoctoral Researchers working on the new EPSRC-funded research project 'quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data', a joint project with Professor Michael Zakharyaschev at University of London. The PhD student on this project will have a good background in one of the following areas: computational logic, mathematical logic, databases, or knowledge representation and reasoning.For more information, see https://www.liverpool.ac.uk/study/postgraduate-research/studentships/ontology-based-data-management/ or contact Frank Wolter at wolter at liverpool.ac.uk, or Martin Zimmermann at Martin.Zimmermann at liverpool.ac.uk.
Two postdoctoral positions (3y) in Semantics & Descriptive Complexity, Oxford & Cambridge (England)Deadline: Wednesday 8 January 2020
There are two post-doctoral research positions open, one at Oxford and one at Cambridge, to work on a new EPSRC-funded project on "Resources and co-Resources: A junction between semantics and descriptive complexity" which is jointly led by Prof. Samson Abramsky FRS at Oxford, and Prof. Anuj Dawar at the University of Cambridge. The positions are available to start as soon as possible, and are funded for 36 months.
The project seeks to explore ways in which methods from the study of logic and algorithms (specifically finite model theory and descriptive complexity) can be combined with methods from semantics (such as category theory) to build a cohesive algebraic theory of resources. This builds on recent work obtaining categorical accounts of essential constructions in finite model theory (by Abramsky, Dawar and Wang and Abramsky and Shah), as well as categorical accounts of quantum resources (by Abramsky, Barbosa, de Silva and Zapata). This work made essential use of monads -- seen as encapsulating quantum and other resources -- and of comonads, which encapsulate 'coresources', i.e. ways of limiting access to a structure corresponding to definability in various logics. The project will seek to apply these new tools to major results in descriptive complexity, to expand them to cover other important constructions, to find ways of combining accounts of quantum resources and logical co-resources, and to build a general theory of these.
There are separate application processes for applying for the two positions. Details of these and further information may be found at these webpages: http://www.cs.ox.ac.uk/news/1735-full.html http://www.jobs.cam.ac.uk/job/23436/. For further questions or enquiries, contact samson.abramsky at cs.ox.ac.uk or anuj.dawar at cl.cam.ac.uk.
Postdoctoral teaching position in "Critical Thinking for Engineers", Delft (The Netherlands)Deadline: Tuesday 7 January 2020
The Ethics and Philosophy of Technology Section at Delft University of Technology is currently developing a "Critical Thinking for Engineers program" (CTfE) within the context of the 4TU.CEE. To achieve the project goals, we are looking for a FULLTIME POSTDOC for TWO YEARS who combines thorough knowledge in argumentation theory with inside acquaintance with (at least one branch of) engineering and technology. S/he should be inspired by the specific niche CTfE occupies within the field of Critical Thinking in general.
The project aims at elaborating CTfE cases; i.e., developing sound argumentation in favor or against descriptive or normative engineering claims. It also aims at an inventory of the CTfE needs and wishes at the Dutch Technical Universities; and it also aims at an analysis of the overlap between engineering ethics and CTfE. The education goals of this project are: ready-made course material that meets the needs of teachers at the four Dutch Universities of Technology. This material should consist of: adjustable lecture sheets for adaptable CTfE courses; accompanying lecture notes or a textbook manuscript (outlines of the sheets and notes have been developed already); elaborated cases from all branches of engineering, serving the purpose of illustration and exercise or assignment; modules for blended learning; multiple choice exam questions and other examination material on paper and online.
The Postdoc to be appointed will contribute to all these tasks in close collaboration with other staff and student assistants and will start in January, 1st, 2020.
Postdoctoral position in Mathematical Logic & Mathematical Statistics, Toronto (Canada)Deadline: Saturday 4 January 2020
The University of Toronto seeks a Postdoctoral Researcher to conduct collaborative research outlined in an awarded NFRFE-2018 New Frontier in Research proposal, titled 'Rebuilding the Foundations of Bayesian Statistics on Nonstandard Analysis' (PI: Daniel M. Roy).
Our proposal aims to rebuild the mathematical foundations of Bayesian statistics using tools from mathematical logic and nonstandard analysis that were unavailable at the time Bayesian analysis was formalized. Our goal is to tackle one of the grand challenges in mathematical statistics: fully characterize the relationship between Bayesian and frequentist inference, the two dominant approaches to statistical inference. In recent work, replacing the standard model of countably additive probability theory with a nonstandard model allowed us to settle a longstanding open problem of deriving a Bayesian characterization of frequentist extended admissibility. We believe that rapid progress on the grand challenge can be achieved by committing additional resources to this unconventional approach.For more information, see https://academicjobsonline.org/ajo/jobs/14556.
Assistant, Associate or Full Professorship in Quantum Information, Computing, & Logic, Helsinki (Finland)Deadline: Saturday 4 January 2020
The Department of Physics at the Faculty of Science of the University of Helsinki invites applications for a
Professor or Assistant/Associate Professor in Quantum Information, Computing and Logic. The position is part of the University of Helsinki profiling action on Mind and Matter – foundations of information, intelligence and consciousness, aiming to strengthen new interdisciplinary research areas at the university. Applicable research topics include quantum information theory, quantum computing and applications, as well as related topics in quantum gravity and quantum field theory. The focus will be on the growing quantum interface between different subfields of physics, mathematics and computing.
Visiting Fellowships in Philosophy of Science, Pittsburgh PA (U.S.A.)Deadline: Sunday 15 December 2019
The Center for Philosophy of Science at the University of Pittsburgh invites applications for Fellowships supporting visits in the Center for a term or an academic year during the year 2020-2021.The Center is pleased to announce that Nick Huggett will be the Senior Visiting Fellow for the academic year September 2020 - April 2021. We encourage applications for Postdoctoral and Visiting Fellowships from scholars whose research intersects with Professor Huggett's.
PhD position in Coalgebraic Model Checking at Friedrich-Alexander-Universität Erlangen-Nürnberg
We are pleased to announce an opening for a fully funded three-year PhD position (E-13 on the German TV-L scale, full time, no teaching
obligation) at Friedrich-Alexander-Universität Erlangen-Nürnberg, located at the Chair of Theoretical Computer Science. The position is within the new DFG project "Coalgebraic Model Checking", with Stefan Milius and Lutz Schröder as PIs and with Daniel Hausmann collaborating on a second project position. The aim of the project is to develop a generic framework for model checking a wide variety of logics beyond the standard relational setting, such as probabilistic, graded, or alternating-time logics, based on the successful paradigm of coalgebraic logic.
Postdoc Positions In Game Theory, Technion (Israel)
The Game Theory Group at the Technion is inviting applications for fully funded postdoctoral positions in Game Theory (broadly defined). As a postdoc in our group, you will work with a varied team comprised of both leading researchers and young, highly motivated colleagues, all of whom are passionate about topics at the intersection of computer science, economics, operations research and game theory.
If you fit this profile and are passionate about an academic research career path, we would love to hear from you. Women are particularly encouraged to apply. Applications will be considered on a rolling basis until positions are filled.For more information, see https://gametheory.net.technion.ac.il/post-doc-positions/.
PhD/Postdoc position on Representation of and Reasoning with Distributed Data, Brussels (Belgium)
The AI Lab of the Vrije Universiteit Brussels invites applications for a PhD position (or short-term postdoc position) in computer science. This position focuses on reasoning with distributed data, including topics such as collaborative query answering, combining pesonal and open data, incentives, trust, confidence, and complexity.
This is a topic on the edge between knowledge representation and reasoning research on the one hand and database research on the other hand.For more information, see http://www.bartbogaerts.eu/jobs/1907-DataIntelligence.php or contact Prof. Bart Bogaerts at bart.bogaerts at vub.be.
Temporary Lectureship in Theoretical Computer Science, Oxford (England)Deadline: Monday 30 December 2019
The Department of Computer Science at the University of Oxford is seeking to hire a Departmental Lecturer in theoretical computer science. Areas of particular interest include logic, verification, and algorithms. This is a fixed-term contract until 31 March 2021.For more information, see https://my.corehr.com/pls/uoxrecruit/erq_jobspec_details_form.jobspec?p_id=142098.