Học bổng toàn phần PhD ngành CS.

Research in Declarative Languages and Artificial Intelligence
Promotor: Maurice Bruynooghe
Description: The research group DTAI (Hendrik Blockeel, Maurice Bruynooghe, Bart Demoen,
Marc Denecker, Luc De Raedt, Danny De Schreye, and Gerda Janssens) supports PhD students working on topics in the following domains: (1) Declarative techniques
for analysis and implementation of programming languages and systems,
especially Constraint Handling Rules, implementation technology for
logic programming, and program analysis for declarative languages; (2)
Knowledge Technology, especially the use of inductive definitions for
problem solving, specification languages for causality, and reasoning
with incomplete databases; (3) Machine Learning and Data Mining,
especially probabilistic logic learning, relational reinforcement
learning, constraint based data mining, inductive databases, graph
mining, applications to bio-informatics, learning from data streams
and supervised learning.
More information about ongoing projects can be found at http://www.cs.kuleuven.ac.be/cwis/research/dtai/
Key words: logic programming, probabilistic logic learning, machine learning, data mining, declarative Languages,
Start date: 2008-10-01
Application date: 2009-09-06
Publication date: 2008-04-18
Financing: available
Link: http://www.cs.kuleuven.ac.be/cwis/research/dtai/
Research group: Department of Computer Science
Remarks: The starting date is flexibel.
Candidates should have a relevant masters degree and some basic knowledge
about the research topic of interest
Apply to here to apply to this project

Multiscale particle based simulation software
Promotor: Dirk Roose
Description: Research context
Particle based simulations are used more and more in several scientific and engineering disciplines, including mechanical and bio-mechanical engineering. The dynamics of particles moving in response to forces is simulated by taking into account the basic equations of motion (Newton, Euler) and application dependent force-displacement laws to handle particle-particle interactions. Typical cases of this very general approach are molecular dynamics, granular dynamics (also known as discrete element modeling), dissipative particle dynamics, smooth particle hydrodynamics, and multiple collision dynamics. Its usage is not limited to describe the behavior of real particles, such as in a granular material, but it is also used in e.g. continuum mechanics to describe the behavior of materials at a more â?~microscopicâ?T level to study e.g. fractures, damage and crack propagation. As the method is applicable at microscopic and macroscopic scales, as well as at any intermediate scales, it is an ideal tool for multiscale applications.
The MebioS group has developed the software package DEMeter++ for particle dynamics, which has been used extensively for simulation of granular materials in bio-mechanical applications.
The Scientific Computing group develops and analyses numerical methods for multiscale simulations.
The aim of the project is to develop methods and software for multiscale particle based simulation, with emphasis on efficient generic algorithmic components, and implementation on parallel high performance computers (HPC).
Research topics
* Data structures. In each time step particle-particle interactions must be handled. Appropriate data structures must be selected and used that take into account the geometry of the particle positions and that allow to couple information at different scales.
* Particles with complex shapes. As currently, most granular dynamics simulations use ideal spheres as particles, any discrepancies between experiment and simulation are attributed to the shape issue. However, experimental techniques that can provide detailed 3D images of real particles of a granular assembly are becoming available (micro and nano X-ray tomography). The ability to simulate such realistic shape will be an important feature.
* Initialization procedure. The initialization of the (microscopic) particle system should be done according to a prescribed macroscopic distribution, and such that the particle system converges quickly to a physically correct state (â?~healing of the higher order momentsâ?T).
* Parallelization. For realistic simulations, the computational cost can be very high, and an implementation on parallel HPC systems is needed. Efficient parallelization requires a) balancing the work load and b) synchronisation/communication between processors.
* Uncertainty quantification. In any application, the underlying parameters of the microscopic model are uncertain, e.g. the sizes and shapes of individual particles are not known exactly. This poses two challenges: a) to efficiently compute the mean behaviour at the macroscopic level by reducing the effect of the statistical by variance reduction techniques; b) to investigate how the given uncertainty at the microscopic level propagates to the macroscopic scales.
Key words: particle dynamcis, discrete element method, multiscale simulation, numerical software
Start date: 2008-10-01
Application date: 2008-10-10
Publication date: 2008-07-10
Financing: dbof-scholarship
Link: http://www.cs.kuleuven.be/cwis/research/twr/
Research group: Department of Computer Science
Apply to here to apply to this project

