CS为主Logic/math/philosophy相关的positions

====================================================
University of Oslo: PhD Position in Formal Methods.
*** Application Deadline June 13 ***
====================================================

The Formal Methods group at the Department of Informatics,
University of Oslo, has available up 11  PhD positions.

Three of these are open for candidates from ANY field, and one is reserved for formal methods.  We encourage prospective applicants to apply to both the open positions, and to the position reserved for formal methods.

*** Applications must be received no later than June 13, 2008! ***

Information about how to apply is given in the following link:

http://www.admin.uio.no/opa/ledi ... nformatics2008.html

Each position is for 4 years, and should lead to a PhD thesis
at the University of Oslo. There may be opportunities for research
stays abroad.


The research group for formal methods
-------------------------------------
The Formal Methods group at the Department of
Informatics, University of Oslo, Norway, is working on tools and
languages for object-oriented and component-based software
development. Our current research focus includes

   * formal specification and analysis of real-time systems
   * object-orientation and open distributed systems
   * rewriting logic
   * specification and verification of OO-programs

Our research combines theoretical foundations with the goal to develop
practical tools and languages to capture software adaptability.  The
group's activities include both theoretical, foundational, and
experimental work within formal methods, semantics, and language design.
For more information, see the following web-page:

http://www.ifi.uio.no/forskning/grupper/pma/index_e.html


Terms of employment
-------------------
The salary and terms at the University of Oslo are in accordance with
Norwegian state regulations. Salary is in the range NOK 331400 – 355,200
(currently EUR 42.000 - 45.000 and USD 66.000 - 70.000) per year,
depending on relevant work experience.


Further details
---------------
For additional information and informal inquiries, please contact

Professor Olaf Owe, email olaf AT ifi.uio.no,
Associate professor Einar Broch Johnsen, email einarj AT ifi.uio.no, or
Associate professor Peter Ölveczky, email peterol AT ifi.uio.no.

How to apply
------------
Applications must include complete information about education at both
bachelor and master level, and documented scientific experience. All
employees must satisfy the entrance requirements for the doctoral
degree programme at the Faculty of Mathematics and Natural Sciences.
Women are especially encouraged to apply.

As mentioned, all information about how to apply can be found at

http://www.admin.uio.no/opa/ledi ... nformatics2008.html

Please make sure that you mention the reference numbers (2008/7711 for
the open positions, and 2008/7712 for the formal methods position) in your aplications and inquiries.
_______________________________________________

UNITED NATIONS UNIVERSITY VACANCY ANNOUNCEMENT

http://www.iist.unu.edu/www/job/pearl.html.


