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

Postdoctoral position on "Continuous time models of  computations", Nancy (France)
              A postdoc position is available in Nancy, France on the topic of "Continuous time models of computations".       Requirements include an excellent PhD in Computer Science or Mathematics       and experience in any of the fields of Models of computations, Computability theory, Complexity theory,          Theory of Verification, Control Theory and/or Dynamical Systems.      
     Candidates should contact Olivier Bournez by email:         bournezloria.fr.         For more information, see Olivier Bournez' page at         http://www.loria.fr/~bournez/.

多谢楼主的信息，能否请帮忙留意下 Embedded system相关的PhD职位啊，谢谢

New Developments in Operational Semantics

          School of Computer Science, Reykjavik University

           One PhD studentship and one postdoctoral position


Applications are invited for one PhD studentship and one postdoctoral position at the School of Computer Science, Reykjavik University.  The positions are part of a three-year research project funded by Rannis (the Icelandic Fund for Research), under the direction of Luca Aceto and Anna Ingolfsdottir. The aim of the project, which has MohammadReza Mousavi (TU Eindhoven) as co-proposer, is to contribute further advances to the study of the meta-theory of structural operational semantics. In particular, the project aims to

1. Generalize some of the existing results from the meta-theory of SOS in order to improve their applicability;
2. Establish new meta-results regarding security-related notions;
3. Provide compositional reasoning methods for logics of security;
4. Apply the resulting theory to a number of case studies dealing with modern programming languages and formalisms; and
5. Develop prototype tool support for experimenting with SOS language specifications.

As witnessed by the above-mentioned aims, the proposed research programme within the project is wide ranging in scope, offering considerable flexibility to the successful candidates to pursue particular research interests.

The successful candidates will benefit from, and contribute to, the research environment at the Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS). For information about ICE-TCS and its activities, see http://www.icetcs.ru.is/.

Qualification requirements

Applicants for the PhD studentship should have a good MSc degree in Computer Science, Mathematics or closely related fields, and have a strong background in discrete mathematics and formal systems. Some previous knowledge of topics from at least one of concurrency theory, process calculi and structural operational semantics is not a prerequisite, but would be desirable.

Applicants for the postdoctoral position should have a PhD degree in Computer Science, Mathematics or closely related fields. Previous knowledge of at least one of concurrency theory, mathematical logic and its applications in computer science, process calculi and structural operational semantics would be desirable.


Remuneration

PhD position: 250,000 ISK (roughly 2,200 euros) per month before taxes, for three years, starting in October 2008 or January 2009.

Postdoc position: 350,000 ISK (roughly 3,080 euros) per month before taxes, for one year, starting in October 2008 or January 2009. The position is renewable for up to two years pending availability of funding and mutual satisfaction.

Application details

Interested applicants should send their CV, including a list of publications where applicable, in PDF to the addresses below, together with a statement outlining their suitability for the project and the names of two referees.

Luca Aceto
email: luca@ru.is

Anna Ingolfsdottir
email: annai@ru.is

We will start reviewing applications as soon as they arrive, and will continue to accept applications until the positions are filled. However, we strongly encourage interested applicants to send in their applications as soon as possible.

About the School of Computer Science at Reykjavik University
The School of Computer Science at Reykjavík University offers undergraduate programs in computer science, software engineering and mathematics.  The School also offers M.S. degrees in computer science, language technology, and software engineering, as well as a PhD program.   The School of Computer Science has a strong research focus in multiple areas and has good research ties with a number of universities and institutions around the world.  Reykjavík University is entrepreneurial in nature and places particular emphasis on active cutting-edge research, excellence in teaching, and ties with industry and the international community.

Further information on the School of Computer Science is available at http://www.ru.is/cs.

In addition to offering a friendly, open-minded society and a high quality of life, Iceland is home to several successful industrial enterprises with substantial international operations, including many in the field of information technology. Reykjavik University has good relations with local industry and receives from it good support for both its educational programs and research. Furthermore, Reykjavík University, and in particular the School of Computer Science, has ties with several leading foreign universities, facilitating collaboration, as well as faculty and student exchanges.

