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

The Computersystems group of the Vrije Universiteit is looking for a Ph.D.
student for the Ibis Large-scale grid computing project.

The main goal of the Ibis project (http://www.cs.vu.nl/ibis/) is to
create an efficient Java-based platform for grid computing. The project
consists of a communication library, a variety of programming models,
the Java Grid Application Toolkit, and the Zorilla peer-to-peer grid
middleware. All components can be deployed on any grid platform, due to
the use of Java. Ibis has been used for many applications, including
search algorithms, multimedia content analysis, video processing, and
many others. Ibis is part of the Dutch Virtual Laboratory for e-Science
(VL-e) project (http://www.vl-e.nl/). The project makes extensive use of
the Distributed ASCI Supercomputer 3 (DAS-3), which is a Dutch Computer
Science grid with a dedicated optical (40 Gb/s) wide-area interconnect
(http://www.cs.vu.nl/das3).

The new Ph.D. student is expected to perform experimental research
in new application domains for Ibis. Of particular importance are:
distributed model checking (for which we have a prototype implementation
on wide-area DAS-3), e-Science applications, and cloud computing. The
main aim of the research is to explore the potential benefits of
large-scale distributed supercomputing in new and emerging application
areas, and to expand the capabilities of the Ibis system as a whole.

For more information you can contact
Dr. F. Seinstra, email: fjseins@cs.vu.nl
Prof. Dr. H.E. Bal, e-mail: bal@cs.vu.nl (away until 29 July)

Applications should be submitted before August 4, 2008. See
http://www.vu.nl/images_upload/1 ... 58274E437951AE9.pdf
for more details.

The VASY project-team of INRIA Grenoble - Rhône-Alpes recruits
two computer science engineers.

For more information:
    http://www.inrialpes.fr/vasy/jobs/2008a.html
    http://www.inrialpes.fr/vasy/jobs/2008b.html
and
    http://www.inrialpes.fr/vasy/jobs

--
Frédéric LANG

Research associate / Chargé de recherche INRIA, VASY project-team
INRIA Rhône-Alpes - Inovallée - 38334 Saint Ismier Cedex - France
Phone: +33 (0)4 76 61 55 11, Fax: +33 (0)4 76 61 52 52
[ http://www.inrialpes.fr/vasy ]

Assistant Professor on “Software Composition”

The faculty of Electrical Engineering, Mathematics and Computer Science from the University of Twente educates, and conducts research with approximately 2000 students including 300 PhD assistants. The research and education activities are organized around the specialized sub-departments called “chairs”.

There is a vacancy for an Assistant Professor (1.0 fte) in the chair “Software Engineering” on the topic of “Software Composition”.

Currently, the Software Engineering chair has 6 staff members,
2 post doctorate researchers, 1 research assistant and 14 Ph.D. assistants.

The chair carries out research on various topics on software engineering such as service-oriented architecture, software architecture, model-driven engineering, soft computing applied to software engineering and software composition.

Software composition research has been one of the cornerstones in the research of the Software Engineering chair, dating back to research on the development of distributed systems through the Sina language. In the beginning of 90’s the composition filters model was introduced for addressing some composition problems of object-oriented modeling. In the follow-up years, this model has been extended with new constructs for aspect-orientation, multiple language support and verification. The research on software composition has pioneered aspect-oriented programming and in particular “interface-based aspect-oriented programming”.

Description of the function

The candidate is expected to carry out excellent research, participate in research projects, acquire new research grants, supervise students and Ph.D. assistants, and prepare and give university courses.

Expected expertise

The Software Engineering chair wants to extend its research activities on software composition into new perspectives through the recruitment a new assistant professor. It is preferable that the candidate has some background in aspect-orientation. The following list identifies a number of topics that can serve as examples of relevant research on software composition:

· Composable concurrent, real-time models

· Composable distributed and mobile systems

· Models for expressing composable frameworks, product lines and software
  architectures

· Language design and implementation for improved composability

· Type systems & program verification techniques of composable models

· Patterns for software composition

· Generative programming for improved composability

· Domain-specific languages for improved composability

The Software Engineering Chair aims at carrying out research that is based on the relevant industrial problems, and the results of the research must be considered relevant in practice. The Software Engineering chair emphasizes the importance of internal and external collaboration.

What we offer

We offer a permanent contract with a formal trial period of 2 months.
The extent of this position is a maximum of 38 hours per week (1 fte) according to the Dutch university rules. Part-time arrangements are possible.

The gross monthly salary depends on experience and qualifications and will be maximum € 4.868,-- (scale 12). Additionally, the University of Twente provides excellent facilities for professional and personal development.

In addition to this we offer a holiday allowance (amounts to 8%) and an end-of-year bonus (this year 6,4%, next year 8,3% and from 2010 an extra month of salary) and a number of additional benefits. The labor agreements are in accordance with the CAO-NU for Dutch universities.

Information and application


For information about this position you can contact Prof. Dr. Ir. Mehmet Aksit
(+31 (0)53-489 2638) e- mail: m.aksit@ewi.utwente.nl

Send your application together with letter of motivation, curriculum vitae, publication list, e-copy of 3 key publications, and names of references, before 15 September 2008 to: m.aksit@utwente.nl with reference to vacancy number 08/201.

Professor Position/System and Software Reliability/University of
Luxembourg


Open Position:
Professor of Computer Science

Area: System & Software Reliability
Ref:F1-080001

"Computer security and reliability" is one of the strategic
priorities of the University of Luxembourg. The
professorship in system and software reliability is intended
to complement and strengthen the existing research expertise
in the Computer Science and Communication Unit of the
Faculty of Science, Technology and Communication.

We welcome candidates with an excellent research record in
dependable systems and networks, especially in the field of
system and software reliability. The area encompasses, among
others, methods and tools for system safety and reliability
assessment, fault identification and management, fault
tolerance, system and software vulnerability assessment and
testing, model-driven software development, rigorous
techniques for dependable system design, architectures and
middleware for dependability, autonomic computing, protocols
and algorithms for communication reliability.  Application
areas of particular interest for Luxembourg  include crisis
and emergency management, and communication reliability in
convergent networks.

The new professor is expected to contribute to undergraduate
and graduate teaching, in particular to the "Master of
Science in Information and Computer Sciences" and the
"Professional Master in the Management of Security of
Information Systems" . Furthermore, he/she is expected to
build and lead a team of PhD students and post-docs. The new
professor will be offered a highly competitive salary and
will be able to contribute in a very dynamic environment to
the development of a young and fast growing university.

Requirements

Candidates have a PhD in computer science and at least five
years of relevant work experience after their PhD. They have
a strong affinity with the indicated research area, an
excellent international scientific reputation, adequate
experience in teaching and in managing research activities,
and a past performance in obtaining externally funded
research projects. We welcome industrial experience.

Offer

The University offers competitive salaries.
The University of Luxembourg is an equal opportunity employer.

Applications letters with clear referral to the concerned
position and containing a detailed CV, the list of
publications and a short research statement must be sent by
ordinary mail to the Dean of the Faculty

Prof. Massimo Malvetti
Université du Luxembourg – Campus Kirchberg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg

Please include all application documents as pdf-documents on
a CD-ROM as well.

Applications are to be received no later than Tuesday,
September 30th, 2008.

For further information, please contact prof.dr. Leon van
der Torre, responsible for the strategic priority on
security and reliability of the University of Luxembourg,
leon.vandertorre@uni.lu>

Two PhD Positions
              in
       Secure Software and Languages

       Department of Computer Science
       Katholieke Universiteit Leuven, Belgium

Applications are invited for two PhD positions within the DistriNet
Research Group at the Katholieke Universiteit Leuven, Belgium.
The research will be conducted under the supervision of David Clarke.

* Research topics:

These positions are devoted to research on secure software and languages,
including, but not limited to:
* modelling highly adaptable trustworthy systems
* types and models for software families
* logic and type systems for security; ownership types; pluggable types
* programming languages for secure software

* Profile & skills

- Clear interest in and knowledge of the subject, based on education, work
or research experience
- Masters in Computer Science or Informatics
- Team player; capability to work in an international research team
- Proficiency in English and excellent communication skills, both oral
and written
- Prior knowledge in the areas of type systems, security, programming
languages and/or formal methods is an advantage.

* About DistriNet

The "Distributed systems and computer Networksâ" (DistriNet) research
group was founded in 1984 as part of the Department of Computer Science
at the K.U.Leuven. DistriNet's research focus and scope is twofold:
distributed softwareâ and secure software.
The group works on a wide range of topics including computer networks,
middleware, internet architectures, network and software security,
embedded systems and multi-agent systems. DistriNet's research is generally
application driven and often conducted in collaboration with industry
partners.

Currently DistriNet counts 60 members (8 professors, 12 post-docs and
45 junior researchers) and participates in about 30 national and
international research projects. The annual budget amounts to approximately
5MEuro. More information on projects and publications can be found on the
DistriNet web pages:

    http://distrinet.cs.kuleuven.be/

* About Leuven

Lively Leuven is a  picturesque and upbeat Flemish city, just 25km from
Brussels, and within 3 hours of major European centres such as Antwerp,
Amsterdam, London and Paris. Leuven is shaped by its healthy student
population - some 25,000 of them - more than a quarter of the town's
population.

* Further Information and Application Procedure

Requests for further information and other informal enquiries can be sent
to:
        Dr. David Clarke
        David.Clarke at cs.kuleuven.be

Those interested in the position are asked to send e-mail to the address
given above. Full Details of the application process are available upon
request, but an application will include:

    1. A cover letter stating the applicant's interest in the project.

    2. A full curriculum vitae, including an abstract of the applicant's
       master's thesis and the name of their supervisor.

    3. Letters of recommendation or references from at least two
       scientific staff members. (Letters of recommendation should either
       be included along with the application, or should arrive
       separately promptly.)

    4. A completed application for postgraduate study at the K.U.Leuven.

Applications and instructions are available at

        http://www.kuleuven.be/phd/

Applications will be considered until the position is filled, but those
received on or before 15 August 2008 will have priority.

The PhD positions are for 4 years.
The start date is negotiable, 1 October 2008 at the earliest.

PhD Position on Formal Verification of Deadlock Avoidance Mechanisms in NoCs
The Informatics for Technical Applications group at the Radboud University Nijmegen invites applications for a PhD position in the context of the NWO project "Formal Verification of Deadlock Avoidance Mechanisms" (see http://www.cs.ru.nl/~julien/Julien%20at%20Nijmegen/FVDAM.html).
The Radboud University Nijmegen is one of the leading academic communities in the Netherlands. Renowned for its green campus, modern buildings, and state-of-the-art equipment, it has nine faculties and enrolls over 17.500 students in approximately 90 study programs. The university is situated in the oldest Dutch city, close to the German border, on the banks of the river Waal (a branch of the Rhine). The city has a rich history and one of the liveliest city centers in the Netherlands.
The Informatics for Technical Applications (ITA) group is part of the Institute for Computing and Information Sciences (ICIS). The group develops formal methods and tools for the specification, design, analysis and testing of embedded systems, distributed algorithms and protocols, and assesses and demonstrates the effectiveness of these methods and tools in the industrial development process. ITA has an excellent international reputation and its research program was singled out as "Excellent" in the last national research assessment.
Project Description
Network-on-chip is an emerging paradigm that could meet future applications demand. The correctness of a system-on-chip will largely depend on the correctness of the NoC. There has been little work on the application of formal verification techniques to NoCs. This is a challenging area, in particular, due to fact that the verification needs to be done on parameterized networks.
The goal of this project is to develop formal verification methods for parameterized networks on a chip (NoCs). We aim at a general model and verification methodology that encompasses the essential constituents of NoCs communication architectures -- that is, protocols and topologies, routing algorithms, and scheduling policies -- and applies to a wide variety of systems. The project will tackle the specification of properties about the absence of deadlock, livelock, and will allow to quantify the routing performance of an NoC. In particular, the project will focus on deadlock avoidance mechanisms. Deadlocks may be generated at the protocol or at the structural (for example, routing algorithms) level. The challenge of the project lies in supporting the analysis of these two kinds of deadlocks for parameterized, or unbounded, models.


To begin with, we want to analyze practical case studies, either publicly available or provided by industrial partners. Our methodology will be based on the Generic Network model (GeNoC) and its implementation in the ACL2 logic. From this practical experiments, we plan to generalize our approach to generate ranking function for parameterized systems. One interesting research direction is to combine the general formalization in ACL2 with powerful tools dedicated to termination proof, like Terminator.


Requirements
The candidate must hold an MSc or equivalent with top performance in a field that is closely related to computer science or mathematics. He or she should have interest in conducting original scientific research, publishing the results in top conferences and scientific journals, and participating in teaching duties. Maturity, self-motivation and the ability to work both independently and as a team player in local and international research teams are expected. Dutch language skills are not required, English is mandatory.


Conditions of employment
The positions involve a normal employment contract for a period of up to 4 years, and is expected to lead to a Ph.D. degree. The salary grows to approx. 2500 euro gross per month in the fourth year. For additional information please see our website (http://www.ita.cs.ru.nl/) and/or contact Julien Schmaltz:
   
        Phone: +31 (0)24-3652104
        E-mail: julien - at - cs - dot - ru - dot - nl


Applicants
should submit their application to pz@science.ru.nl or via surface mail to


Radboud University Nijmegen
Faculty of Science
P&O Department
Attn. Drs. D. Reinders
PO Box 9010
6500 GL Nijmegen
The Netherlands


referring to number 62.69.08.


Applications should include a cover letter, a curriculum vitae, and contact details of at least 2 references.
Review of completed applications will begin October 1st, 2008. The position remains open until filled.



------------------------------------------------------------------------
Dr. Julien Schmaltz
Model Based System Development (MBSD)
Institute For Computing and Information Sciences

Radboud University  Nijmegen
The Netherlands
julien@cs.ru.nl   --- www.cs.ru.nl/~julien/
Phone: +31 24 36 52104  ---  Fax:   +31 24 365 2728
------------------------------------------------------------------------

Job opening PhD student for the interdisciplinary VAAG-project
              The Institute for Logic, Language, and Computation, the         Netherlands has an opening starting flexibly between September         1st, 2008 and January 1st, 2009 for a PhD-student.  The         position is in the interdisciplinary VAAG-project which         involves philosophers, linguists, cognitive scientists, and         psychologists from various european countries. The Amsterdam         part of the VAAG-project is coordinated by Robert van Rooij         and Frank Veltman. The advertised position is for a three-year         PhD project.      
              For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2421

Postdoctoral research fellow on the project `On vagueness -- or how to be precise enough'
              The Institute for Logic, Language, and Computation, the         Netherlands has an opening starting flexibly between September         1st, 2008 and January 1st, 2009 for a Postdoctoral research fellow.  The         position is in the interdisciplinary VAAG-project which         involves philosophers, linguists, cognitive scientists, and         psychologists from various european countries. The Amsterdam         part of the VAAG-project is coordinated by Robert van Rooij         and Frank Veltman and funded by the NWO.      
       The main goal of the project is to develop a formal framework within which the characteristic semantic and pragmatic properties of vague expressions can be systematically explored. One such property is context dependence. A second phenomenon that we intend to study concerns the level of granularity used to interpret precise terms. The focus of the exact research agenda will be determined together with the successful candidate. It can range from logic (providing a syllogistic-like system for a vague word like `tall') to linguistics.
     Please send your applications electronically to f.veltmanuva.nl or r.a.m.vanrooijuva.nl.         For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2421 or contact p.vanormondtuva.nl.

•               Postdoc Position in Computational Social Choice
        The ILLC is seeking to hire a postdoctoral research fellow (three years) in computational social choice, an active research area at the intersection of logic, computer science, and mathematical economics.
                For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2413         or contact Ulle Endriss (ulle.endrissuva.nl).      
  

Assistant Professorship (tenure-track) in Logic / Foundations  of Mathematics / Universal Algebra, Bern (Switzerland)
              The Faculty of Science at the University of Bern, Switzerland, invites          applications for the position of an       Assistant Professor Tenure Track in Mathematics       at the Institute of Mathematics. The starting date of the position is          September 1st, 2009 or by mutual agreement.      
       We are looking for candidates with internationally recognized          contributions to       Logic or Foundations of Mathematics or Universal Algebra       who will build up a research group of their own. We prefer candidates who       complement the research profile of our faculty      
            Applications must be received before 12 September 2008.       For more information, see        http://www.math.unibe.ch/ or        http://www.iam.unibe.ch/        or contact Prof. F.  Kutzschebauch at        frank.kutzschebauchmath.unibe.ch.