At the Faculty of Computer Science, Institute of Artificial Intelligence, the position Chair (W2) of Computational Logic is to be filled at the earliest possible date. The successful candidate is required to represent the area mentioned above in research and teaching.

The task in teaching consists of lectures (in English) in Computational Logic in the international master program in Computational Logic, lectures (in German) in Computer Science in the other programs of the faculty or for other faculties as well as the supervision of bachelor-, master- and PhD-students.

In research, applicants are expected to have made novel contributions to the logical foundations of declarative programming, semantic technologies, constraint and satisfiability problems, verification, intelligent autonomous agents, cognitive systems, the integration of virtual and physical systems, machine learning or natural language processing, their implementation in running systems as well as their application. International publications and contacts as well as the participation in research projects in one or several of the above-mentioned subareas are expected.

The applicants must fulfill the employment qualification requirements of the Higher Education Act of Saxony (namely of § 58 SächsHSG). Applications from women are particularly welcome. The same applies to disabled people. (For information please phone +49 351 463 38340.)

Please send your application until October 15, 2010 (stamped arrival date of the university central mail service applies) to: TU Dresden, Dekan der Fakultät Informatik, Prof. Dr. rer. nat. Andreas Pfitzmann, 01062 Dresden, Germany. Your application should contain the usual documents (CV, transcripts and certificates, lists of scientific publications, teaching activities and projects funded by third parties, teaching evaluation reports).

TU Wien: 10 PhD student positions in Mathematical Logic in Computer Science

The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral program “Mathematical Logic in Computer Science” which is launched in Fall 2010; five of the positions are reserved for female applicants.

The program is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics. two envisaged key application areas are “Model-Based Design and Verification” and “Advanced Information
Systems”.

Applications are solicited starting immediately, and will be considered starting from September 10, 2010, until all positions are filled, but no longer than March 15, 2011.

Further details about the program and the application procedure are available at http://www.dbai.tuwien.ac.at/drkolleg/, or contact dk-info@dbai.tuwien.ac.at.

Postdoc Logics for Intelligent Interaction: Expressivity and Succinctne 1,0 fte (210242)

Organisation

Since its foundation in 1614, the University of Groningen has enjoyed an international reputation as a dynamic and innovative centre of higher education offering high-quality teaching and research. Balanced study and career paths in a wide variety of disciplines encourage the 27,000 students and researchers to develop their own individual talents. Belonging to the best research universities in Europe and joining forces with prestigious partner universities and networks, the University of Groningen is truly an international place of knowledge.

Job description

The project focuses on one of the prominent themes in logic today: intelligent interaction, which occurs in any social situation. There is a multitude of logical theories in this area to such an extent that for one and the same subject there is more than one approach. There is a great need to establish whether alternative approaches actually provide fundamentally different perspectives, or whether the differences are merely superficial. By focusing on the expressivity and succinctness of these logics, possible differences in their underlying conceptual frameworks are revealed, thus advancing our understanding of these conceptual frameworks and thereby of intelligent interaction itself.

A detailed outline of the project can be obtained by sending an e-mail to Ms Fré Moorrees (F.C.Moorrees@rug.nl), in it the postdoc project is described.

Requirements

Secundary

The preferred starting date is January 1st, 2011.

How to apply
Completed applications should include:

• a Curriculum Vitae, outlining in particular previous academic qualifications (BA and MA equivalent), grades, list of publications, etc.
• a letter explaining your competence in the research field, and your motivation
• research proposal of maximum 1000 words plus concise, illustrative bibliography (not required for applicants who plan to do the subproject described in the detailed outline of the project)
• a copy of your most important research paper, which appeared or is submitted for publication to a scientific journal (can be co-authored)
• a short summary of your PhD thesis of maximum 500 words
• names and contact details (including e-mail address) of three referees.

Please apply by clicking the link ‘Apply’ and on AcademicTransfer ‘Apply for this job’. You can use the form to send your CV and letter if they are in Word format. Send other documents (and your CV and letter when they are not in Word format) to: vmp@rug.nl

Information

For information you can contact:
Ms Fré Moorrees,   F.C.Moorrees@rug.nl

Three job openings in the Vici project ‘Cognitive systems in interacton: Logical and computational models of higher-order social cognition‘ at the University of Gronigen have been advertised.
All of them start in Autumn 2010.