=======================================================================
PhD Thesis in Computer System Security. -----------------------------------------------------------------------
Domain: Information and Communication Science and Technology.
Area: Formal basis of Computer Science, Security.
=======================================================================
A grant for a PhD Thesis in computer system security will be available
at Laboratoire d'Informatique Fondamentale de Marseille (LIF), France,
with starting date in September 2008.

The subject of the thesis is the study of security aspects of applications handling shared data in a distributed and dynamic environment.
Typically, shared data consists of XML documents respecting an associated
security policy which is described in one of the usual formats (WS-SecurityPolicy, RBAC,...).

Required qualifications and skills
==================================
Masters Degree in Computer Science or equivalent.
Interest in theoretical aspects of computer science, fluency in a programming language such as Java.  
Familiarity with the following topics will be appreciated:
computer security, security policies and access control, Web services, XML, logics, symbolic resolution methods,
XML-oriented languages, XPath.
The working language is French or English. French skills, although helpful, are not essential.

Contact:
========
Candidates who wish to apply have to send their curriculum vitae including publication list
to  Clara.Bertolissi@lif.univ-mrs.fr and  Denis.Lugiez@lif.univ-mrs.fr.

Applications will be considered until the position has been filled.
For more information see http://www.lif.univ-mrs.fr/spip.php?article95