Research in Text Classification and Paraphrasing
Promotor: Marie-Francine Moens
Description: We have an open position for a junior researcher working towards a Ph.D. in computer science.
The candidate will conduct research on the following topics: algorithms for sentence compression, fusion and generation; algorithms for text segmentation and classification. The focus is on applying and adapting machine learning methods. The researched technologies will be integrated in a question answering system that operates on Dutch informative Web pages (in the domains of finance, security and aviation). However, the technologies are valuable in many other applications such as compressing text for presentation on small screens (e.g., of smartphones), and filtering or selection of information.
The research towards the Ph.D. is done in collaboration with the University of Groningen, The Netherlands. The technology will be evaluated by the company Q-Go, a developer of search engines for natural language text. The candidate will conduct his or her research at K.U.Leuven in a renowned and dynamic team, which is specialized in text analysis and information retrieval, and which participates in numerous European and international projects.
Key words: Language and discourse processing.
Start date: 2008-09-01
Application date: 2008-09-01
Publication date: 2008-06-07
Financing: available
Research group: Department of Computer Science
Remarks: Financed by the Nederlandse Taalunie (NWO-Stevin).
Apply to http://phd.kuleuven.be/apply/index.php?contact=u0012108&id=735 to apply to this project

PhD position in INRIA Saclay, south of Paris, France
"Efficient processing of XML and semantic queries in P2P networks"
Position funded within the CODEX ANR (French) 3-years R&D grant
"Efficiency, Dynamicity and Composition for XML"
Duration: January 2009 - December 2011 (3 years is the standard duration
for a French PhD; financing extensions before or after are possible)
The student will work in close collaboration with researchers and
engineers from the Gemo-IASI group of INRIA Saclay/University of Paris XI.
The work involves designing, analyzing, and deploying algorithms and
methods for efficient processing of queries over XML and semantic (RDF)
content in large-scale distributed warehouses. We are particularly
interested in peer-to-peer (P2P) settings, as this work builds on our
previous experience and prototypes for P2P data and knowledge management.
The ideal candidate must:
- have successfully earned a MS degree in computer science
- be very knowledgeable in data management and/or knowledge management
- have good programming skills as attested by previous development
projects (Java or C/C++)
- have good command of spoken and written English
Good knowledge of the following topics are a plus:
- XML, XQuery, Web services
- OWL, RDF and RDF-S
- database performance, optimization, tuning
The salary is 1500 Euros/month (net) for the first two years and
1800 Euros/month (net) for the third year.
To apply, send resume (PDF only) to Ioana Manolescu (ioana.manolescu@inria.fr)
INRIA Saclay: http://www.saclay.inria.fr/
The Gemo-IASI team: http://gemo.saclay.inria.fr/

Hiện đang có 1 bạn VN học ở Lucca.
Call for applications: PhD Programs 2008
Doctoral Programs
Competitions for admission are open in the following PhD Programs at IMT: Computer Science and Engineering Theories developed within computer science have been, and still are, remarkably relevant not only for developing devices and tools which are commonly used in today society, but also for facing new theoretical problems of wide perspective.
In particular, the study of models, algorithms and verification methods of distributed systems with shared resources, with attention to the problems of security, concurrency, real time, ?oopen endness?,
distributed decisions, etc. has fostered the development of the informatics of the new wide area networks. Students acquire extensive knowledge of the fundamentals and applications of architectures and languages for global and grid computing, web systems and services, in particular for business applications, embedded systems, web data mining, wired and wireless networks, and mobile systems. In ad***ion to offering broad scope for basic research, these domains define a professional area where all the needs of computer applications on wide are networks can find their fulfilment.
Economics, Markets, Institutions With its interdisciplinary (theoretical, quantitative and institutional) approach, the program aims at dealing with issues in political economy, applied public economics, and the functioning of industries and markets, the impact of macroeconomic impact on the functioning of markets, as well as on productivity and growth.
A distinctive character of the PhD program is the strong integration of theoretical, technical and practical expertise, aimed to educate highly qualified professionals, who analyze, plan, and manage concrete interventions of political economy.
Theoretical methodologies and models will therefore tested through the methodical/systematic investigation of actual cases. At the end of the program, students will be able to catch commonalities as well as distinctive characters of the several markets, in reference to economic laws, market regulations, contractual, managing and organizational solutions.
Political Systems and Institutional Change The PhD Program aims to make students familiar with analytical tools and methodologies of investigation elaborated within different contemporary tra***ions in
social sciences, thereby providing the theoretical and practical knowledge necessary to both evaluate comparatively the performance of institutional systems, and elaborate proposals for structural
reforms. The courses will especially focus on the historical, political, institutional and economic dynamics that have been characterising the development of European and ex Soviet countries
after the Second Word War. They will then consider among other topics: the institutional and decisional dynamics of European countries and the European Union including the trends towards multilevel governance both at the European and at the domestic level (federalisation, independent regulatory authorities, etc.); transatlantic relations EU-US; relations between politics, social processes and political economy decisions; paths of economic and political development; the institutional workings of international organisations; the characters of some geographical areas of special relevance.
Duration: 3 years
Language: Courses and seminars are held in English. Foreign PhD students are required to attend an Italian Language and Culture Course.
Classes begin in March 2009.
Deadline
The deadline for applications is December 5, 2008 at 6:00pm (Italian time).
Call for application:
http://www.imtlucca.it/phd_programs/call_for_applications/index.php
Application Form:
http://www.imtlucca.it/phd_programs/open_applications/login.php