210247 Ph.D. position: Modeling the evolution of theory of mind
http://www.academictransfer.com/employer/RUG/vacancy/5427/lang/en/

210248 Ph.D. position: A cognitive system supporting intelligent interaction
http://www.academictransfer.com/employer/RUG/vacancy/5428/lang/en/

210249 Post-doc position: Logics for higher-order social cognition
http://www.academictransfer.com/employer/RUG/vacancy/5429/lang/en/

Deadline for applications: September 1, 2010.

at the Chair for Logic and Philosophy of Language (Professor Hannes
Leitgeb) at the Faculty for Philosophy, Philosophy of Science and the Study
of Religion. The position, which is to start from October 1st 2010, is for
three years with the possibility of extension. Technically, it is a
so-called ‘Akademische Ratsstelle auf Zeit’ in the Bavarian university
system, which means basically that one has the rights and perks of a civil
servant.

The appointee will be expected (i) to do research in logic and philosophy
of language, (ii) to teach five hours a week in these or in related areas,
and (iii) to contribute to the new Munich Center for Mathematical
Philosophy (MCMP) which is about to be founded at the LMU. The successful
candidate will have (iv) a PhD in philosophy or logic, and (v) teaching
experience in philosophy or logic.

The appointment will be made within the German A13 salary scheme. More
information on this position can be found at:

<http://www.uni-muenchen.de/aktuelles/stellenangebote/wissenschaft/20100617151216.html>

Women are currently underrepresented in the Faculty, therefore we
particularly welcome applications for this post from suitably qualified
female candidates. Given equal qualification, severely physically
challenged individuals will be preferred.

Applications (including CV, certificates, list of publications) should be
sent to

Ludwig-Maximilians-Universität München
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
Geschäftsstelle
Hauspost Fach 41
Geschwister-Scholl-Platz 1
80539 München
E-Mail: alexander.nawrath@lrz.uni-muenchen.de

by

 July 2nd, 2010.

Contact for informal inquiries: Prof. Dr. Hannes Leitgeb
(<Hannes.Leitgeb@bristol.ac.uk>,
<http://www.bris.ac.uk/philosophy/department/staff/hl.html>).

——————

(2) Ludwig-Maximilians-University Munich is seeking applications for an

Assistant Professorship in Mathematical Philosophy

at the new Munich Center for Mathematical Philosophy (MCMP) which will be
tied to the Chair in Logic and Philosophy of Language (Prof. Dr. Hannes
Leitgeb) at the Faculty for Philosophy, Philosophy of Science and the Study
of Religion. The position, which is to start from October 1st 2010, is for
three years with the possibility of extension. Technically, it is a
so-called ‘Akademische Ratsstelle auf Zeit’ in the Bavarian university
system, which means basically that one has the rights and perks of a civil
servant.

The appointee will be expected (i) to do philosophical research assisted by
logical or mathematical methods, (ii) to teach five hours a week in areas
of philosophy in which logical or mathematical methods are applied, and
(iii) to take on management tasks in the new Munich Center for Mathematical
Philosophy. The successful candidate will have (iv) a PhD in philosophy or
logic, and (v) teaching experience in philosophy or logic.

The appointment will be made within the German A13 salary scheme. More
information on this position can be found at:

<http://www.uni-muenchen.de/aktuelles/stellenangebote/wissenschaft/20100617151904.html>

Women are currently underrepresented in the Faculty, therefore we
particularly welcome applications for this post from suitably qualified
female candidates. Given equal qualification, severely physically
challenged individuals will be preferred.

Applications (including CV, certificates, list of publications) should be
sent to

Ludwig-Maximilians-Universität München
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft
Geschäftsstelle
Hauspost Fach 41
Geschwister-Scholl-Platz 1
80539 München
E-Mail: alexander.nawrath@lrz.uni-muenchen.de

by

 July 2nd, 2010.

Contact for informal inquiries: Prof. Dr. Hannes Leitgeb
(<Hannes.Leitgeb@bristol.ac.uk>,
<http://www.bris.ac.uk/philosophy/department/staff/hl.html>).

- 10 May 2010, Concrete incompleteness from PA through large cardinals, Harvey Friedman
- 10 May 2010, Master of Logic defense, Ernst Odolphi
- 11 May 2010, Congo, Jelle Zuidema
- 11-17 May 2010, An intensive course on model theory by Jouko Vaeaenaenen
2) ANNOUNCEMENTS

- 21 May 2010, Colloquium on Mathematical Logic, Andy Lewis
- 21 May 2010, Colloquium on Mathematical Logic, Gido Scharfenberger-Fabian
- 24 May 2010, Computational Linguistics Seminar, Gideon Borensztajn
- 31 May – 2 June 2010, International Conference on Computational Science 2010 (ICCS 2010), Amsterdam, the Netherlands
- 1 June 2010, Computational Humanities Workshop at ICCS 2010
- 9 June 2010, Computational Linguistics Seminar, Jelle Zuidema
- 30 September – 2 October 2010, Amsterdam Graduate Philosophy Conference on “Truth, Meaning, and Normativity” (AGPC’10), Allard Pierson Museum, Amsterdam
- 21-23 October 2010, The Making of the Humanities II: Second International Conference on the History of the Humanities, University of Amsterdam, the Netherlands
- 8 December 2010, Computational Linguistics Seminar, Stephen Clark
3) FUNDING, GRANTS AND COMPETITIONS

