寄托天下
查看: 2614|回复: 0

[计算机] CS PhD position@University of Twente (Enschede - Netherlands) [复制链接]

Rank: 9Rank: 9Rank: 9

声望
957
寄托币
3838
注册时间
2008-11-23
精华
7
帖子
131

荣誉版主 港澳资深筒子 港澳申请助理 Golden Apple

发表于 2009-6-20 13:40:10 |显示全部楼层
The research group Formal Methods and Tools at the University of
Twente (Enschede - The Netherlands) is looking for a PhD researcher (4
years), on

Security by Logic for Multithreaded applications
(vacancy number 09/124)
=================================================

Our research:
-------------

This project develops a uniform verification framework for the
protection of data. Key innovation on which the proposal is based is
the notion of self-composition. This gives a different view on
classical security properties, recasting them into safety properties
of a single program, and allows reuse of existing program verification
techniques. This project will demonstrate how this approach can handle
a wide range of data-related security properties, such as
confidentiality, integrity and anonymity, in a uniform way, allowing
easier comparison.  To make the framework usable for realistic
applications, which interact with their environment, we concentrate on
multithreaded applications, and properties that specify complete
executions of an application. Model checking will be the targeted
program verification technique.

For more information about the project, see:
http://wwwhome.cs.utwente.nl/~marieke/SlaLoM

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, and a demonstrable interest in program
verification and security.

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 works on the
topics listed above.  As a research outcome we expect publications,
(prototype) tools, and a PhD thesis.

Starting date of the position: as soon as possible, and in any case
before 1st of January, 2010.


We offer:
---------
- A PhD position for four years (38 hrs/week)
- A stimulating scientific environment
- Gross salary ranging from appr. EUR 2000,= (1st yr) to EUR 2600,= (4th
yr) per month
- Holiday allowance (8%), end-of-year bonus (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/
- Dr. Marieke Huisman (marieke at cs.utwente.nl)

Application:
------------
Please send your application by E-mail, as soon as possible but no later
than 15th of July, to Mrs. Joke Lammerink (jlammeri at cs.utwente.nl),
mentioning vacancy number 09/124, 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; and
- references (contact information) of two scientific staff members.

我来做广告,有本事来封我啊 笨~~~

使用道具 举报

RE: CS PhD position@University of Twente (Enschede - Netherlands) [修改]

问答
Offer
投票
面经
最新
精华
转发
转发该帖子
CS PhD position@University of Twente (Enschede - Netherlands)
https://bbs.gter.net/thread-973649-1-1.html
复制链接
发送
回顶部