PhD student "Trusted Architecture for Securely Shared Services (TAS)
Eindhoven, (Noord-Brabant), 40 hours per week Technische Universiteit Eindhoven


Job description
--------------------------------------------------------------------------------
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
--------------------------------------------------------------------------------
University Graduate
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.
Organization
--------------------------------------------------------------------------------
Technische Universiteit Eindhoven Department of Mathematics and Computer science
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 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.
Con***ions of employment
--------------------------------------------------------------------------------
Estimated maximum salary per month: eur 2000 - 2500
Employment basis: Temporary for specified period
Duration of the contract: 4 jaar
Maximum hours per week: 40
Ad***ional Information
--------------------------------------------------------------------------------
Ad***ional information about the vacancy can be obtained from:
dr. J.I. den Hartog
Telephone number: +31 (0)402472800
Mrs. P.J. Evers BC
Telephone number: +31 (0)402472321
E-mail address: p.j.evers@tue.nl

Or ad***ional information can be obtained through one of the following links.
About the organization
Application
--------------------------------------------------------------------------------
You can apply for this job before 01-10-2008 by sending your application to:
Technische Universiteit Eindhoven
HG 6.22
Technische Universiteit Eindhoven
Postbus 513
5600 MB Eindhoven
Nederland
E-mail address: pzwin@tue.nl
When applying for this job always mention the vacancy number V32.010.
The short URL code for this job opening is: 00357-344.

PhD Studentship
Department of Computing Science
Fully Funded EPSRC Industrial CASE PhD Studentship
Application of Common Sense Computing to enable the development of next generation semantic web applications
Application Deadline: 15th September 2008
Principal Investigator / Supervisor: Dr. Amir Hussain, Reader in Computing Science
Duration: 3 and half Years
Award Type: PhD in Computing Science
Applications are invited for a three-and-half year fully-funded full-time PhD studentship. The successful applicant will develop and apply novel software agent and natural language processing based technologies for blending a so-called OpenMind database with any given ontology, and hence build a novel intelligent software engine that can auto-categorise or auto-tag documents. The developed software will enable the development of future semantic web applications whose design and content can dynamically adapt to the user. This PhD project is carried out in collaboration with researchers from MIT Media Lab (USA) who have pioneered the concept of "Common Sense Computing" which will be further developed and researched in this project in the context of semantic web mining. The successful candidate will work in conjunction with Sitekit Solutions Ltd. (UK) and will be based in the Isle of Skye (Scotland), as part of an industrial placement. The industrial co-supervisor for this PhD project is Chris Eckl from Sitekit Solutions Ltd.
Entry requirements:
Qualifications: Ideally, applicants should have a Masters degree in the field of Advanced/Natural Computing or similar. However, applicants must have at least a 2.1 or First Class Bachelors degree in computing science, computer electronic engineering or a closely related discipline.
Skills/Experience: The ideal applicant will have experience in developing and applying intelligent software methods and tools (such as artificial intelligence and natural language processing) to mathematical and logical problems. A basic grasp of elementary concepts from linear algebra (vectors, matrices and common operations on them) will be of an advantage. The applicant should also have applied knowledge in the following software languages: Python and IronPython; C and C#; VB.net. Experience of working with Linux systems is a bonus but not required.
Funding:
The successful applicant will have the University tuition fees paid in full, and receive a maintenance bursary expected to be approximately Ê15,000 per year (tax-free). Funding is available to UK citizens, other EU citizens with at least 3 years UK residence, and non-EU citizens with at least 3 years UK residence (excluding residence for full-time education). The successful applicant is expected to start in early October 2008.
How to apply:
For further information, please contact Dr. Amir Hussain (E-mail: ahu@cs.stir.ac.uk). Alternatively, applicants should email a CV with covering letter to Dr. Hussain as soon as possible (Closing Deadline: 15th September 2008).