- Grant Up-to-Date “Nieuwsflits”
4) OPEN POSITIONS AT ILLC

- Assistant Professorship (Universitair Docent) in Statistical Natural Language Processing
5) OPEN POSITIONS, GENERAL

- Postdoctoral research assistantship & PhD student position in theoretical computer science, Oxford (U.K.)
- Two PhD student positions in formal methods / mathematical logic, Zurich (Switzerland)
- 6 June 2010, Post-doc posititon at The Logic and Computation Group at the Australian National University

6) PUBLICATIONS

- ILLC Prepublication (PP) Series PP-2010-12, Amelie Gheerbrant
- ILLC Prepublication (PP) Series PP-2010-13, Umberto Grandi and Ulle Endriss
- ILLC Prepublication (PP) Series PP-2010-14, Benedikt Loewe, Eric Pacuit, Andreas Witzel

1) EVENTS THIS WEEK

- 10 May 2010, Concrete incompleteness from PA through large cardinals, Harvey Friedman
Speaker: Harvey Friedman (Ohio State)
Date and time: Monday 10 May 2010, 13.00-15.00
Location: Room C1.112, Science Park 904, Amsterdam

Note: Professor Friedman will also speak at the meeting “Set Theory, Classical and Constructive”, ILLC, May 6-7.

For more information, contact Jouko Vaeaenaenen (ILLC) at jouko.vaananen@helsinki.fi.

- 10 May 2010, Master of Logic defense, Ernst Odolphi
Title: Temporal Binding by Short Term Plasticity
Date and time: Monday 10 May 2010, 16.00
Location: Room A1.08, Science Park 904, Amsterdam
Supervisor: Reinhard Blutner

- 11 May 2010, Congo, Jelle Zuidema
Speaker: Jelle Zuidema
Title: Geen aap doet het je na
Date and time: Tuesday 11 May 2010, 16.00-17.00
Location: Room C1.112, Science Park 904, Amsterdam

For more information (dutch only), see http://www.congo.eu/index.php?option=com_eventlist&view=details&id=154:lezing-geen-aap-doet-het-je-na&Itemid=2.
- 11-17 May 2010, An intensive course on model theory by Jouko Vaeaenaenen
Location: Room A106/A114, ILLC, Science Park 904, Amsterdam

Jouko Vaeaenaenen will give an intensive course “Lindstroem’s Theorem – An invitation to abstract model theory” May 11-17 at ILLC. Interested participants are kindly requested to send an e-mail to jouko.vaananen@helsinki.fi .

For more information, see http://www.math.helsinki.fi/logic/opetus/lt/
2) ANNOUNCEMENTS

- 21 May 2010, Colloquium on Mathematical Logic, Andy Lewis
Speaker: Andy Lewis (Leeds)
Location: Room TBA, Science Park 904, Amsterdam

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

