Call for Applications:
----------------------
Two PhD positions are available in the Faculty of Mathematics and Natural Sciences in the Institute of Artificial Intelligence (ALICE), offered in collaboration with the department of Theoretical Philosophy at the University of Groningen. The candidates will join the five-year NWO Vidi project of Dr. Sonja Smets.

VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:

As for classical computing, logic is expected to play an essential role in the understanding of quantum computation and quantum information, and especially in the formal verification of quantum communication protocols. Such multi-agent applications involve quantum information flow and classical knowledge transfer (by classical communication) between the agents. So one of our aims in the proposed VIDI research project is to develop the logical tools for modelling complex situations where different types of informational dynamics (classical and quantum) are combined. Our goal is to develop and use a combined classical-quantum logic for the full specification and formal verification of agent-based quantum protocols for secure communication. Towards this goal, we propose to use formalisms based on modal logic, especially combinations of dynamic (or temporal) logics and epistemic (or ``spatial") logics. But other logical formalisms, such as probabilistic logic, linear logic and coalgebraic logic (or categorical logic, in general), may also turn out to be useful in this context

Two PhD positions are linked to this project. The first PhD position has the task of studying from a logical perspective the role of classical knowledge transfer in known protocols such as e.g. Teleportation, Super Dense Coding and Quantum Secret Sharing. The second PhD position is associated to the logical study of the (classical and quantum) information flow in protocols dealing with the anonymity of an agent’s identity such as the Quantum Dining Cryptographers and Quantum Electronic Voting.

Qualifications:
---------------
Candidates should have (or obtain before 1 September 2010) an excellent Masters degree in Logic, Computer Science, Artificial Intelligence, Philosophy, Mathematics or Physics. Fluent English is a prerequisite.

Job Profile:
------------
We are looking for candidates with a strong interest in Logic (especially in any of the areas such as Modal Logic, Epistemic Logic, Dynamic Logic, Linear Logic, Categorical Logic or Quantum Logic) and in Quantum Information Theory or Quantum Computing.

Appointment:
------------
The PhD positions are awarded for a period of four years and should lead to a dissertation. The gross monthly salary for each position will range from 2042 euro in the first year to 2612 euro in the fourth year. The successful applicants are required to participate in the PhD programme at the University of Groningen (see http://www.rug.nl/prospectivestudents/degreeprogrammes/graduateschools/phd) and will be working under the daily supervision of Dr. S. Smets. The main focus of the appointment is on research, but can include moderate teaching duties in subjects relevant to the candidate's research activities. The preferred starting date is 1 September 2010.

How to apply:
-------------
Applications must be send electronically to Dr Sonja Smets at S [dot] J [dot] L [dot] Smets [__at__] rug [dot] nl, they should arrive by 7 June 2010 and must contain :

- a Curriculum Vitae
- a Letter of Motivation (at most 2 page), explaining why you are interested in this position
- a list of all university courses taken (including grades).
- a short summary of your Master thesis in maximum 2 pages
- the name and contact details (including email address) of two referees who can provide details about your profile (e.g. the supervisors of your master thesis).

For further information, please contact Dr Sonja Smets at S [dot] J [dot] L [dot] Smets [__at__] rug [dot] nl

The Department of Philosophy is looking to appoint a Lecturer / Senior Lecturer in Legal, Moral or Political Philosophy. This is a full time open ended position.
Applicants should have a strong research record (including a PhD) commensurate with their career stage, within the broad area of legal, moral and political philosophy. A readiness to engage with the Department’s collaborative projects in legal or political philosophy would be especially welcome. The person appointed will be expected to:

pursue research projects that will strengthen the Department’s research activity and reputation, and make a positive contribution to its submission to the Research Excellence Framework;
contribute to the Department’s teaching at both undergraduate and postgraduate levels;
join in collaborative research activities, including the development of applications for external grants;
assist with departmental administration.

Further particulars are available by using the links below or by email hr-services [__at__] stir [dot] ac [dot] uk

Closing date for applications is Friday, 26 March 2010 at 12 noon.
Interviews will be held week commencing Monday, 3 May 2010
Please Quote ref: 16262/7174

- profile : philosophy of science, with a preference for philosophy of biology
- 70% or 100%
- teaching 4 or 6 hours , in French
- full details at

http://www.unige.ch/lettres/philo/

or

http://www.unige.ch/lettres/faculte/Emploi/Philosophie-Sciences.html

and

The PERSP project (http://www.ub.edu/persp) invites applications for 5 pre-doctoral positions.

PERSP is a Spanish research network focusing on philosophical issues posed by the perspectival character of some thoughts and the facts they represent, funded by the Consolider-Ingenio 2010 Scheme (Spanish Ministry of Science and Innovation). Most PERSP members come from one of four well-established Spanish groups

(LOGOS, Universitat de Barcelona and Universitat de Girona, http://www.ub.es/grc_logos/index.php; GRECC, Universitat Autònoma de Barcelona, http://www.uab.cat/grup-recerca/grecc; Philosophy of Law, Universitat Pompeu Fabra, http://www.upf.edu/filosofiadeldret/ and Universitat de Girona, www.udg.edu/filodret; Applied Philosophy, Universitat de Valencia, http://www.ub.edu/nomos/).

Successful candidates will be expected to enroll in the Master program in Analytic Philosophy (http://www.ub.es/aphil/) and to eventually apply for entry into the corresponding Ph. D. program, to elaborate a Ph. D. dissertation contributing to some of the work-packages into which the project is divided, (http://www.ub.edu/persp/?q=content/workpackages). They will be assigned to one of the research groups developing the project and recruited by one of the institutions where they are based, depending on their interests and qualification, under one-year contracts (starting date: 1 October 2010) competitively renewable up to four if the candidate is accepted to the Ph. D. program. Net salaries are in the amount of €18.000.
Candidates must possess a bachelor’s degree, or equivalent, in philosophy or cognate disciplines, to have good communication skills, and to have a proven proficiency in both spoken and written English. They should meet the requirements for enrolling in the Master and Ph. D. Program, under “regulations” at http://www.ub.es/aphil/eng/.

All applications must be submitted by email to the Coordinator at persp [dot] management [__at__] gmail [dot] com. Applications must include: (1) a cover letter describing research interests; (2) a description of the project to be undertaken while holding the position (500-1000 words); (3) a curriculum vitae; (4) a sample of written work; (5) two letters of reference, which should be sent independently. For further details, please consult the PERPS webpage under http://www.ub.edu/persp or send inquiries to persp [dot] management [__at__] gmail [dot] com

The deadline for applications is 26 March 2010, 12pm (Central European Time).

The appointing institutions endeavor to ensure a fair female representation by promoting real equal access opportunities between men and women throughout the selection process, and explicitly encourage women to apply.