荷乐网下载手机App | 客服热线:0031(0)104133904
sgwyj  四海霸王  2008-2-5 16:11:25 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

50 PhD scholarships in Informatics, Edinburgh (Scotland)


     FIFTY research scholarships are available for         UK students, EU students and students worldwide.         Many of these are full scholarships, paying your tuition fees and a         stipend of 12940 pounds to cover living expenses in your first year,         rising in second and third years.  The rest pay your fees and/or a         contribution towards living expenses.  Payment of fees for non-EU         students is subject to successful competition for an Overseas Research         Student award.  PhD students are encouraged to make contributions to         teaching, for example by leading tutorial groups, and for this you can         expect to earn an additional 500-1000 pounds per year.      
              Your application form should be returned by mid-March.         Earlier applications have access to a wider range of sources         of financial aid.  For more information, see         http://www.inf.ed.ac.uk/postgraduate/phd-advert.html.
sgwyj  四海霸王  2008-2-5 16:12:05 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

University Lectureship in Philosophy of Science, Cambridge  (U.K.)

     We intend to appoint a University Lecturer in philosophy of science.          Responsibilities include contributing to all aspects of undergraduate          teaching and supervising graduate students, in addition to taking a          prominent part in leading research in the field in the Department and          taking on administrative responsibilities.      
            Closing date for applications: 29 February 2008.       For more information, see       http://www.hps.cam.ac.uk/jobs/ul.html.       Informal enquiries       may also be made to the Administrator (th10001cam.ac.uk).       Quote Reference: JN02937.
sgwyj  四海霸王  2008-2-5 16:13:14 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

顺便做个广告 欢迎大家来阿姆斯特丹的新年party

http://www.acss-amsterdam.nl/
sgwyj  四海霸王  2008-2-11 01:40:04 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

ASSISTANT PROFESSOR POSITION AT UPPSALA UNIVERSITY

Tenure track position with more than half of time allocated to research.

The targeted research areas include:
* computer architecture
* computer networks
* computer security
* embedded systems

Deadline: March 3

The formal announcement can be found below.

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

Applications are invited for a position as

Assistant Professor (Biträdande lektor)
in Computer Science/Computer Engineering
at Uppsala University,
    Department of Information Technology,
    Division of Computer Systems.

http://www.personalavd.uu.se/ledigaplatser/3176bitrlekt_eng.html

DESCRIPTION OF AREA:
At the divisision of computer systems, research and teaching are aimed at
development of better computer systems. Research activities include computer
archictecture, computer networks, real time and embedded systems, formal
specification, verification and analysis, machine learning, and pedagogic
methods for computer science education. For more information, see the homepage
http://www.it.uu.se/research/docs.

The appointment includes mainly research and teaching on undergraduate and
graduate level, and graduate student supervision. Initially, the appointment
includes more time for research than for teaching.

APPOINTMENT PERIOD:
The position can be held for a maximum of four years. It is tenure track in
the following sense: if the candidate successfully applies for promotion to
senior lecturer within the four year period, the position is transformed into
a permanent position.

QUALIFICATIONS REQUIRED:
To qualify for appointment as Assistant Professor (Biträdande lektor in
Swedish) you must have a PhD degree or equivalent. Priority is given to
applicants who have completed their PhD at most five years before the
application deadline.
The ability to teach in Swedish or English is a requirement. The successful
candidate is expected to teach in Swedish within two years.

CRITERIA FOR RANKING:
In ranking qualified applicants scientific and pedagogic skills will be taken
into account in equal amount. When considering the scientific skills,
particular importance will be attached to how the candidates research can be
expected to contribute to the development of the divisions research in some of
the following areas (with no particular ordering): computer architecture,
computer networks, computer security, and embedded systems. The ability and
interest to cooperate with other researchers is also important.
When considering pedagogic skills, consideration will be given to experience
an planning, carrying out, and evaluating teaching and examinations, and
supervising students.

When applying for promotion to senior lecturer, teaching and research skills
will be considered equally important.

In filling this position, the university aims to recruit the person who, in
the combined evaluation of competence, skills and documented qualification, is
judged most suitable to carry out and develop the work-in-hand and to
contribute to a positive development of the department.

Personal circumstances that may be of positive relevance to the application,
for example periods of parental leave, should be mentioned in the list of
qualifications (CV).