- 21 May 2010, Colloquium on Mathematical Logic, Gido Scharfenberger-Fabian
Speaker: Gido Scharfenberger-Fabian (Greifswald)
Title: Advanced Souslin tree constructions for algebraic issues
Location: Room TBA, Science Park 904, Amsterdam

For abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html

- 24 May 2010, Computational Linguistics Seminar, Gideon Borensztajn
Speaker: Gideon Borensztajn
Date and time: Monday 24 May 2010, 16.00
Location: Room A1.? (TBA), Science Park 904, Amsterdam

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

- 31 May – 2 June 2010, International Conference on Computational Science 2010 (ICCS 2010), Amsterdam, the Netherlands

The International Conference on Computational Science 2010 (ICCS 2010) aims to bring together researchers and scientists from mathematics and computer science as basic computing disciplines, researchers from various application areas who are pioneering advanced application of computational methods to sciences such as physics, chemistry, life sciences, and engineering, arts and humanitarian fields, along with software developers and vendors, to discuss problems and solutions in the area, to identify new issues, and to shape future directions for research, as well as to help industrial users apply various advanced computational techniques.

The theme for ICCS 2010 in Amsterdam is “Advancing Computational Thinking”, to mark several decades of progress in computational science theory and practice, leading to greatly improved applications in science. This conference will be a unique event focusing on recent developments in methods and modelling of complex systems for diverse areas of science, scalable scientific algorithms, advanced software tools, computational grids, advanced numerical methods, and novel application areas where the above novel models, algorithms and tools can be efficiently applied such as physical systems, computational and systems biology, environmental systems, finance, and others.

For more information, see http://www.iccs-meeting.org/

- 1 June 2010, Computational Humanities Workshop at ICCS 2010
Date and time: 1 June 2010, 13.00-15.00
Location: Tropenmuseum, Mauritskade 63, Amsterdam

Computational Humanities is a new, largely unexplored, field which is situated at the interface between the humanities and the (exact) sciences, in particular information science. The humanities differ from the sciences in their concern with expressions of the human mind, such as language, literature, music, art and history. While computational approaches to the humanities exist since the 1960s, it is only during the last decade or so that digitized data have become available in such quantities that we can observe the emergence of a new overarching field. One of the major aims of this field is to automatically detect novel patterns and concepts in historical, musical, textual and artistic data that are (practically) impossible to find by hand. While initial work in computational humanities focused on local and low-level patterns, there is a shift towards unraveling more complex, higher-level patterns such as the notion of
theme in literature, style in painting and music, and long-term relations in history. The goal of this workshop is (1) to give an introduction to this upcoming field, and (2) to investigate to what extent computational humanities share models and techniques with other areas of computational science.

For more information, see http://staff.science.uva.nl/~rens/CompHum2010.htm

- 9 June 2010, Computational Linguistics Seminar, Jelle Zuidema
Speaker: Jelle Zuidema
Date and time: Wednesday 9 June 2010, 16.00
Location: Room A1.? (TBA), Science Park 904, Amsterdam

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/

- 30 September – 2 October 2010, Amsterdam Graduate Philosophy Conference on “Truth, Meaning, and Normativity” (AGPC’10), Allard Pierson Museum, Amsterdam
Costs: 60 euro (students) or 90 euros (others)

The Amsterdam Graduate Philosophy Conference 2010 is organised by the Department of Philosophy and the Institute for Logic, Language, and Computation of the Universiteit van Amsterdam. The 3rd Amsterdam Graduate Philosophy Conference is devoted to continue the discussions that were raised in the previous two conferences, as well as to lay
the ground for new ones. The theme this year is Truth, Meaning, and Normativity.

We invite submissions from graduate researchers conducting novel philosophical research into any of the three conference topics. We also encourage submissions that inform the discussion about truth, meaning, and/or normativity by offering a philosophical interpretation of results from other fields such as logic, cognitive psychology and linguistics (including formal semantics and sociolinguistics).

Since the topics of truth, meaning, and normativity naturally feed into each other, we also welcome contributions whose particular aim is to explore any of the many intricate ways in which these notions relate to one another. Submissions on the role that these notions have played, or play, in the broad (analytic) tradition or, more
specifically, within the linguistic turn are also of interest to the conference.

For more information, please visit the conference website at http://www.illc.uva.nl/agpc/agpc10/, or contact agpc@uva.nl.