Two post-doctoral researcher positions are now open at International
Institute for Software Technology, United Nations University (UNU-IIST,
http://www.iist.unu.edu). UNU-IIST is a Research and Training Centre of
the United Nations University. It serves developing countries to help
them attain self-reliance in software technology by training their
young scientists and engineers.

The positions are funded for three years by Macau Sci.&Tech. Development
Fund and UNU-IIST through "PEARL --- Process expansion: action refinement
in the large", a project in collaboration with University of Macau
(UM, http://www.umac.mo/).

The project covers topics broadly in:

a) Developing `grainless' semantic theories for concurrent systems, where
coarse grain actions can be refined into (subsystems of) fine grain actions
or reversely fine grain actions atomised into coarse grain actions.

b) Exploiting the freedom of moving across levels of abstraction
(i.e. grain size) to develop scalable verification techniques
(model-checking) and incremental development methods (law-based).

c) Application of the theories, techniques and methods to the verification
and development of concurrent non-blocking algorithms, multithreaded Java
programs (with weak-ordering memory model) and web-based transaction systems.

These positions are ideal for young researchers who would like to develop
their academic research careers by working in an excellent academic setting.
They provide a unique opportunity to join an institute that has proven
experience in, and dedication to, the training of young researchers, in
formal methods and theoretical computer science.

Requirements
------------

We are seeking young research scientists with (or in the process of obtaining)
PhDs in computer science. Good English speaking and writing skills are
necessary. The successful applicants should have a profound knowledge of
the semantics, specification and verification of concurrent systems.
Experience in simulation and data refinement techniques, process algebra
model-checking (esp. CSP) and action/atomicity refinement will be an
advantage.

Besides research, the successful applicants will also be involved in
helping to supervise postgraduate students from developing countries
recruited to the project as UNU-IIST fellows.


Conditions
------------
The postdoctoral positions are contract appointments starting with one
year and renewable for another two years, depending on performance. Salary
will be in the range 2000-3000 USD per month paid without deduction of tax.
UNU-IIST will provide medical insurance and a fully-furnished & rent-free
two-bedroom apartment (exclusive of utility expenses).

The Research Group
-------------------

The successful applicants will be working in a joint research group at
UNU-IIST and UM. The research group is led by Dr. Jeff Sanders, Principal
Research Fellow of UNU-IIST. Other members of the group include
Dr. Qiwen Xu of UM and Dr. Xu Wang of UNU-IIST.

Further information is available from:

Jeff Sanders
Jeff@iist.unu.edu


The City
---------

Macao is a Special Administrative Region of China, about 40km from Hong
Kong, the other side of the Pearl River estuary. It is a small, safe city,
predominantly Chinese in culture but with strong Portuguese influences and
an active expatriate community of people from many countries. There are
schools that teach in English, Chinese and Portuguese.


The Application
----------------

Potential applicants are suggested to send a CV, 2-3 recent publications
(relevant to the project) and a covering letter with the contact details
of three referees by email to vacancy@iist.unu.edu, quoting the job
reference PEARL-1.


The Deadline
----------------
Application submission is now open and will remain so until suitable
candidates are found. The selection procedure, however, will start on
31 July and the positions ideally start as soon as possible afterwards.

多谢楼主，这些信息很有用！ 楼主辛苦了，还请多多发啊。

又多一名fan了

谢谢楼上二位

我接着发吧。。。

PhD Position in Computational Social Choice at ILLC
      The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam is looking for a highly motivated PhD student to work on problems in computational social choice and the logic-based modelling of mechanisms for collective decision making. The appointment will be for a period of four years and should lead to a dissertation. The position is part of the new NWO Vidi project on "Collective Decision Making in Combinatorial Domains" led by Dr. Ulle Endriss.      
      We will start reviewing application on 1 June 2008 and hope to make a decision soon after that, but applications will continue to be accepted until the position is filled. For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2330       or contact Ulle Endriss at ulleillc.uva.nl.

Vacancy at ILLC: assistant professor in Logic
      ILLC invites applications for a tenure track position (0.5 fte) at the assistant professor level. Candidates should have both a specialist and a broad knowledge of logic and be able to connect logical and philosophical analysis.
       The focus in teaching will be on giving and co-ordinating logic courses in the bachelor of Philosophy. As for research, the work of the candidate should contribute to the research programme Logic & Language, one of the three research programmes in ILLC.
              The closing date for application is  June 21,  2008.         For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2370         or contact ingridscience.uva.nl

2y postdoctoral research fellowship "Foundations for Agent  Systems", Canberra (Australia)     Applications are invited for a postdoctoral position at the       Coomputer Sciences Laboratory at ANU College of Engineering and       Computer Science, to work on a project entitled       "Foundations and Architectures for Agent Systems",       which is funded by the Australian Research Council. Applicants       should have research expertise in at least one of agents,       machine learning, artificial intelligence, computational logic,       or a cognate discipline, and preferably have strong mathematical       skills.      
     Details at   http://info.anu.edu.au/hr/Jobs/Academic_Positions/_CECS4794.asp.       Closing Date: 6 June 2008.

Associate Professorship in Ethics and Technology, Eindhoven  (The Netherlands)
              The Section of Philosophy and Ethics of Technology, Eindhoven         University of Technology seeks a candidate for the following         position: An Associate Professor (1.0 fte) in Ethics and         Technology.      
     Applications should be received by June 15, 2008.         In all communications, please include the job vacancy code (V39.442).         For more information, see         http://w3.tm.tue.nl/en/subdepart ... y/vacancies/v39442/.

Lectureship in Human-Computer Interaction, London (U.K.)     Applications are invited for the post of Lecturer in UCL       Interaction Centre (UCLIC), UCL.  The post is available       from 15th September 2008 for 12 months to cover maternity leave,       with a possible extension to 15 months subject to funding.        Salary is in the range £33,561 - £44,194 (inclusive       of London Allowance).      
       UCLIC is a Centre of Excellence in Human Computer       Interaction, working collaboratively with industry and the       research community and drawing on the best scientific traditions       in computer science and psychology.  We offer an advanced       Masters course in HCI with Ergonomics which regularly recruits       30-40 high calibre students.  We are seeking to appoint       someone with knowledge of cognition and HCI, and with enthusiasm       for teaching MSc students and psychology undergraduates.      
     The closing date for applications is Friday, 20th June 2008.       For more information, see       http://www.psychol.ucl.ac.uk/       or contact Prof Ann Blandford at A.Blandforducl.ac.uk