The Embedded Software Engineering Group at Åbo Akademi University (http://www.abo.fi) in Turku, Finland is looking to expand its model driven engineering team with one post-doctoral researcher interested in the area of software engineering for embedded systems. The group currently counts 2 senior reserachers, 1 postdoc, 5 PhD students and 10 masters students, and is funded through several industrial research grants. More information about the research projects of the group can be found at http://www.it.abo.fi/research/ese

We are seeking candidates interested in the definition of software and system modeling languages, model-based development processes, modeling tools supporting these languages, their application to the development of embedded systems and the evaluation of the impact of such approaches on the development process.

The employment period is one year, ideally starting from September 2008.

Candidates for a post-doctoral position should have a doctoral degree in software engineering or a closely related field and research experience in the previous topics. Participation in research projects  in collaboration with the industry will be considered a merit.

The salary will be based on the new salary system for university employees in Finland. In practice, the monthly salary for a postdoctoral researcher in Turku is around 2500-3000 euro before taxes depending on experience.

Interested candidates can send an application by regular mail including a motivation letter,  C.V., list of publications, 2 academic references and copies of relevant degree certificates to the following address:

Ivan Porres

Avdelningen för informationsteknologi

Åbo Akademi

Joukahainengatan 3-5

FIN-20520 Åbo

Finland


Application deadline is August 1st. Please include in your application an email address and a telephone number that we can use to contact you during the summer months in case we want to discuss further details of your application.


Please contact Ivan Porres (iporres@abo.fi) if you have any questions about the application procedure.

The Eindhoven University of Technology (TU/e) has the following vacancy
(V32.022):
Postdoc "INtegrated European Signalling System" (INESS) project
within the expertise group Formal Methods (FM).
The Formal Methods (FM) group aims at a systematic and scientific study
of issues in computer science, based on solid mathematical principles.
The research area of Formal Methods develops the mathematics of computer
science. We want to apply our theory in the model-based engineering of
software-intensive systems, and in particular in the specification and
verification of such systems.
Project description
-------------------
Today there are over 20 rail signalling and speed-control systems
operating in Europe, all of which are completely incompatible with each
other. This complexity leads to additional costs and increased risk of
breakdowns. Promoted by the European Commission and driven by the need
for interoperability and harmonising of safety in the European railway
system, the European Rail Traffic Management System (ERTMS) aims to
remedy this lack of unification in the signalling and speed control.
The INESS project is a large-scale European project that aims at
contributing to the above mentioned European initiatives by defining and
developing specifications for a new generation of interoperable
interlocking systems suitable to be integrated in the ERTMS system.
You will work in the Formal Methods group on formal specification and
validation of requirements on railway signalling systems, and on
verifying and testing their design.
Requirements
------------
We are looking for a candidate who meets the following requirements:
* a PhD degree in the area of formal methods;
* good communication skills in English.
Appointment and salary
----------------------
We offer:
* a full-time temporary appointment for 27 months;
* a salary between € 2.802 and € 3.678 gross per month, depending on
experience and knowledge;
* an extensive package of fringe benefits (e.g. excellent technical
infrastructure, child care, savings schemes, and excellent sports
facilities);
* assistance in finding accommodation.
Information
-----------
* Information on the Formal Methods group can be found at the group’s
website: http://www.win.tue.nl/fm/;
* Information about the position: dr. B. Luttik,
e-mail: s.p.luttik@tue.nl, phone: +31(0)40-2475142;
* Further information: mrs P.J. Evers Bc, personnel officer,
phone +31(0)40-2472321, pzwin@tue.nl
Application
-----------
Interested candidates are requested to send their application,
preferably by e-mail to: pzwin@tue.nl or by normal mail to: Technische
Universiteit Eindhoven, Dept. of Mathematics and Computer Science,
Personnel Department, HG 6.22, PO Box 513, 5600 MB  Eindhoven, The
Netherlands.
The application should consist of the following parts:
* a cover letter explaining your motivation and qualifications for the
position and the project;
* a detailed Curriculum Vitae (including a list of publications);
* letters of recommendation or references of at least two scientific
staff members.
Applications should be received by 15 August 2008.
Please include the job vacancy code: V32.022.

==========================================================================
* PhD position with a grant for 4 years.
* PostDoc position for one year (and can be extended to a second one).

Systems Engineering and Discrete Event Systems Group
(http://webdiis.unizar.es/GISED)
University of Zaragoza (Spain)
==========================================================================
The activities of the group are related to the modelling, analysis and formal synthesis of some classes of artificial systems that are interesting from a technical point of view (production, computer, logistic, coordination, etc.). Usually more adequately modelled by means of discrete event systems formalisms (automata, Petri nets, process algebra, queuing networks...), the state explosion problem puts a limit to most of the analysis or synthesis techniques. Relaxations based on fluidification appear as a possible way to overcome these difficulties when largely populated systems or systems with high cadence are considered.
More specifically, the project will be mainly focused on the formalism of continuous and hybrid Petri nets, defined by relaxing the integrality constraint in a similar way as in fluid queuing networks.
Activities will be mainly related to the following aspects:
* Modelling (fluidisability of ­discrete event­ net models)
* Analysis and verification (both structural and model checking)
* Optimization of design (placement and size of buffers, equipment selection, ...)
* Operation (centralized and modular control, scheduling)
* Observers design
* Discretization of “optimal” continuous trajectories
* Development of adequate computer tools for the modelling, analysis and synthesis.
==========================================================================
PhD position
The main task for the accepted candidate will be to conduct research towards his/her PhD. The candidate is expected to complete the degree within 4 years.
Applicants must have MSc (or equivalent) degree in Automatic Control, Computer Science, Mathematics, Electrical/Electronics or Communications Engineering. Some knowledge on formal models on computer science, automatic control or operational research will be especially welcome.
The salary will be around 1200 EUR/month, with an incremental raise in the following years. Health insurance will also be provided.
The candidate could start on October-November 2008 or January 2009.
==========================================================================
PostDoc position
The position will be for one year (and can be extended to a second one).
A PhD-degree in automatic control, computer science, or operations research is required. Knowledge on Petri nets, hybrid or piecewise linear systems will be especially welcome.
The salary will be around 2000 EUR/month (in case, with an incremental raise in the following year). Health insurance will also be provided.
The candidate could start on October-November 2008 or January 2009.
==========================================================================
Contact: Applicants should send by email their CVs before 8th September 2008 to:
Prof. Manuel Silva (silva@unizar.es)
with copy to Dr. Cristian Mahulea (cmahulea@unizar.es)
Departamento de Informática e Ingeniería de Sistemas, and
Instituto de Investigación en Ingeniería de Aragón (I3A)
Universidad de Zaragoza
María de Luna, 1
50018 ZARAGOZA (Spain)

POST-DOCTORAL POSITION
The Information Security Research Laboratory (LRSI) of the Université du Québec en Outaouais seeks candidates for a post-doctoral position jointly funded by NSERC and CA Inc.
Title of research project: Methods and tools for the design, validation, implementation, and testing of security policies
Scientific direction: Profs. Kamel Adi and Luigi Logrippo
Related research interests : Formal methods in software engineering and security, logic, type theory, process algebras, privacy, practical applications of security methods in enterprise contexts.
Doctoral status: Having submitted or successfully defended a doctoral thesis in computer science or a related subject.
Languages required: French and English, written and spoken.
Duration: one year, renewable.
Salary: Canadian $35,000/year
LRSI Web site (under construction): www.lrsi.uqo.ca (the most uptodate version of this announcement will be on this site).
Submission deadline: August 17, 2008
Starting date: mid-September 2008 (negotiable)
Submission by email to the following address: ptits@uqo.ca. Please submit your academic CV and the names of three referees.
Geographical position: The UQO is in the National Capital Region of Canada, Gatineau-Ottawa. This region is the home of three universities with computer science programs and offers ample possibilities for professional development, in addition to sports and culture. Cost of living is moderate with respect to larger cities in North America or Europe. The address of the LRSI lab is : Pavillon Louis-Brault, 101 Saint-Jean Bosco, Gatineau, Québec, Canada J8X 3X7.


Avis de confidentialité
L'information contenue dans cette communication est strictement réservée à l'usage de l'individu auquel elle est destinée et peut contenir des informations confidentielles.  L'usage de cette information par tout individu autre que la personne désignée, y compris sa distribution, sa reproduction ou sa divulgation est strictement interdit.  Si vous avez reçu cette communication par erreur, veuillez en informer immédiatement l'expéditeur de ce message par retour de courrier électronique, et veuillez supprimer le présent message et détruire immédiatement toutes les copies de ce document.

The L3I laboratory in La Rochelle offers a 9 month post-doc position in computer science and agent modeling.
Candidate will be integrated in ImagIN team.
Candidates should have strong skills in at least one of the following fields:
- MAS programming
- MAS design
- formal models and Model cheking
- IDM technics
- Interactive systems programming
To learn more about the work at Laboratoire L3I please visit : http://l3iwiki.univ-lr.fr/tiki-index.php

Applicants should submit a CV including a brief research statement and a list of publications to:
Michel Augeraud, Marie Hélène Verrons, Ronan Champagnat ou Pascal Estraillier : michel.augeraud@univ-lr.fr, marie-helene.verrons@univ-lr.fr, rchampag@univ-lr.fr, pascal.estraillier@univ-lr.fr
Deadline for submitting applications : September 10th, 2008

The Digital Security group at the Radboud University Nijmegen in the Netherlands invites applications for a position of Assistant Professor in the field of Computer Security.
The Digital Security group (http://www.ru.nl/ds) is the leading research
group in computer security in the Netherlands, for instance attracting
world-wide attention with its recent investigations into RFID
security.  The group is highly international, with members from half a
dozen countries,  and takes an active role in the public debate about
issues related to computer security and privacy.
The current research in the group can roughly be divided into two
areas:
- identity-centric security and privacy, with topics such as security
protocols, applied cryptography, privacy and anonimity, smartcards
and RFID, and electronic voting;
- security and correctness of software and systems, with a focus on
program verification, esp. for Java.
With this new appointment we are looking to further bolster our
overall security expertise. The vacancy is therefore not limited to applicants with some given specialisation, but open to anyone
with a strong background in the broader field of computer
security, as long as their specialisation provides opportunities
for collaboration with others in the group, especially in the
first research area above.
The vacancy is for a full time, permanent position. The gross monthly
salary depends on experience and qualifications, with a maximum of
€ 4868,- (scale 12).  Applicants from outside the Netherlands qualify
for a special tax relief, by which 30% of your salary is tax free.
The deadline for applications is September 15, 2008.
For more information see http://www.ru.nl/ds/group/vacancies/
or contact
prof.dr. Bart Jacobs (tel: +31-24-3652236, e-mail: B.Jacobs@cs.ru.nl)
or
dr.ir. Erik Poll (tel: +31-24-3652710, e-mail: E.Poll@cs.ru.nl).
_______________________________________________