- 21-23 October 2010, The Making of the Humanities II: Second International Conference on the History of the Humanities, University of Amsterdam, the Netherlands

This is the second of a biennially organized conference that brings together scholars and historians of humanities disciplines to draw the outlines for a comparative history of the humanities. Although there exist histories of single humanities disciplines, a comparative history would satisfy a long-felt need, and fill a conspicuous gap in intellectual history.

The first highly successful conference, held in 2008, discussed the early modern period. The theme of this year’s meeting is From Early Modern to Modern Disciplines, focusing on the period 1600-1900. Topics include all aspects of the history of philology, linguistics, rhetoric, musicology, literary theory, historiography, art history, archeology and other humanities disciplines, with an emphasis on their interrelations. For more information, see the conference website at http://www.illc.uva.nl/MakingHumanities/2010/.

- 8 December 2010, Computational Linguistics Seminar, Stephen Clark
Speaker: Stephen Clark (University of Cambridge)
Date and time: Wednesday 8 December 2010, 16.00
Location: Room A1.? (TBA), Science Park 904, Amsterdam

For more information and abstracts, see http://www.illc.uva.nl/LaCo/CLS/
3) FUNDING, GRANTS AND COMPETITIONS

- Grant Up-to-Date “Nieuwsflits”

Up to now, Bureau Kennistransfer sent out the Grant Update once a month – an overview of funding opportunities for research and education. As of now UvA employees will find the latest funding information in a user friendly environment on the new funding website at http://www.nieuwsflits.uva.nl/UvARedirect.php?Item=5707.

Additionally, users can subscribe to a monthly ‘nieuwsflits’. The top 3 grants for May: Calls are open for various types of Marie Curie individual fellowships (IIF,IEF, IOF and RG). See http://www.nieuwsflits.uva.nl/UvARedirect.php?Item=5704. The Future of the Internet. See http://www.nieuwsflits.uva.nl/UvARedirect.php?Item=5705. Open Education Call: ALFA Regional Cooperation Programme. ALFA is a programme of cooperation between Higher Education Institutions of the European Union and Latin America. Deadline: 25 June 2010. See http://www.nieuwsflits.uva.nl/UvARedirect.php?Item=5706.
4) OPEN POSITIONS AT ILLC

- Assistant Professorship (Universitair Docent) in Statistical Natural Language Processing

The Language and Computation group in the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam has a job opening for an Assistant Professorship in Statistical Natural Language Processing (‘Universitair Docent’, 50% research, 50% teaching) 38 hours per week, for 2 years, starting in Fall 2010.

The Language and Computation group is headed by Rens Bod and Khalil Sima’an and has six staff, seven postdoctoral researchers and a dozen of PhD students. For more information on the group, see http://www.illc.uva.nl/Research/research06b.php.

Application deadline: Tuesday 1 June 2010. Vacancy number: 10-1027.
For more information, see http://www.uva.nl/vacatures/vacatures.cfm/5B4DE479-9B43-451D-98711E3245C3AABD
or contact Rens Bod (rens.bod@gmail.com) or Khalil Sima’an.
(K.Simaan@uva.nl).
5) OPEN POSITIONS, GENERAL

- Postdoctoral research assistantship & PhD student position in theoretical computer science, Oxford (U.K.)

The Automated Formal Verification Group is advertising posts for a Grade 7 Research Assistant and a fully funded DPhil (Oxford’s “PhD”) position, to work on the automated verification of concurrent programs that make use of shared memory under the direction of Daniel Kroening and Joel Ouaknine in the Oxford University Computing Laboratory.

The work will take place within the Verification group in the Oxford University Computing La bo ratory, which comprises, in addition to the two investigators, world-leading experts in software verification and model checking such as Marta Kwiatkowska, Tom Melham, Luke Ong, and Bill Roscoe.

Applications must be received before 14 or 31 May 2010, respectively.
For more information, see the ads at http://www.comlab.ox.ac.uk/news/179-full.html and http://www.comlab.ox.ac.uk/news/149-full.html, or contact the project supervisors Daniel Kroening (kroening@comlab.ox.ac.uk) and Joel Ouaknine (joel@comlab.ox.ac.uk).

- Two PhD student positions in formal methods / mathematical logic, Zurich (Switzerland)

