Học bổng cho du học sinh!

lão ma
10-11-05, 14:28
Học bổng sau đại học tại Thụy Điển

Viện Nghiên cứu Thụy Điển phối hợp với các trường đại học Thụy Điển thông báo cấp một số học bổng chương trình Thạc sĩ, Tiến sĩ và sau Tiến sĩ năm học 2006 - 2007.

Học bổng trị giá 8.000 SEK (Swedish krona)/tháng đối với chương trình Thạc sĩ và 12.000 SEK/tháng cho những người nghiên cứu Tiến sĩ và sau Tiến sĩ.

Học bổng gồm toàn bộ chi phí trong thời gian nghiên cứu (không cấp chi phí cho các thành viên khác nếu mang gia đình theo).

Học bổng cấp cho sinh viên các nước, ngoại trừ các nước Bắc Âu như Đan Mạch, Phần Lan, Na Uy... Thời gian nghiên cứu dài nhất là 3 năm, ngắn nhất là 1 năm, bắt đầu từ tháng 9/2006.

Nếu được cấp học bổng, học viên sẽ nghiên cứu tại các trường đại học của Thụy Điển với các lĩnh vực nghiên cứu, trừ đề tài nghiên cứu về Thụy Điển.

Điều kiện:

- Có bằng đại học loại khá/giỏi

- Ngôn ngữ: Tiếng Anh hoặc tiếng Thụy Điển

- Những sinh viên quốc tế lưu trú không quá 2 năm tại Thụy Điển có thể nộp hồ sơ đăng ký

- Không hạn chế số người xin xét học bổng của một quốc gia và một lĩnh vực.

- Không giới hạn tuổi người nghiên cứu

Hồ sơ:

- Hồ sơ theo mẫu

- Thư giới thiệu tại nơi công tác

- Hồ sơ phải chỉ rõ mục đích và lĩnh vực nghiên cứu.

Mẫu hồ sơ tải tại trang web: www.studyinsweden.se từ ngày 1/9/2005 đến ngày 15/1/2006.

Thông qua Viện Nghiên cứu Thụy Điển, ứng viên phải liên lạc với các trường đại học của Thụy Điển để đăng ký lĩnh vực nghiên cứu và phải được trường chấp nhận.

Kết quả sẽ được Viện Nghiên cứu Thụy Điển thông báo thông báo tới ứng viên vào tháng 5 hoặc tháng 6/2006.

Để có thêm thông tin, xin truy cập trang web: www.sweden.se

Email: feedback@si.se.

Hạn cuối cùng nộp hồ sơ về Viện Nghiên cứu Thụy Điển: 15/1/2006

Không trả lại hồ sơ nếu không được cấp học bộng

Bắc Âu ngày 10.11.2005
lão ma
...
lão ma
10-11-05, 14:31
90 suất học bổng thạc sĩ tại Na Uy

Cơ quan hợp tác quốc tế Na Uy phối hợp với các trường ĐH tại Na Uy thông báo chương trình học bổng NORAD năm 2006.

Chương trình cấp 90 suất học bổng bậc thạc sĩ toàn phần bao gồm học phí trong hai năm, vé máy bay khứ hồi, phí nghiên cứu và một khoản chi phí sinh hoạt hàng tháng.

Các trường ĐH tham gia chương trình:

- Bodø University College (HiBo)

- Norwegian University of Life Sciences (UMB)

- Norwegian University of Science and Technology (NTNU)

- University of Bergen (UiB)

- University of Oslo (UiO)

- University of Stavanger (UiS)

- University of Tromsø (UiTø).

Chương trình thạc sĩ tại các trường kéo dài từ một đến hai năm. Được biết số lượng hồ sơ nộp năm 2005 cho chương trình là 2.200 hồ sơ.

Điều kiện:

- Tốt nghiệp ĐH loại khá/giỏi các ngành liên quan

- Thành thạo tiếng Anh, điểm TOEFL giấy từ 500 hoặc điểm IETLS từ 5 trở lên

- Sức khỏe tốt

- Có tối thiểu hai năm kinh nghiệm trong lĩnh vực xin học bổng

- Ưu tiên phụ nữ

Hồ sơ bao gồm:

- Mẫu đơn có thể tải về tại trang http://siu.no/vev.nsf