Faculty of Arts
Vacancy number: 23.31.08
Closing date: 14-09-2008
Job description
The NWO project A Computational Model of Language Acquisition aims to develop a computational model of language acquisition. The project team will comprise a postdoc and two PhD students. The PhD student will conduct computer simulations to investigate the emergence and development of neural
representations of speech signals. In the first year the focus will be on representations of rhythm and intonation that a foetus is already able to form. The following years will be devoted to research addressing the segmentation of continuous speech signals into word-like units and the emergence of sub-word representations. In ad***ion to designing and conducting the computer simulations, the PhD student is expected to have completed a PhD thesis on the topic by the end of the contract.
Requirements:
The successful candidate has a Masterõ?Ts degree in Artificial Intelligence, Cognitive Psychology, Pattern Recognition, or Computer Science. She/he has excellent writing skills and is fluent in English.
Organization
The Faculty of Arts consists of eleven departments in the area of language and culture, history, history of arts, linguistics and business communication, which together cater for about 2,700 students and collaborate closely in teaching and research. The project will be carried out at the research institute Centre for Language Studies as part of the Linguistic Information Processing and Grammar and Cognition research programmes.
Con***ions of employment
The total duration of the contract is 3.5 years. The PhD student will receive an initial contract for the duration of 1.5 year with the possibility of prolongation for another 2 years.
Ad***ional information
The starting gross salary is õ,ơ 2.000 per month based upon a full-time employment.
For further information such as a copy of the project proposal, please contact prof. dr. Lou Boves (l.boves[ at ]let.ru.nl).
Application letters, including extensive CV and MA thesis or other publications, (with vacancy number: 23.31.08, preferably by e-mail) can be sent to:
Radboud University Nijmegen, Faculty of Arts,
Department of Human Resources, attn. of Ms. A. Graat
P.O. Box 9103, 6500 HD Nijmegen, the Netherlands
E-mail: vacatures[ at ]let.ru.nl

Một số học bổng Ph.d ở Nauy
http://www.iad-centre.no/announcement.html