The research group headed by Prof. David Basin at the Swiss Federal Institute of Technology, Zurich (ETH Zurich) has two open positions for PhD students. For these positions, we are looking for enthusiastic students with a strong background in formal methods or mathematical logic and with an interest in applying their knowledge to formal development and testing of secure software. Additionally, experience in either formal software development by refinement or automated test case generation techniques would be an asset.

The PhD student employed will be given the opportunity to carry out a PhD in Computer Science at ETH Zurich. ETH Zurich regulations require doctoral students to hold a Master’s or equivalent degree (e.g. Diplom). Successful candidates are expected to be able to join us on October 1st, 2010.

For more information, see http://www.infsec.ethz.ch/events/jobs/EUProjects2010 Inquiries should be sent to Christoph Sprenger and Mohammad Torabi Dashti at the following email address: infsec.positions@inf.ethz.ch.

- 6 June 2010, Post-doc posititon at The Logic and Computation Group at the Australian National University

The Logic and Computation Group at the Australian National University in Canberra is currently advertising a three-year fixed term post-doc. Applications close on June 6th 2010. We are looking for people whose research interests are in logic in computer science, automated reasoning, non-classical logics or proof theory.

For more information, see http://jobs.anu.edu.au/PositionDetail.aspx?p=1243
6) PUBLICATIONS

- ILLC Prepublication (PP) Series PP-2010-12, Amelie Gheerbrant

Title: Complete Axiomatization of the Stutter-Invariant Fragment of
the Linear-time mu-calculus

For more information, see the ILLC electronic archives at
http://www.illc.uva.nl/Publications/reportlist.php?Series=PP#PP-2010-12
- ILLC Prepublication (PP) Series PP-2010-13, Umberto Grandi and Ulle Endriss
Title: Lifting Rationality Assumptions in Binary Aggregation

For more information, see the ILLC electronic archives at http://www.illc.uva.nl/Publications/reportlist.php?Series=PP#PP-2010-13
- ILLC Prepublication (PP) Series PP-2010-14, Benedikt Loewe, Eric Pacuit, Andreas Witzel
Title: Planning based on dynamic epistemic logic

For more information, see the ILLC electronic archives at http://www.illc.uva.nl/Publications/reportlist.php?Series=PP#PP-2010-14

PhD position in Ghent: Contextual and formal-logical approach to
scientific problem solving processes

