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

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

A postdoc and two PhD positions in Philosophy - Groningen
      Job opportunity Postdoctoral Fellow and scholarships for 2 PhD Candidates - Philosophy, Groningen. Women are particularly encouraged to apply.
              Deadline for applications: 15 September 2008.         For more information, see         http://www.rug.nl/filosofie/nieuws/actueel/vacaturesJuli2008
sgwyj  四海霸王  2008-7-29 23:05:48 | 显示全部楼层 来自: 荷兰

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


  •               Open Position in Computational Social Choice at University of Munich
                  The Computer Science Department at the University of Munich is         seeking to hire a PhD Student or postdoctoral research fellow         (three years) in computational social choice, an active         research area at the intersection of computer science,         mathematics, and economics.      
                  For more information, see http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=2417      
sgwyj  四海霸王  2008-7-29 23:06:04 | 显示全部楼层 来自: 荷兰

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

Postdocs at Carnegie Mellon University in Lab for Multi-Agent Technology
     The Lab for Multi-Agent Technology at CMU has        2 postdoc positions open:
      1. Area: distributed interaction in mobile sensor networks
      2. Area: negotiation; game theoretic interactions and/or argumentation based negotiation.      
       The successful candidate will have a PhD in Computer Science or related         discipline and will work with Dr. Katia Sycara and her research group. Salary: negotiable depending on experience. Start date: Fall 2008 or other mutually agreeable date        
              Please send you CV to Katia Sycara, e-mail: katiacs.cmu.edu. For more information, see the website at http://www.cs.cmu.edu/~softagents/ or contact Katia Sycara.
sgwyj  四海霸王  2008-7-29 23:06:23 | 显示全部楼层 来自: 荷兰

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

Assistant Professor (tenure track) in Logic, Philosophy Department, Calgary, Canada
      The Department of Philosophy at the University of Calgary invites applications for a tenure-track position at the rank of Assistant Professor beginning July 1, 2009. A PhD or equivalent is required. The Department is seeking candidates who are able to teach a range of courses in logic, from elementary formal logic to the advanced levels, including the meta-theory of first-order logic, undecidability, incompleteness, and non-classical logics. The area of specialization for this position is Logic or a related field of study.
     The Selection Committee will begin to assess applications after november 21, 2008.         For more information, see http://www.phil.ucalgary.ca/philosophy/jobs
sgwyj  四海霸王  2008-9-7 11:59:53 | 显示全部楼层 来自: 荷兰

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