PhD students/Post Docs in Computer Science within the TrustIT project
31 October 2008
We are looking for excellent candidates to perform research within the TrustIT project at the University of Luxembourg in the Computer Science and Communications Research Unit . The purpose of the TrustIT project is to propose a secured and trusted environment for distributed computing over a desktop grid. Such a grid is a distributed platform that interconnects unused resources (like idle workstations for instance) for computing purpose.
Three positions at Postdoc or PhD levels are available:
1. Power and Energy Efficient Resource Allocation in Large-scale Data Centers
2. Robust Scheduling on Desktop Grids
3. Ensuring integrity and confidentiality on desktop grids
Funding will be done through FNR (see http://www.fnr.lu) AFR grants. PhD positions are 3 years long and post-doc ones are 2 years long.
Profiles: PhD and/or Master degree or equivalent in Computer Science, Computer Engineering or Applied Mathematics.
Contact and application:
Professor Pascal Bouvry
University of Luxembourg / FSTC
6 rue Coudenhove Kalergi
L-1359 Luxembourg
Luxembourg
Pascal.Bouvry<at>uni.lu
Please send your application including:
* a motivation letter
* your curriculum vitae
* your last thesis (master/PhD)
________________________________________________________________________________
Position 1 : Power and Energy Efficient Resource Allocation in Large-scale Data Centers.
Ph.D./Postdoc supervision: Prof Pascal Bouvry , in co-operation with the North Dakota State University, Fargo, ND, USA
Project description:
Around the globe, data centers are running into a power and cooling barrier as they try to deploy new servers, storage and blades, which, in ad***ion to consuming more power than their predecessors, are often more dense. In essence, if IT managers cannot find better ways to take the heat out of data centers, they cannot take advantage of ongoing improvements in processor performance and system density. Of course there is a flip side to the coin ñ Money. Energy costs are rising sharply, new computing systems require more power, and data center cooling systems are using more electricity. Some enterprises now spend more on data center utility bills than they spend to acquire new computers.
The main objective of this work is to explore possible areas and investigate novel techniques for power and energy conservation of
server clusters that support huge data centers of today. Some of the major objectives of this work are cited below:
1. Explore possible power saving areas.
2. Reduce total cost of the data center by operating within a reduced power budget.
3. Develop Quality of Service (QoS) aware power management techniques.
4. Meet QoS while minimizing power utilization.
5. Develop power aware resource aggregation and resource partitioning/scheduling for dynamic platforms *****pport data centers.
Pre-requisite:
* Fluency in English
* Candidates will hold a Research Master or a Ph.D. in Computer Science.
Application Deadline: October 31, 2008
Starting Date: January 1st, 2009
________________________________________________________________________________
Position 2: Robust Scheduling on Desktop Grids.
Ph.D./Postdoc supervision: Prof Pascal Bouvry , in co-operation with Colorado State University, CO, USA.
Project description:
?oDesktop Grids? are based on volunteer computing: idle cycles of desktop PCs and workstations shared by the users worldwide are stolen through the Internet to compute parts of a huge problem. One of the best known project that run on such computing platform is SETI@Home which has now moved to BOINC. This platform is currently the most powerful computing system as a peak speed of 1.06 PetaFlops has been achieved in January, 2008. The purpose of this work is to study the robust scheduling issues on such platforms.
The scheduling problem will be studied in two different manners. First, the static case will be studied, in which the load balancing will be made in an off-line way. After that, we will extend the problem to the complex case in which the scheduler has to deal with new arriving tasks dynamically (i.e., an on-line scheduler). In this second version of the problem, the algorithm must be fast and accurate enough to react to the new situations after new arriving tasks and different resource availabilities. In the two studies, realistic-size instances will be studied (considering grids of several thousands of heterogeneous nodes), much larger than the currently existing ones in the literature.
Ensuring a robust scheduling is a priority in this work. Here robust means that the probability that the resources finish the assigned tasks is maximized, and thus the system is not overcome in the case that some tasks are delayed. For this, it can be useful measuring a trust level on resources by quantifying the certainty that the resource will finish the job. Ad***ionally, it could be possible to extend this approach to security issues, where the trust level would be a measure of the security we can expect from the machines.
Various objectives might be considered in terms of quality of the schedule. However we restrict ourselves in the context of the current work to minimization of makespan and maximization of the robustness. Hence, the problem can be studied as mono-objective optimization (maximizing robustness satisfying a makespan constraint, or minimizing makespan satisfying robustness constaint, or a using a weighted function of both makespan and robustness), or as a bi-objective optimization (minimizing makespan and maximizing robustness).
Pre-requisite:
* Fluency in English
* Candidates will hold a Research Master or a Ph.D. in Computer Science.
________________________________________________________________________________
Position 3: Ensuring integrity and confidentiality on desktop grids.
Ph.D./Postdoc supervision: Prof Pascal Bouvry , Dr. Sebastien Varrette , in co-operation with INRIA Rhone-Alpes, France and Colorado State University, CO, USA.
Project description:
?oDesktop Grids? are based on volunteer computing: idle cycles of desktop PCs and workstations shared by the users worldwide are stolen through the Internet to compute parts of a huge problem. One of the best known project that run on such computing platform is SETI@Home which has now moved to BOINC. This platform is currently the most powerful computing system as a peak speed of 1.06 PetaFlops has been achieved in January, 2008. The purpose of this work is to study both confidentiality and integritry issues for the executions on such platforms.
Execution confidentiality is a relatively new area mainly limited in studies relative to embedded environment such as java cards [1]. At this level, a precise state-of the-art should be analysed to extend techniques such as encrypted computations, code obfuscation and Time-limited Blackbox Security detailed in [2].
Integrity issues are planned to be studied under two perspectives:
1. result-checking algorithms will be analysed to provide guarantees on the computed results. The idea consists in extending the work done in [3], firstly using a game theory approach and secondly by specifying novel nature-inspired Algorithm-Based Fault-Tolerance technics.
2. execution certification to ensure that the structure of the application is not tampered. While this approach does not directly assert result values, it is more adapted to dynamic approaches that do not require the knowledge of the successive program state. More precisely, assuming the program to be represented as a macro-data flow graph, one idea would be to compute an idempotent hash value representing the graph structure, this value being first compute offline at compilation time for further comparisons.
Pre-requisite:
* Fluency in English
* Candidates will hold a Research Master or a Ph.D. in Computer Science.
References:
[1] Collberg, C.S., Thomborson, C.: Watermarking, tamper-proofing, and obfuscation - tools for software protection. In: IEEE Transactions on Software Engineering. Volume 28. (2002) 735?"746
[2] Sarmenta, L. F. G. Protecting Programs from Hostile Environments : Encrypted Computation, Obfuscation, and Other Techniques. Area exam paper, Dept. of Electrical Engineering and Computer Science, MIT, July 1999.
[3] Sébastien Varrette, Sécurité des Architectures de Calcul Distribué: Authentification et Certification de Résultats. Ph.D. thesis, INP Grenoble et Université du Luxembourg, sept. 2007.