- Bản sao bằng cấp, chứng chỉ

- Chứng chỉ TOEFL/IELTS

- Chứng nhận khám sức khỏe

- Giấy cho phép đi học của cơ quan đang công tác

- Mô tả cơ quan công tác và chức vụ đương nhiệm

- Bản sao hộ chiếu

Hồ sơ hoàn tất gửi về Đại sứ quán Na Uy tại Hà Nội hoặc Lãnh sự quán Na Uy tại TP HCM.

Hạn chót nộp hồ sơ: 1/12.

Kết quả: tháng 4/2006.

Chương trình chính thức bắt đầu từ tháng 8/2006.

Bắc Âu ngày 10.11.2005
lão ma
...
shinichi
10-11-05, 17:37
90 suất học bổng thạc sĩ tại Na Uy
...Có tối thiểu hai năm kinh nghiệm trong lĩnh vực xin học bổng
...
Chưa hiểu chỗ này của bác .
lão ma
10-11-05, 19:03
Chưa hiểu chỗ này của bác .

Nghĩa là đã có 2 năm kinh nghiệm làm việc!
SeaC
11-11-05, 23:19
Bác Lão ma đang ở chỗ nào ở Thụy điển hay Bắc âu thế? Em cũng xin được học bổng của bọn SI. SV mình ở đây chủ yếu là đi làm PhD theo kiểu hợp tác với dự án SIDA. Để xin được học bổng SI cũng hơi khó nhưng nếu ai quen Giáo Sư ở đây thì cơ hội được học bổng cao lắm. Chẳng mất gì nếu ta thử cả, các bạn hãy thử đi người Thụy điển tốt cái bụng lắm !
Chúc các bạn may mắn!
lão ma
12-11-05, 05:33
Chú SeaC đang làm Ph.D ở LUND phải không? Chú là B.ocean à? Thế thì cũng không xa chỗ anh ctac là mấy!
lão ma
17-11-05, 13:29
INRIA proposes 120 one-year post-doctoral positions for young
graduates. Deadline for application in april 22th
see
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html

You may be interested in particular by subjects proposed by the
LogiCal group
Documentation of the model theory of the Coq system
http://www-futurs.inria.fr/emplois/logical.en.html
and the ProVal group
http://www-futurs.inria.fr/emplois/proval.en.html
Advanced development in Java/JML
lão ma
17-11-05, 13:31
Systems Research Group
School of Computer Science and Informatics
University College, Belfield, Dublin 4, Ireland.

http://www.cs.ucd.ie/

Systems Research
================

Autonomic and pervasive computing encompasses tools and techniques for
building highly responsive and self-adaptive systems that are used in
areas as diverse as consumer applications, smart buildings, gaming,
healthcare, and environmental monitoring. This cutting-edge research
domain provides a unique opportunity to work with a combination of
state-of-the-art software systems, reasoning systems, user interfaces,
content management, embedded sensors and communications systems, in
close collaboration with users and researchers in other disciplines.
We are seeking well-qualified, motivated candidates who want to be
part of the foundation of a world-class research group in systems and
software technology. The group has secured over EUR3.5m in funding
from a variety of sources in the area of pervasive computing, systems,
semantics and software tools.

Positions
=========

We currently have openings for 10 PhD students and two post-doctoral
researchers. PhD candidates should have an interest in one or more of
the following areas:

* Pervasive computing
* Scalability and resource discovery
* Trust management and maintenance
* Proof theory and theorem provers
* Software verification and proof-carrying code
* Software development and support environments
* Semantics and adaptive systems
* Visualisation and novel user interfaces
* Novel programming languages
* Self-managing systems
* Design and evaluation of pervasive computing systems

Post-doctoral candidates should have an established research record to
PhD or above in one or more of:

* Proof theory and theorem proving
* Software verification and proof-carrying code
* Software development and support environments
* Trust management and maintenance
* Human factors and adaptive interfaces
* Relational information and software visualisation

Our ideal candidate will be able to demonstrate an ability to both
undertake basic research and be able to build high-quality prototype
systems to demonstrate their research, as well as making a strong
contribution to the group's publication activities. PhD candidates
should have achieved (or expect to achieve) at least a 2.1 BSc or
equivalent in Computer Science, Computer Engineering, Mathematics, or
a closely related discipline, and have a keen interest in
research. Staff will be supervised by one or more of the group's
academic staff.

