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

Five postdoctoral fellowships in the Zukunftskolleg, Konstanz  (Germany)
              The Zukunftskolleg is a central scientific institution of the         University of Konstanz for the promotion of young scientists         in natural sciences, humanities, and social sciences and is an         integral component of the institutional strategy "Modell         Konstanz - towards a culture of creativity". The         Zukunftskolleg forms a platform for interdisciplinary exchange         between excellent researchers in Germany and abroad and         provides young scientists resources for procuring external         funding; any support is temporary.      
       5 post-doctoral fellowships for the development and       implementation of individual research projects are to be       filled. In principle, each position can be divided into two       half-time positions. The initial appointments begin May 1, 2008       and end October 31, 2009.      
     Application deadline: January 31, 2008.         Information about the fellowships and additional opportunities for          participation in the Zukunftskolleg can be found on our website:          http://www.uni-konstanz.de/zukunftskolleg/.

Postdoctoral position (Computability Theory / Complexity  Theory; 3y), Greifswald (Germany)
     A postdoctoral fellowship (alternatively, two positions for doctoral students) in mathematical logic (computability and complexity) is available starting from 1 April 2008 for the period of three years at the Ernst Moritz Arndt University Greifswald (Germany).
            Applications must be received before 31 January 2008.  For details, see http://www.uni-greifswald.de/inf ... matik-nr-07b86.html (written in German; candidates must be fluent in German) or          contact Prof. Dr. Armin Hemmerling (hemmerliuni-greifswald.de).