The Department of Mathematics and Computer Science of the Technische

                             Universiteit Eindhoven has a vacancy for a



                                             PhD student

                       Trusted Architecture for Securely Shared Services (TAS3)

                                                  (V32.010)



                         within the Security of Embedded Systems (SEC) group.



           The Department of Mathematics and Computer Science provides undergraduate

           and MSc programs in Mathematics and in Computer Science. The department

           has research collaborations with other departments at the Technische

           Universiteit Eindhoven (TU/e) as well as with a large number of other

           universities and companies, both at home and abroad. The Department has

           approximately 350 employees and more than 700 students.



           The Security of Embedded Systems (SEC) group, officially established on

           October 1, 2007, is already one the CS groups at the TU/e with the largest

           involvement in national and international programs. SEC, together with the

           cryptology group of the TU/e, forms the Eindhoven Institute for the

           Protection of Systems (EIPSI). SEC focuses on technical aspects of

           security and privacy for embedded systems without disregarding the

           non-technical aspects (e.g. social and legal issues). More information

           on SEC and EIPSI may be found at the group page at http://www.win.tue.nl/sec/.





           TASKS:



           Trusted Architecture for Securely Shared Services (TAS³) is a European

           Integrated Project with 17 partners (among which: SAP Research, Oracle,

           Katholieke Universiteit Leuven), both from academia and industry, that will

           develop and implement an architecture with trusted services to manage and

           process distributed personal information. This architecture will be

           dependable, robust, cost-effective and reliable. The personal information

           that will be processed and managed can consist of any type of information

           that is owned by or refers to people. The proposed architecture will be

           generic and cross-domain applicable. TAS3 will focus on an instantiation of

           this architecture in the employability and e-health sectors. The project

           will allow users and service providers in these two sectors to manage the

           lifelong generated personal employability and e-health information of the

           individuals involved. For example, in the employability sector, personal

           information includes the professional interests, current and previous job

           activities, and future employment objectives of a worker. Service providers

           will then be able to use this information to propose career paths that are

           compatible with the worker's objectives. The healthcare sector is another

           context in which the TAS3 architecture can be instantiated. In this case,

           the patient could be offered advanced services based on a number of personal

           health parameters (weight, body temperature, glucose level for diabetes

           patients, etc.) that are introduced by the patient himself.

           Within the project the TU/e will mainly focus on the trust management aspect;

           how can users and/or services establish trust in a service. To this end

           different existing trust management frameworks will be combined and enhanced

           in innovative ways allowing use of both rule based trust policies, e.g. `I

           trust you if you are a certified physician' and reputation based policies,

           e.g. 'I trust you if you have a sufficiently good track record in the storage

           of medical information'.





           REQUIREMENTS:



           We are looking for a candidate who meets the following requirements:



           .  an MSc in Computer Science, Mathematics or closely related field;

           .  interest in computer security and formal methods;

           .  good communicative skills in English, both written and oral.





           APPOINTMENT AND SALARY:



           We offer:



           .  a full-time temporary appointment for a period of 4 years;

           .  a gross monthly salary of ? 2.000 during the first year up to ? 2.558

              during the fourth year of the appointment;

           .  a broad package of fringe benefits (e.g. excellent technical

              infrastructure, child care, savings schemes, and excellent sports

              facilities);





           INFORMATION:



           More information can be obtained from:



           .  regarding the project content: dr. J.I. den Hartog, phone

              +31(0)40-2472800, e-mail: j.d.hartog@tue.nl;

           .  regarding your application: mrs P.J. Evers BC, personnel officer,

              phone +31(0)40-2472321, e-mail: pzwin@tue.nl





           APPLICATION:



           Interested candidates are requested to send their application to:



           Technische Universiteit Eindhoven, Dept. of Mathematics and Computer

           Science, Personnel Department, HG 6.22, PO Box 513, 5600 MB Eindhoven,

           The Netherlands.

           We prefer you to send your application by e-mail to: pzwin@tue.nl.



           The application should consist of the following parts:



           .  a motivation letter;

           .  a Curriculum Vitae;

           .  copies of your diplomas together with the list of grades, and other

              relevant certificates;

           .  names and addresses of two referees;

           .  proof of English language skills (if applicable).



           Please include the job vacancy code: V32.010.



           You can apply for this job before 31st October 2008.
sgwyj  四海霸王  2008-9-13 10:36:32 | 显示全部楼层 来自: 荷兰

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

The IT University of Copenhagen has announced vacant PhD scholarships starting in February 2009. The full text can be seen at:

http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/Stillingsopslag%202008/PhD%20E2008.pdf

Some of these scholarships are partly awarded by the recently granted VKR Center of Excellence, MT-Lab (http://www.mt-lab.dk/).

MT-LAB being a cooperative project with researchers from The Technical University of Denmark, Aalborg University, and The IT University of Copenhagen, will develop powerful computational methods and algorithms for the analysis of discrete, stochastic and continuous properties. This will result in new methods, techniques and software tools that can be used to guarantee complex properties of systems.

We expect that the part of the project primarily carried at ITU will emphasize calculi for mobility and analysis of stochastic models. Other inspiration can be found at http://www.mt-lab.dk (go to Research Plan).

An application has to contain a detailed project proposal developed by the applicant. In our experience it is best, if a prospective applicants contacts us directly and collaborates with us on constructing the application.

It is expected that during the project period the phd students will interact a lot with the other partners in the project, including longer visits in prof. Larsen's and prof. Nilson's groups at AAU and DTU respectively. At ITU the project will be placed in the Concurrency and Mobility research group, which includes assoc. prof. Jens Christian Godskesen, assoc. prof. Andrzej
Wasowski and assoc. prof. Thomas Hildebrandt, and itself is a part of the Programming, Logics and Semantics Group (http://www.itu.dk/research/pls/wiki/index.php/Main_Page).

In Denmark a PhD scholarship covers both living expenses (a salary), the tuition, and any expenses needed to execute the research project. The deadline for applications is on October 10th, at 12:00 CET.

--

sgwyj  四海霸王  2008-9-16 09:27:56 | 显示全部楼层 来自: 荷兰

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

CAS-KNAW Joint PhD Training Programme

                                                                                                
                                                                                                                                                    
                                                                         CAS-KNAW Joint PhD Training Programme
                         Funding
                         Budget
                         Criteria
                         How to apply?
                         More information
                                                                                                                                                    
                                                      
            
CAS-KNAW Joint PhD Training Programme
The CAS-KNAW Joint PhD training Programme aims to offer the possibility of PhD training to excellent Chinese and Dutch PhD-students within the context of proven successful joint research projects between Chinese Academy of Sciences (CAS) Institutes and Netherlands universities and research institutes.

            
                              
            Funding
            For Chinese PhD students:
The programme offers a fixed stipend of EUR 16,800 annually (amounting to EUR 1,400 per month) for Chinese PhD students working in PhD projects in the Netherlands. For research periods carried out in China the exact amount of the grant is tailored to the projects local needs and will be determined by GUCAS (and the CAS-Institute involved).

            For Dutch PhD students:
Dutch PhD students wishing to pursue a Chinese academic degree need to hold a PhD-appointment at a Dutch university or institute and will receive a modest scholarship for daily living expenses from GUCAS. For Dutch PhD students CAS will provide, for the duration of their research stay in China, free housing, free use of equipment, and waiver of tuition fee.              

KNAW will make available an extra EUR 3,000 (maximum) for Dutch PhD students, intended to stimulate the acclimatisation process in China (f.e. lessons in Chinese language). The PhD candidate is invited to write a short proposal how to invest this extra budget (after the project has been selected). In case the complete PhD is carried out in China the Dutch PhD student may apply to KNAW for one extra international flight (max. EUR 1.815).

            
                              
            Budget
The Netherlands annual budget for the programme is EUR 145,200. The total available budget is EUR 1,584,000 (OCW/KNAW/CAS).

            How to apply?
Applications should be submitted by the PhD supervisor in the Netherlands to KNAW by means of an Application Form for PhD positions within existing CAS-NL joint research projects. The next (5th) Call for Proposals will be sent out in October 2008.             The deadline for submission of application forms is 19 January 2009.              

            Calls for Proposals (pdf) are issued directly to current project leaders of existing CAS-NL joint research projects within the China Exchange Programme, to all Dutch university boards, Deans of the relevant faculties, and to the scientific directors of relevant Dutch Research Schools.

            
                              
            Criteria
            Main criteria for assessment of all PhD research proposals:              

  • scientific merit
  • potential scientific impact
  • feasibility
  • imbedding of the PhD-proposal within the existing CAS-NL joint research project.
            
                              
            Assessment and selection
Proposals will be submitted for assessment both to KNAW and CAS. A joint selection meeting will be held in Amsterdam in April 2009 to agree on the final selection of projects for implementation in the 5th round of the programme. Please note that both Netherlands (KNAW) and Chinese (CAS) official approval of the projects is required for participation in the programme.

            
                              
            More information
A hard copy of the application form and further information can be obtained from the secretariat of the Department International relations and Quality Assessment, Mr A J de Wit (Phone 020 - 551 07 45, Fax 020 - 620 49 41, E-mail ap.de.wit@bureau.knaw.nl)
sgwyj  四海霸王  2008-9-25 22:04:41 | 显示全部楼层 来自: 荷兰

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

[SIZE=+2]PhD in Lucca, Italy
Call for applications: Computer Science and Engineering



[SIZE=+1]Deadline December 5th 2008
[SIZE=+1]Classes start in March 2009
[SIZE=+1]Students can apply if they obtain their degrees before December 24, 2008


[SIZE=+1]PhD in Computer Science and Engineering
The doctoral Program aims to prepare researchers and professionals with broad training in the foundations of informatics as well as applications to a variety of cutting-edge systems and disciplines. The frontiers of informatics are influencing the paths of other disciplines as well as ordinary life, and are the target of active research on the international scene. Research doctors may work in universities and research centers. They may also take on professional roles and high-profile tasks and responsibilities in both the private and public sectors.

[SIZE=+1]15 positions and 8 scholarships
15 students: no tuition fees + free access to IMT Canteen
8 students: full grants (annual grant amounts +/- 13640 Euros gross)
8 students: free accommodation

IMT Distinctive Features
-IMT is an international graduate school that promotes cutting-edge research in areas with clear practical relevance, contributing to form international professional elites for business and institutions.
-Research and teaching programs at IMT focus on institutional and technological change, the role of organizations and markets in economic systems, the analysis of complex systems in social sciences, computer science and engineering.
-IMT aims to recruit students with high potential in a fast-moving global environment where research institutes and universities compete to attract resources and human capital. To do so, IMT uses international selection standards and seeks candidates from all around the globe.  

-The IMT community is the result of a lively interaction of students and scholars, building upon the campus system and residential services provided by the Lucca Foundation for Higher Education and Research.
-PhD Courses are held in English and student curricula and performance is continually assessed through rigorous evaluation processes.

CSE PhD Program Board
Paolo Ciancarini - Bologna
[SIZE=-1]Rocco De Nicola - Firenze
[SIZE=-1]Carlo Ghezzi - Milano
Luciano Lenzini - Pisa
Ugo Montanari - Pisa, Coordinator
Antonio Prete - Pisa


IMT http://www.imtlucca.it/http://www.imtlucca.it/  is an International Graduate School Founded by:
LUISS Guido Carli, Rome
Politecnico di Milano
Sant'Anna School of Advanced Studies
University of Pisa
Lucca Foundation for Higher Education and Research


Online applications only at:
http://www.imtlucca.it/phd_programs/call_for applications/index.php  
sgwyj  四海霸王  2008-9-27 22:32:05 | 显示全部楼层 来自: 荷兰

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

The research group Formal Methods and Tools at the
University of Twente (Enschede - The Netherlands)
is looking for a PhD researcher (4 years), on

Multi-core Model Checking (MCMC)  (vacancy number 08/076)
================================

Our research:
-------------
Model checking is one of the most successful techniques for the
automated analysis of a system's design models, or even software. It
is used to asses a system's dependability, and is very effective to
uncover deep bugs in the design or code of a system.

Unfortunately, model checking is also very resource intensive, both in
memory and run-time. Our general research goal is to design new model
checking algorithms, and to develop new tools, that make better use
of available modern hardware.

The current trend is to have workstations equipped with more
processors/cores, rather than to increase clock speeds. Hence we
investigate parallel algorithms. In order to use the aggregated memory
of multiple workstations, we investigate distributed algorithms.
Non-standard solutions, like using external memory (disk) or
specialized hardware (stream processors) are under investigation too.

Model checking is to be interpreted quite broadly here. It encompasses:
- state space generation
- model checking algorithms for logics like CTL, LTL, mu-calculus,
including their quantitative extensions
- state space reduction algorithms
- test case generation algorithms


We seek:
--------
An enthusiastic PhD student with an MSc degree in Computer Science (or
an equivalent qualification). The candidate should have a thorough
theoretical background (esp. model checking algorithms), and a
demonstrable interest in performance-aware programming. Experience in
parallel or distributed computing is considered an advantage.

We are looking for a researcher with an independent mind who is willing
to cooperate in our team. It is understood that he or she selects
his or her own topic in the field sketched above. As a research
outcome we expect publications, (prototype) tools, and a PhD thesis.

Starting date of the position: as soon as possible.


We offer:
---------
- A PhD position for four years (38 hrs/week)
- A stimulating scientific environment
- Access to up-to-date hardware (cluster of multi-core computers)
- Gross salary ranging from appr. EUR 2000,= (1st yr) to EUR 2600,= (4th yr) per month
- Holiday allowance (8%), end-of-year bonus (this year 6.4%, next year 8.3%)
- Excellent facilities for professional and personal development.
- Good secondary conditions, in accordance with the
collective labour agreement CAO-NU for Dutch universities
- A green Campus with lots of sports facilities


Further information:
--------------------
- FMT group: http://fmt.cs.utwente.nl/
- Prof. Jaco van de Pol (vdpol@cs.utwente.nl)
- Dr. Michael Weber (michaelw@cs.utwente.nl)


Application:
------------
Please send your application by E-mail, as soon as possible but no
later than October 21, to Mrs. Joke Lammerink (jlammeri@cs.utwente.nl),
mentioning vacancy number 08/076, and including:

- A cover letter (explain your specific interest and qualifications);
- A full Curriculum Vitae, including a list of all courses + marks,
and a description of your MSc thesis;
- References (contact information) of two scientific staff members;
sgwyj  四海霸王  2008-9-27 22:39:28 | 显示全部楼层 来自: 荷兰

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

Project title:

Probabilistic Verification and Model-Based Quality Evaluation



Research topic:

Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved successful at managing complexity associated with functionality. A new approach is to use model-based techniques also for quality evaluation and predictions. Since most of quality attributes such as performance, reliability, availability, safety, and security have a probabilistic nature, probabilistic verification techniques are the best solution to perform model-based quality evaluation. The research project shall explore the possibilities of probabilistic modelling and verification techniques to reason about quality attributes early in the software development lifecycle.

More details can be found on the following webpage:
http://www.ict.swin.edu.au/perso ... tProjects/PVMBE.htm

-----
Swinburne University of Technology
CRICOS Provider Code: 00111D

NOTICE
This e-mail and any attachments are confidential and intended only for the use of the addressee. They may contain information that is privileged or protected by copyright. If you are not the intended recipient, any dissemination, distribution, printing, copying or use is strictly prohibited. The University does not warrant that this e-mail and any attachments are secure and there is also a risk that it may be corrupted in transmission. It is your responsibility to check any attachments for viruses or defects before opening them. If you have received this transmission in error, please contact us on +61 3 9214 8000 and delete it immediately from your system. We do not accept liability in connection with computer virus, data corruption, delay, interruption, unauthorised access or unauthorised amendment.

Please consider the environment before printing this email.
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

关于此网站上的Cookie

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

接受