Applicants should return a completed application form with referee
reports and CV to Dr Simon Dobson at the address above. Informal
inquiries prior a full application are welcomed and may be made to any
of the staff below.

Application form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad-Application.pdf
Referee form: http://www.cs.ucd.ie/forms/UCD-CS-PGrad-Referee.pdf
lão ma
17-11-05, 13:32
Decision Procedures for Formal Verification
at the International Doctorate School on
Information and Communication Technologies
University of Trento, Italy
Firm deadline: July 11th, 2005.

The MathSAT team at ITC-irst and at University of Trento is seeking
candidates for two Ph.D. positions at the International Doctorate
School in Information and Communication Technologies (ICT) of the
University of Trento, Italy.

The activity will be carried out within the MathSAT project, and will
aim at the design and development of decision procedures and their
application to formal verification.

Presentation and Inquiries
==========================

Candidates interested in the above positions should introduce
themselves and inquire for further information by sending email to:

mathsat-recruit@itc.it

Please use 'MATHSAT PHD' as subject, and include a statement of
interest and a CV. PostScript, PDF, or plain text formats are
encouraged.

Application to the ICT School
=============================

Full details are available from http://www.ict.unitn.it/

Candidate Profile
=================

The ideal candidate should have a MS or equivalent (in either computer
science, mathematics, electronic engineering or similar topics), and
combine solid theoretical background and software development skills.

The candidate shuold be be able to work in a collaborative
environment, with a strong commitment to achieving assigned objectives
and reaching research excellence.

Background knowledge and/or previous experience in the areas of formal
verification, boolean reasoning, constaint solving, deduction systems,
hardware description languages, though not mandatory, will be
considered favourably.

MathSAT
=======