OPEN PHD POSITION: Verifying Implementations of Security Protocols in C
[ http://computing-research.open.ac.uk/jj/csec ]

Computing Department, The Open University, UK
in cooperation with Microsoft Research (MSR) Cambridge

* Bursary of up to 24,000 GBP (equiv. 33,000 EUR) per year (tax-free) up to a maximum of three years (subject to PhD student fee deduction), plus equipment (laptop).
* Attendance at MSR summer schools; potential for an (additionally paid) internship at MSR.

The Open University (OU) maintains a highly regarded research base at its central headquarters in Milton Keynes (near London and within one hour from Cambridge and Oxford). The Department of Computing is part of the Computing Research Centre. The Software Engineering and Design research group in the Department has a world class research record and reputation in requirements and security engineering; software architecture, design and evolution; automated software engineering; and empirical studies of software development.

Microsoft Research Cambridge [http://research.microsoft.com/aboutmsr/labs/cambridge/default.aspx] was founded in 1997 and now numbers over 100 employees. The Cambridge lab conducts basic computer science research on a wide variety of topics, including machine learning, security, information retrieval, operating systems, programming techniques, and networking.

We are very pleased to offer a PhD Studentship funded through the Microsoft Research PhD Scholarship Programme [http://research.microsoft.com/aboutmsr/jobs/fellowships/apply_europe.aspx]. This prestigious programme recognises and supports exceptional students who show the potential to make an outstanding contribution to science and computing. Broadly, the grant entitled "Verifying Implementations of Security Protocols in C (Csec)" has the goal to develop formally based techniques and tools to support the development of security-critical software. More specifically, the aim is to analyse implementations of cryptographic protocols in the widely used programming language C against IT security requirements. The PhD project is jointly supervised by Andrew D. Gordon (MSR), Jan Jürjens (The Open University), and Bashar Nuseibeh (The Open University).

The start date of the studentship is flexible but should be within 2008. The award will run for 3 years and includes no teaching obligations.

The applicant should have (or expect to have by the start of the scholarship) a very good Masters level degree in Computing, Mathematics, or a related field. Experience or strong interest in one or more of the areas of programming languages, formal methods, computer security, or compilers would be an advantage.

Informal requests for further information to any of the PhD supervisors are encouraged. Contact details can be found at the following web-sites:
- Andrew D. Gordon: http://research.microsoft.com/~adg
- Jan Jürjens: http://computing-research.open.ac.uk/jj
- Bashar Nuseibeh: http://mcs.open.ac.uk/ban25

Applications should be submitted by 22 February 2008. Details on what the application
should include, as well as the address to which it should be submitted, are specified
at: http://computing-research.open.ac.uk/jj/csec .

Disabled applicants who meet the essential job requirements will be
interviewed.  Further particulars are available in large print, disk or
audiotape (minicom 01908 654901).
The Open University promotes diversity in employment and welcomes
applications from all sections of the community.

The Technische Universiteit Eindhoven (TU/e) has the following vacancy

PhD "Multi-objective Design-space Exploration for Wireless Sensor
Networks" (V36.331)

at the Department of Electrical Engineering
-------------------------------------------

The Department of Electrical Engineering concerns the research and
education of the Electrical Engineering discipline. Electrical
Engineering covers the application of electrical phenomena with respect
to energy transfer, telecommunication, and calculation and processing of
information and the technology involved. Both hardware, in the form of
electronic circuits and accessories, and software, in the form of system
software for electro-technical application, are the subject of study.
Existing and new electrical components and systems are analyzed,
designed and realized. In addition, the maintenance of these systems is
the subject of research, as is the relevance for society of electrical
engineering and informatics.

The Group
---------

This position is in the Electronic Systems group of the Electrical
Engineering department of the TU/e. The group has expertise on (formal)
modelling and design of embedded systems. Major research themes are
predictable design, multiprocessor systems on a chip, models of
computation and programming models, trade-off analysis and
multi-objective optimization, synthesis trajectories that provide
performance guarantees, resource management and scenario-based design.
Targeted systems are real-time control systems, mobile multimedia
systems, and wireless sensor networks (WSNs).

The Project
-----------

The Ambient Living with Embedded Networks (ALwEN) project is a joint
effort by a consortium of companies, research institutes and
universities to improve the design, deployment, programming, and
modeling of ambient wireless sensor and actuator networks targeting
quality-of-life-improving applications. Scientific results will be
validated on 1000 node prototype networks, both in a laboratory
environment and in pilot healthcare environment.

Tasks
-----

Within this project, the Electronic Systems group has an opening for a
PhD student. The PhD student is expected to develop system-level models
of large-scale sensor networks aiming to predict both application
quality metrics and resource usage. Using these models, multi-objective
optimization, design-space exploration, and synthesis techniques for
such systems need to be developed. The models and design techniques
should be validated on the planned prototypes. The work needs to be
performed in collaboration with other members of the ALwEN project
consortium and the Electronic Systems group.

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

We would like to get in contact with talented individuals that are among
the top students of their generation and have recently obtained a
Master's degree in computer engineering, electrical engineering, or
computer science. Excellent programming skills are a necessity.
Experience with sensor networks and/or formal modeling techniques is
considered an advantage.

Appointment and Salary
----------------------

The appointment is for four years. As an employee of the university you
will receive a competitive salary as well as excellent secondary
benefits (including excellent sport facilities and child care). The
research in this project must be concluded with the attainment of a PhD
degree. A salary is offered starting at EUR 2000,- per month (gross) in
the first year and increasing up to EUR 2558,- per month (gross) in the
last year. Moreover 8% bonus share (holiday supplement) is provided
annually. Assistance for finding accommodation can be given.

Information
-----------

For further information on the project you can contact dr.ir. Twan
Basten (a.a.basten@tue.nl, http://www.es.ele.tue.nl/~tbasten, +31 40 247
5782). For information concerning employment you can contact P.F.M. Tiel
Groenestege (personnel officer, p.f.m.tiel.groenestege@tue.nl, office
PT. 1.06, +31 40 247 2004).

Application
-----------

If you are interested in this position, please send a detailed
curriculum vitae, an application letter motivating why the position and
the proposed research is of interest to you and summarizing your views
on the research area, a publication list, a copy of your best
publication in English (if any), course lists of your Master's and
Bachelor programs (incl. grades), and the names of two references, all
in electronic form to dr.ir. Twan Basten, a.a.basten@tue.nl, mentioning
vacancy number V36.331.

The position is open for applications until 11-02-2008, or as long as it
is required to fill the position.

Research Grant
                     To pursue PhD studies in the
                CLIP group (http://clip.dia.fi.upm.es)
                Technical University of Madrid (Spain)
        in the context of the S-Cube EU Network of Excellence

----------------------------------------------------------------------

The CLIP  group at  the Technical University  of Madrid  (UPM) invites
applications for  a fully-funded 4-year PhD  scholarship for qualified
graduate students.

Candidates should have graduated (with a Bachelor level or equivalent)
in Computer Science, Computer  Engineering, or related fields prior to
the  start  of  their  research  work at  UPM.   Candidates  close  to
fulfilling this  requirement can  also apply, and  every case  will be
considered separately.  Please include as much relevant information as
possible.

The PhD  work will focus on the  research areas of the  Clip group and
the EU-funded S-Cube network, and will be directed by Manuel Carro and
Manuel  Hermenegildo.  The  general  research  objective  of  "S-Cube:
Software  and   Services  Systems  Network"  is  to   advance  in  the
consolidation  of a  unified framework  for Software  and  Services by
studying how  to reliably integrate  the different requirements  for a
service-based application (SBA), including establishing ground work to
define  how tools  to ensure  SBAs  can be  implemented.  Among  other
topics,  this includes  ensuring  quality of  service, and  performing
validation and verification  of SBA or parts thereof  --tasks in which
UPM is directly involved.

This is also an outstanding opportunity to get involved in tasks which
require international  collaboration, as  the 15 S-Cube  partners come
from  11  different  countries.   Besides purely  research  issues,  a
significant part  of S-Cube  deals with integrating  existing European
research  in the  field by,  e.g., organizing  workshops,  striving to
establish a  researcher exchange network, and others.   The CLIP group
itself  has currently  around 20  full-time members  from  6 different
countries.  The working language of  the group (and of the project) is
English, and  good to  excellent command of  English is  expected from
applicants.

Experience in / knowledge of (or, at least, interest in) the following
topics, despite not being mandatory, increases the chances of success:

    * Software verification.
    * Software validation.
    * (Constraint) Logic Programming.
    * Technology for and deployment of Web Services.
    * Quality of service in software services.
    * Service-oriented architectures.


Applications and information:
-----------------------------

The project starts  on March 1, 2008, and will  initially run for four
years.  The  grant will be given  in the form of  a full-time contract
which  includes academic fees,  medical care,  and a  tax-free monthly
payment  which can  range  from  1,100 to  1,600  euros, depending  on
experience.  Applicants  will be ranked  according to their  value and
only those in the shortlist will  be contacted to ask for more details
or to have a personal interview.

The deadline  for applications  is February 15th,  2008.  Applications
received  after this deadline  may be  considered if  the scholarships
have not  been filled at  reception time.  Applications  and inquiries
should  be sent to  scube-phd-grants[_a@t_]clip.dia.fi.upm.es (replace
[_a@t_] by the appropriate sign)  and include a curriculum vitae (very
preferably in PDF), a listing of grades from previous studies, a brief
description of  research interests  in relation to  those of  the CLIP
group and S-Cube,  and, if at all possible,  letters of recommendation
from  faculty   or  management  that  the  student   has  worked  with
previously.

RWTH Aachen University: The Future Begins With Us.
--------------------------------------------------
With 30,000 students, 10,000 employees and its emphasis on innovative
research, RWTH Aachen University is one of the leading universities of
technology in Europe. Its teaching and research are characterised by a
distinctly international, practice-orientated and interdisciplinary
approach.

Junior Research Groups will be established as a central measure to
further strengthen the natural sciences within the Institutional
Strategy of RWTH Aachen University funded by the Excellence Initiative
of the German federal and state governments. With this goal in mind, we
are offering the following position:

================================================
Juniorprofessor (W1) in Theory of Hybrid Systems
================================================

Faculty of Mathematics, Computer Science and Natural Sciences

We are seeking qualified applicants for research and teaching in the
area of hybrid systems. Candidates with a distinguished expertise in the
area of modelling and formal analysis of hybrid systems are particularly
welcome. The position is positioned in the Department of Computer
Science. We expect an enthusiastic participation in teaching and a close
collaboration with other groups working in this area as well as in the
engineering disciplines.

A permanent professorship position may be granted after a successful
evaluation of the junior research group.  The junior research group
comes with a single position for a PhD student/postdoctoral researcher.

You should have completed a university degree and posses a special
aptitude for scientific work as generally verified by an outstanding
doctorate and further scientific merits. The ability and commitment to
teach are essential. German is not necessary to begin with but will be
expected as a teaching language within the first 5  years.

Please send a cover letter with accompanying documents which should
include your research goals, publication list and a CV to: An den Dekan
der Fakultät Mathematik, Informatik und Naturwissenschaften der RWTH
Aachen, Prof. Dr. M. Wuttig, Templergraben 55, 52062 Aachen, Germany.

================================================
The deadline for applications is March 15, 2008.
================================================

The RWTH Aachen aims to increase the number of women in areas in which
they are under-represented, thus women are strongly encouraged to apply.
For further information please see: http://www.rwth-aachen.de/equality

The RWTH Aachen aims to integrate persons with disabilities, thus
persons with disabilities are strongly encouraged to apply. For further
information please see:  http://www.rwth-aachen.de/disabilities.

For further information concerning this position, please contact Prof.
Dr. Ir. Joost-Pieter Katoen, [EMAIL="katoen@cs.rwth-aachen.de"]katoen@cs.rwth-aachen.de[/EMAIL].

我们自己的



Tenure-track position in algorithmic game theory, CWI, Amsterdam  (The Netherlands)
     CWI (Centrum Wiskunde & Informatica), Amsterdam, The Netherlands, invites         applications for a tenure-track position in Algorithmic Game Theory         within the group PNA1 `Algorithms, Combinatorics and Optimization'.      
        The applicant should be an independent researcher with a demonstrated record of international top-quality fundamental research in algorithmic game theory, and have the intention and ability to search for project funding, and to eventually build up a research group.
     For further information, please see         http://www.cwi.nl/jobs/ttAlgorithmic.html

Research Associate in Computational Intelligence
      Location: Bremen, Germany
              The International University in Germany         invites applications for a Research Associate (doctoral          candidate or post-doctoral) position in Computational Intelligence.      
     The position is available from April 1st, 2008.         For more information, see         http://www.i-u.de/nav-main/discover-iu/open-positions.html

W3 Professorship in Mathematical Logic, Freiburg (Germany)
              The Institute of Mathematics of the Faculty of Mathematics and         Physics at the University of Freiburg seeks to appoint a         suitable candidate to the post of Professor (W3) of         Mathematical Logic (in succession to Prof. Dr. J. Flum) by         October 1, 2009.      
       The postholder is to represent the field of Mathematical       Logic in research and teaching. It is hoped that he or she will       work in close collaboration with other research groups of the       Institute of Mathematics and the Institute of Computer       Science. Furthermore he or she will be expected to undertake an       appropriate share of the teaching obligations of the Institute       of Mathematics as well as of the academic       self-governance. Candidates should possess the German       Habilitation in mathematics or an equivalent research       qualification.      
            Applications must be received before March 15, 2008.       For more information, see       http://www.math.uni-freiburg.de/aktuell/stellen.en.html.

又是我们这的／／／


Postdoctoral position in algorithmic mechanism design (1y), CWI, Amsterdam (Netherlands)
     The Algorithms, Combinatorics and Optimization group (PNA1) at the         Centre for Mathematics and Computer Science (CWI) in Amsterdam, the         Netherlands, has an open position for a postdoc for a period of one         year in the area of (preferably algorithmic) mechanism design.      
       The position has to be filled by the end of this year.  Research will         take place in the NWO funded project ``Distributed         Implementations of Adaptive Collective Decision Making'' (DIACoDeM).         The project employs three postdocs from three groups at CWI: PNA1,         Coordination Languages (SEN3) and Computational Intelligence and         Multi-agent Games (SEN4).      
            Applications must be received before March 15, 2008.       For more information, see       http://www.cwi.nl/themes/pna1/diacodem1.html       or contact Prof. Krzysztof R. Apt at aptcwi.nl.