Uppsala University is striving to achieve a more even gender balance in its
research and teaching staff and women are especially invited to apply for this
position.

HOW TO APPLY:
The application must be written in English and the applicant is required to
submit two copies of documents and one copy of publications according to
instructions found on the web site
http://www.teknat.uu.se/english/instructions.php  or ordered from
jenny.lundstrom@uadm.uu.se, phone +46 18 471 1798.

For further information about the position, please contact professor Bengt
Jonsson, phone +46-18-4713157, e-mail bengt@it.uu.se, the head of the Division
Ivan Christoff, phone +46 18 471 3161, e-mail ivan@it.uu.se .

The trade union representatives are Anders Grundström, SACO (the Swedish
Confederation of Professional Associations), phone +46 18 471 5380 and Carin
Söderhäll, TCO/ST (the Swedish Confederation of Professional Employees), phone
+46 18 471 1996, Stefan Djurström, SEKO (the Union of Service and
Communication Employees), phone +46 18 471 3315.

Applications should be directed to the Vice chancellor and mailed so as to
arrive at Uppsala University, Registrar´s Office UFV-PA 2007/3176, Box 256,
SE-751 05 Uppsala, Sweden or fax +46 18 471 2000, no later than March 3, 2008.
If the application is sent by fac, it should be followed by a signed original
of the application sent within a week of the deadline.
sgwyj  四海霸王  2008-2-11 01:40:25 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

The VERIMAG laboratory has a vacancy for a post-doctoral position on:

        Development of Automatic Techniques for Software Verification
        =============================================================


*** Project description

Within the past decade, push-button verification techniques (e.g. model
checking, SAT solving, etc.)
have become commonplace in the development of hardware systems. An
integration of such methods
with software development is highly required by the manufacturers of
critical and embedded software
(avionics, telecom, public transport, etc.). However, the rather
sophisticated nature of software
(complex data structures, recursion, multithreading) pose interesting
theoretic and practical problems
to the developers of automatic analysis and verification methods.

The goal of this project is to adress concrete verification problems
of real-life software. Research areas include, but are not limited to:

- program logics and proofs
- generation of invariants
- infinite-state model checking
- static analysis (abstract interpretation)

The appointment is for one year, starting as soon as possible, with
possibility of extension.

The contract will be within the AVERILES project of the ANR (French
National Research Agency):
http://www.lsv.ens-cachan.fr/rntl-averiles/

*** Research group