The Centre for Logic and Philosophy of Science of Ghent University (http://logica.ugent.be/centrum/) has a vacancy for a pre-doctoral researcher in a research project entitled Contextual and formal-logical approach to scientific problem solving processes.

Supervisors: Prof. Dr. Erik Weber & Prof. Dr. Joke Meheus.
Period: 1 October 2010 till 30 September 2014.
Salary: approx. 1700 EUR/month (net).

Profile of the candidate:
- Master’s degree in philosophy.
- Advanced knowledge of the philosophy of science and formal logic
- Able to read, speak and write in English in a very fluent way.

Description of the project + task of the researcher:
The general aim of the project is to develop formal tools — in the adaptive logics tradition originating in the work of D. Batens — for the analysis of scientific reasoning processes. Other researchers already working on this project deal with e.g. abductive and inductive reasoning and conceptual change.
The task of the new researcher is to develop adaptive logics that are suitable for application in one of the following domains:
(1) causal reasoning (causal discovery, evidence for causal claims and applications of causal knowledge);
(2) counterfactual reasoning (arguing about counterfactuals and reasoning starting from counterfactual knowledge);
(3) scientific explanations (reasoning process leading towards explanations; formal explication of explanatory power).

References
The adaptive logics homepage (http://logica.ugent.be/adlog/al.html) contains an introduction to adaptive logics and references to papers on this topic.

Applications
If you are interested in this position, send an email with your CV and to Erik.Weber@UGent.be, not later than 6 June 2010.

Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html.
Prolonged discussions should be moved to chora: enrol via http://listserv.liv.ac.uk/archives/chora.html.
Other philosophical resources on the Web can be found at http://www.liv.ac.uk/pal.

The Institute for Logic, Language, and Computation of the University of Amsterdam invites applications for 2 PhD positions within the research programme: The Inquisitive Turn. A New Perspective on Semantics, Logic, and Pragmatics.

Applications are expected before May 22.

For the full job announcement see: http://www.uva.nl/vacatures/vacatures.cfm/94363E7C-D4BD-4AA6-B5EF1F49B3ECEEDB

For more information on the project see: http://www.illc.uva.nl/inquisitive-semantics

PHD STUDENTSHIP IN AUTOMATED REASONING

CLOSING DATE FOR APPLICATIONS: 14 May 2010

ANTICIPATED START DATE: July – September 2010

One EPSRC funded PhD studentship is available in the School of Computer Science at the University of Manchester.

ABOUT THE PROJECT

The project forms part of an EPSRC Research Project with the aim to automatically generate implemented automated reasoners.

Reasoning is needed in many subfields of computer science from verification of programs, ontology reasoning for the semantic web, multi-agent systems to artificial intelligence and text mining but also other fields including mathematics, computational linguistics and philosophy.  Implementing an automated reasoner from scratch or even implementing one as an extension of an existing reasoner is a time-consuming and difficult undertaking.  As an alternative we intend to develop technology and software for automatically generating implemented automated reasoners.  The idea is that a user-defined logical formalisation of an application is automatically transformed, first, into a deduction calculus, and finally into an implemented automated reasoner.  This will give non-expert users and developers the ability to build implemented reasoners with relative ease in a supported way.

The foundation of the project will be a tableau calculus synthesis framework that we developed in recent work and have already applied to a number of logics.

The focus of the PhD project will be on tableau prover generation for modal and description logics (or other non-classical logics depending on the background of the successful applicant).  The expected tasks include significantly contributing to the development of a prototype implementation of a tableau prover generator and auxiliary tools, conducting case studies for various logics, developing refinements and optimisations, and undertaking an evaluation of the developed technology.

The project will be supervised by Dr Renate Schmidt and Dr Dmitry Tishkovsky.

WHO CAN APPLY

The successful applicant is expected to conduct research leading to original contributions to the project culminating in a PhD thesis.

Expected qualifications, knowledge, skills and experience:

 - A first class BSc(Hons), strong MSc degree, or equivalent,

   in an appropriate discipline;

 - Background in computer science and/or mathematics with

   significant knowledge of logic and/or automated reasoning,

   preferably including modal, description, first-order logic,

   tableau-based reasoning and equality reasoning;

 - Good programming skills;

 - Good communication skills in English, both oral and written;

 - Ability to work collaboratively.

The studentship is expected to start between 1 July 2010 and 30 September 2010 subject to negotiation, and is available for up to three years with a stipend of 13,290 pounds per annum (tax free), full university registration fees for UK/EU students, a contribution of about 74% to the university registration fees for Non-EU international students, plus travel money for attending conferences.

HOW TO APPLY

To apply for the studentship, please send a detailed CV, copies of transcripts (academic records of marks for courses taken), names of at least two referees (email addresses preferred) and covering letter by email to:

 pgr-admissions@cs.man.ac.uk.

 Email submission of PDF and/or plain text are acceptable.

 The deadline for applications is *14 May 2010*.  Late applications may be considered.

 FURTHER INFORMATION

 For further details about the studentship and the project please contact Dr Renate Schmidt, preferably by email at schmidt@cs.man.ac.uk.  Additional information about postgraduate research in the School can be found at http://www.cs.manchester.ac.uk/phd/.

 NOTE

 Formal application to be admitted by the PhD program in the School of Computer Science at the University of Manchester needs to be made separately by the successful candidate.

Fixed term 1.8.2010-31.5.2013 (substitution). AOS: History of Philosophy, Logic, Epistemology, Systematic Philosophy. AOC: Open. PhD required, high-level academic qualifications and experience. Enclose with application four sets of: curriculum vitae, teaching statement, research statement, list of publications, max. 10 publications, language certificates. Applications addressed to the Faculty of Arts must be delivered to: Registry of the University of Helsinki. P.O. Box 33 (Yliopistonkatu 4), 00014 University of Helsinki, Finland. The closing date April 22, 2010 at 15.45 local Helsinki time.

Further details http://www.helsinki.fi/recruitment/index.html?id=11811,

Professor Gabriel Sandu, gabriel.sandu[at]helsinki.fi.