MathSAT (http://mathsat.itc.it/) is a decision procedure for logic
theories combining boolean propositions with constraints over integer
and real variables, and uninterpreted functions. It has been applied
in different real-world application domains, ranging from formal
verification of infinite state systems (e.g. timed and hybrid systems)
to planning with resources, equivalence checking and model checking of
RTL hardware designs. The MathSAT family of deciders is based on the
extension of a DPLL-like propositional satisfiability procedure, used
as an assignment enumerator. MathSAT pioneers a lazy and layered
approach, where propositional reasoning is tightly integrated with
solvers of increasing expressive power, in such a way that more
expensive layers are called less frequently.

Related Projects
================

Formal methods are widely applied as powerful verification and early
debugging techniques in the development of complex industrial
systems. In particular, formal checking at Register-Transfer Level
(RTL) is currently a fundamental step in the design of hardware
circuits. Most tools for formal checking, however, work at the
boolean level, which is not expressive enough to capture the abstract,
high level (e.g., structural, word level) information of RTL
designs. Tools for formal checking are thus confronted with problems
which are "flattened" down to boolean level so that a predominant part
of their computational effort is wasted into brute force reasoning at
boolean level. Thus, the checking process would greatly benefit from
the ability to represent and exploit higher level informations.

The activity of the selected candidates will be related to the the
ORCHID project (Enhanced Formal Checkers for RTL Circuit Designs).
The goal of the ORCHID project is to investigate enhanced SAT-based
techniques for RTL formal checking and to deliver better verification
tools for RTL designs. These tools will avoid flattening by working
directly at a level of expressivity higher than boolean reasoning, and
will be able to analyze larger scale RTL designs. The results of the
research will be applicable to the extension of any existing formal
checkers based on SAT procedures.

The project is carried on with the external collaboration of the Logic
and Validation Technologies, Intel Architecture Group in Haifa, Israel.

Contact Persons
===============

* Alessandro Cimatti
mailto:cimatti@itc.it
http://sra.itc.it/people/cimatti/

* Roberto Sebastiani
mailto:roberto.sebastiani@dit.unitn.it
http://www.dit.unitn.it/~rseba/
lão ma
17-11-05, 13:34
A 3-year PhD-Position is available in the project

"Monadic Computational Logics in HOL"

at the University of Bremen. The project is concerned with the
implementation and further development of monadic computational logics,
including monadic Hoare logic and monadic dynamic logic as well as
extensions covering exception handling, as introduced by Till
Mossakowski and myself. More detailed information can be found at

http://www.informatik.uni-bremen.de/~lschrode/research/projects/HOL-MDL_e.htm
lão ma
17-11-05, 13:35
3/4 junior research positions may be available in October 2006 in the Research Group on Mathematical Linguistics at Rovira i Virgili University (Tarragona, Spain).

The web site of the host institute is:

http://www.grlmc.com

ELIGIBLE TOPICS

- Language and automata theory and its applications.
- Biomolecular computing and nanotechnology.
- Bioinformatics.
- Language and speech technologies.
- Formal theories of language acquisition and evolutionary linguistics.
- Computational neuroscience.

Other related fields might still be eligible provided there are strong enough candidates for them.

GENERAL DESCRIPTION

- the positions will be filled in under the form of a scholarship (rather than a work contract),
- Spaniards are not eligible,
- there is no other restriction on nationality, although citizens from developing countries will be prioritized,
- a PhD degree is not mandatory,
- the main duty of the positions is research,
- some command of Spanish is welcome,
- the scheme is highly competitive.

JOB PROFILE

- candidates born after December 15, 1970,
- having graduated not earlier than October 2003,
- with an excellent CV and potential for leadership,
- having resided in their home country continuously since January 2005,
- duration of the position: October 2006 - September 2008,
- candidates should have the expectation to follow an academic career in their home country after the period in Spain.

ECONOMIC CONDITIONS

- monthly salary amounting 1,200 euros free of taxes,
- travel grant amounting 500-1,600 euros, depending on the candidate's country of origin,
- health insurance coverage, not including pharmaceutics.

EVALUATION PROCEDURE

It will consist of 2 steps:

- a pre-selection based on CV and carried out by the host institute,
- an on-line application (form + CV + research project + letters of reference), to be assessed externally by the funding agency.

SCHEDULE

Expressions of interest are welcome until November 25, 2005. They should contain the researcher's CV and mention "2005-13" in the subject line. The outcome of the preselection will be reported immediately after.

Pre-selected candidates will be helped in the application process by the host institute. The deadline for completing the whole process is December 15, 2005.

CONTACT

Carlos Martin-Vide
carlos.martin@urv.net


PS! Please do not send PM to me. Thanks!
riskii
21-11-05, 10:05
Có cái học bổng ngắn hạn nào về báo chí không hở bác Lão ma?
ThuyVu
21-11-05, 15:59
Có cái học bổng ngắn hạn nào về báo chí không hở bác Lão ma?

Nếu bác là woman thì có cái này:

International Women's Media Foundation:

for women journalists covering human rights and social justice. For more information: http:///www.iwmf.org/programs/neuffer/

Có cái này thì hết hạn rồi, bác xem thử xem năm sau nó có nữa không:

http://www.pressfellowships.org/
riskii
23-11-05, 15:58
Cái link đầu tiên teo rồi bác ThuyVu ạ!
shinichi
23-11-05, 23:59
Các bác cho em hỏi cái CV tạm thế này có ổn ko?
Tốp phờ :600
ĐTB :7.0

Khả năng kiếm học bổng cac học thế nào ạ .
ThuyVu
24-11-05, 07:52
Sozi bác em gõ thừa một dấu / :D.

Link đây ạ

http://www.iwmf.org/programs/neuffer/
SeaC
24-11-05, 17:38
Các bác cho em hỏi cái CV tạm thế này có ổn ko?
Tốp phờ :600
ĐTB :7.0

Khả năng kiếm học bổng cac học thế nào ạ .

Quá trình săn tìm học bổng nó cũng phụ thuộc vào ĐTB nhưng đôi khi may mắn chiếm một phần lớn. Do vậy nếu các đồng chí thấy mình đủ các điều kiện để nhập học thì cứ apply đi càng nhiều nơi càng tốt. "Bạn có thể trượt nếu bạn thử, không được trượt nếu bạn không thử".
Tôi có quen một đồng chí apply 4 lần và lần nào cũng được nhận học nhưng không có học bổng, mãi đến lần thứ năm mới có học bổng ;-). (4 năm kinh nghiệm xin học bổng!)