The research will take place in the Distributed and Complex Systems group
(http://www-verimag.imag.fr/~async/pv.html) of the research laboratory
VERIMAG. The members of this group focus on a wide range of problems such
as program verification, computer security, testing and synthesis,
component-based
development, etc. VERIMAG is an academic research laboratory affiliated
with CNRS
(French National Research Center), UJF (University Joseph Fourrier) and
INPG
(National Polytechnic Institute of Grenoble).

*** Qualifications

The applicants must have a PhD in Computer Science, with knowledge in at
least one of the following fields:

- first-order, higher-order logics, proof theory, arithmetic theories
- formal languages, automata theory, rewriting

Previous experience in the domain of verification is not required, but
may be considered a plus. Knowledge
of the French language is not required.

*** Contact

For further information and applications, send email to Radu.Iosif@imag.fr
sgwyj  四海霸王  2008-2-11 01:41:05 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

===================================================================
National Institute of Aerospace (NIA) Position Announcement:
Postdoctoral Associate in Formal Methods
====================================================================

The National Institute of Aerospace (NIA) has an opening for a
Postdoctoral Associate to work in the area of Formal Methods.
The position requires collaboration with a team of researchers from
NIA, SRI International and NASA.  The project "Formal Verification
and Automated Testing for Diagnostic and Monitoring Systems Using
Hybrid Abstraction"  is funded by a NASA grant in Integrated Vehicle
Health Management (IVHM).

Project description:
--------------------
The objective of this project is the development of methods and tools for
the formal verification and automated testing of hybrid systems, and to
apply these methods and tools to diagnostic and monitoring systems in
vehicles that will operate in the Next Generation of Air Transportation
Systems.

The central theme of this proposal is the use of hybrid abstraction to
support both verification and testing. Hybrid abstraction is a promising
new static analysis method that allows the principled construction of
sound abstractions of hybrid systems, while preserving sufficient
properties for analysis.

Discrete abstractions constructed by this method are finite systems that
can be analyzed using the capabilities of existing symbolic model
checkers, such as SRI's Symbolic Analysis Laboratory (SAL).
However, these systems are likely to be computationally expensive to
analyze.
For this reason, we plan to improve SAL with advanced model-checking
techniques, such as the saturation procedure for state-space construction
and the Multiway Decision Diagrams data-structure available in the tool
SMART (Stochastic Model-checking Analyzer for Reliability and Timing), and
recent developments on invariant generation.

Requirements:
---------------
* PhD. degree in Computer Science, or closely related field;
* Research experience in Formal Methods, particularly in
symbolic Model Checking and/or SMT solvers;
* expertise in C/C++ and/or Scheme programming;
* Strong verbal and written communication skills;

Duration of employment:
-----------------------
The initial appointment will be for one year.

Applications:
-------------
Screening of applications will begin immediately and continue
until the position is filled. Candidates should send a resume,
one-page summary of previous accomplishments, description of career
goals, and the names and contact information of three current
references to:

Cathy Hopkins, Human Resources Director
National Institute of Aerospace
100 Exploration Way
Hampton, VA 23666
Fax:  (757) 325-6701
E-mail:  HR@nianet.org

--------------------------------------------------------------------
NIA, located near NASA Langley Research Center in Hampton, Virginia,
is a rapidly-growing, non-profit research and graduate education
institute created to perform aerospace and atmospheric research,
develop new technologies for the nation, and help inspire the next
generation of scientists and engineers.  Additional information about
NIA and its research programs is available via the World Wide Web at
www.nianet.org

NIA is an equal opportunity/affirmative action employer.
Applications from women and members of minority groups are
encouraged to apply.
====================================================================
sgwyj  四海霸王  2008-2-18 08:51:51 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

OPEN ACADEMIC POSITION AT THE DEPARTMENT OF COMPUTER SCIENCES OF ULB
IN MODEL-BASED DEVELOPMENT OF *EMBEDDED SYSTEMS*
=====================================================================

The Faculty of Science of the Université Libre de Bruxelles (ULB) announces the opening of a full-time academic position in the Department of Computer Science starting October 1st, 2008.

Candidates are expected to lead high quality teaching and research programs in model-based development of embedded systems. All applicants are expected to hold a Phd in Computer Science or related disciplines and to have a strong record of publications and research experience in areas such as model-based design, verification, test, real-time scheduling or models for security. Experiences in international research collaboration as well as a significantly long research stay in a foreign university or research laboratory are important assets.

Several research teams of our department are active in the area of rigorous development methods for embedded systems, and in particular in: computer aided verification, testing and design, mathematical models for embedded systems, scheduling theory, and models for security. The candidate should be able to reinforce one of these topics within our department.

The position involves both teaching and research and some commitment to administrative tasks. For candidates not fluent in French, a temporary period of teaching in English may be granted. This position will become permanent after a trial period of three years.

The candidate will take part in teaching activities in the Bachelor and Master programmes in Computer Science, and in the evening Master program in Computer Science organized by ULB and Université de Mons-Hainaut.  He/she should progressively increase his/her teaching activities to reach a level comparable to that of his/her colleagues (typically 4 or 5 hours a week for two semesters, plus supervision of exercises sessions).

If the selected candidate is neither already employed by ULB nor employed by the Fonds National de la Recherche Scientifique and working at ULB, he/she will be offered a first contract for a duration of three years. At the end of this period and subject to the agreement of the Board of the university, he/she will be offered a permanent position.

How to apply?

Applications should be sent as soon as possible, and before April, 1st 2008
to the following address:

Professeur Philippe Vincke,
Recteur de l'ULB
ULB CP 130
50 Av. F.D. Roosevelt
B-1050 Bruxelles
BELGIUM

with subject:  "Vacance Chargé de cours en systèmes embarqués au Département d'Informatique,  Sciences".


A copy of the application should be sent to:

Professeur Gianluca Bontempi
Président du Département d'Informatique
ULB CP 212
Boulevard du Triomphe
B-1050 Bruxelles
BELGIUM

The application should consist of (i) a curriculum vitae, (ii) a description of the candidate's pedagogical project, (iii) a description of the research project that the candidate intends to pursue in the coming years,  (iv) a text presenting the (up to five) most significant publications of the candidate and (v) a copy of these most significant publications (up to five).

The candidates are invited to use the standard model of curriculum vitae proposed at ULB. This model can be downloaded at the following website:  http://www.ulb.ac.be/facs/sciences/admin/docs-admin/Cvtype.rtf


Additional information:

As stated by its statutes, the University of Brussels is a non discriminating institution and all its members are expected to adhere to its fundamentals principles.  For any additional information (e.g. concerning courses to be taught or the research carried out in the Department) please contact Prof. Gianluca Bontempi (gbonte@ulb.ac.be ), Head of the Department of Computer Science, or visit  the following web pages:
www.ulb.ac.be/di   (Computer Dept. home page)
www.ulb.ac.be/facs/sciences/info/equipes.html (Computer Dept. research teams home page)

sgwyj  四海霸王  2008-2-23 09:53:57 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

希望各位博士同学在课余也多参加各种文娱活动

比如:http://www.gogodutch.com/showthread.php?t=217080

感觉这边的博士生有不少比较深居简出 关心的话题也以工资退税老婆孩子买车买房为主


Resarch Position in
  Computing Science at the
  University of Oldenburg

The Department of Computing Science at the University of Oldenburg
has vacancies in the research groups "Correct System Design"
(Prof. Dr. E.-R. Olderog), "Hybrid Systems" (Prof. Dr. M. Fränzle)
and "Safety Critical Systems" (Prof. Dr. W. Damm)
for two positions as

research associate (scale E13 TV-L, full time)

starting as soon as possible. The position is associated with
the Transregional Collaborative Research Center
AVACS (Automatic Verification and Analysis of Complex Systems)
of the German Research Council.

One position involves participation in the subproject R1 "Beyond
Timed Automata" in the research groups of E.-R. Olderog and
M. Fränzle. Subproject R1 advances the state of automatic verification
methods for real-time systems specified in rich, high-level languages.
Applicants are expected to have an MSc in Computing Science or Mathematics.
The position is initially available for 2 years (with the possibilty
of an extension until 31.12.2011).

The successful candidate should have a profound knowledge
in the semantics, specification and verification of reactive systems,
in particular real-time systems. Further on, interest in the
application and development of tools for the automatic verification
of time critical systems is expected.


The other position is associated with subproject H3 "Automated Verification
of Cooperating Traffic Agents" in the research group of W. Damm.
H3 addresses the verification of collision freedom of cooperating
traffic agents at three abstraction levels, the cooperation layer,
the local control layer, and the design layer. For each of
these, it develops dedicated verification techniques, integrating
verification engines developed in subprojects H1/2, and methods for
synthesis of criticality functions developed in subproject H4. It
provides semantic bridges between the addressed abstraction levels to
pave the way for a complete verification methodology for cooperating
traffic agents.

Applicants are expected to have an MSc in Computing Science or
Mathematics. The position is available up to 31.12.2011.

The successful candidate should have a profound knowledge in
formal methods, in particular in specification and verification of
hybrid systems.

AVACS is conducted as a collaboration of the University of Oldenburg
with the Universities of Freiburg and Saarbruecken as well as
the Max-Planck-Institute for Computer Science in Saarbruecken.
It provides an excellent research environment for young scientists
and offers the possibility of obtaining a PhD degree. For more
information see www.avacs.org.

Interested persons should get in contact as soon as possible
by E-mail with Prof. Dr. E.-R. Olderog, Prof. Dr. M. Fränzle or
Prof. Dr. W. Damm

olderog@informatik.uni-oldenburg.de
Martin.Fraenzle@informatik.uni-oldenburg.de
Werner.Damm@informatik.uni-oldenburg.de

Applications should be addressed to

University of Oldenburg
Dept. of Computing Science
Jürgen Niehaus
26111 Oldenburg
Germany

and arrive no later than 7.3.2008.
shatter  海贼王  2008-2-24 15:53:18 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

嗯,很久没来帮顶了!
sgwyj  四海霸王  2008-2-24 20:50:18 | 显示全部楼层 来自: 荷兰

回复: CS为主Logic/math/philosophy相关的positions

多谢 :)

Post by shatter;2984725
嗯,很久没来帮顶了!
您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表

关于此网站上的Cookie

我们使用 Cookie 来个性化和改善您在我们网站上的使用体验,了解您如何使用本网站和为您提供量身定制的广告或咨询。 如果您继续使用我们的网站,即代表您同意我们使用 Cookie政策。 请访问我们Cookie条款隐私条款,了解最新内容。

接受