• Advertisment
  • Member
  • Sitemap
June 7, 2025, 6:37 pm
<
img
Scholarships for International Students
img
  • Home
  • Scholarship Offers
    • Bacherlor Degree Scholarships
    • Masters Degree Scholarships
    • PhD Scholarships
    • MBA Scholarships New
    • Scholarships for Women
    • Scholarship for Nurses
    • Computer Science Scholarships
    • International Students Scholarships
    • Black Students Scholarships New
  • Featured Scholarships
    • Renewable Scholarships
    • 2025 Scholarships
    • Post Graduate Doc Scholarships
    • Canada Scholarships New
  • Resources
    • How to Apply for Scholarships
    • How to Write Letter of Intent
    • How to Post a new Scholarship
    • Parner with us
  • Contact Us
  • Home
  • PhD position in Verification of Distributed Software
  • 2015-02-10 00:01:07

PhD position in Verification of Distributed Software
Deadline
2015-03-30
Value of Scholarship
Renewable
No

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente.

Aim of the VerDi project is to develop automated program-logic based techniques for (message-based) distributed software.

Developing techniques to ensure the correctness of such programs is of utmost importance, because they are widely used for many different applications, including safety-critical ones. Typical examples are air traffic control systems and communication networks for emergency services. At the same time, this is also a considerable challenge, because in distributed programs the exchanged messages can arrive in arbitrary order or even get lost, so that a single program can show many different behaviours.

Current research on the verification of distributed programs focuses mostly on message exchange between the different sites, modelled at an abstract level, without considering implementation details. The VerDi project will bridge the gap between the abstract and the implementation level, and enable reasoning about the actual distributed software.

The VerDi project builds on ongoing work in the VerCors project, where a specific program logic, called separation logic, is used to verify concurrent software i.e., programs that run on a single computer.

The PhD candidate we are looking for is expected to develop a variant of separation logic that is also suitable to verify distributed programs running on multiple computers. In particular, the logic should be usable to explore distributed implementations of data structures. To specify the behaviour of data structures, it is essential that the logic is really on the level of the program code. We expect that recent techniques on using history-based reasoning to capture functional properties of concurrent programs also can be applied in a distributed setting. All techniques will should be validated on realistic and relevant examples.
       

Your Profile

We are looking for an enthusiastic PhD student with an MSc degree in Computer Science (or an equivalent qualification). The candidate should have a thorough theoretical background, a demonstrable interest in program semantics and verification, and some knowledge about multithreaded and distributed programming (in Java/C/C++).

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 and contributes to the expected deliverables for the project. Further we ask for good communicative and good collaboration skills. Candidates should be prepared to prove their English language skills.

As a research outcome we expect publications, (prototype) tools and a PhD thesis.

Starting date of the position: June 1st, 2015, or as soon as possible thereafter.

To apply for the position you should follow the link at the bottom of this vacancy description. Your application should consist of:

    a cover letter (maximum 1 page A4), emphasizing your specific interest, qualifications and motivations to apply for this position;
    a full Curriculum Vitae, including a list of all courses attended and grades obtained;
    a short description (maximum 1 page A4) of your MSc research;
    contact details of at least two referees who worked closely with you;

Applications should be submitted before Monday March 30, 2015.
       

Our offer

We offer you an interesting research position in a stimulating scientific environment.

You will be appointed for a period of four years. The salary starts at € 2.125,00 gross per month and grows to € 2.717,00 gross per month in the fourth year.

Additionally, the University of Twente provides a holiday allowance (amounts to 8%), an end-of-year bonus (amounts to 8.3%) and a number of additional benefits.

You will be a member of the Twente Graduate School in the research programme 'Dependable and Secure Computing' under the leadership of Prof.dr Jaco van de Pol. The research programme offers advanced courses to deepen your scientific knowledge in preparation to your future career (within or outside academia). We provide our PhD students with excellent opportunities to broaden their personal knowledge and to professionalise their academic skills. Participation in national and/or international summer schools and workshops, and visits to other prestigious research institutes and universities can be part of this programme.

Further information:

    FMT group: http://fmt.cs.utwente.nl/
    Prof.dr. Marieke Huisman (Marieke.Huisman@ewi.utwente.nl)
    The VerDi project: http://fmt.ewi.utwente.nl/research/projects/VerDi/


Apply Now

Scholarships are not only for the smart students. Anyone can get scholarships

Spread the word to help others. Click share now!!
Scholarship Groups:
Holland Scholarships
0000 Scholarship grants
2019 Scholarships programmes
2020 Scholarships
2021 scholarships
Share:

Important Tip!!

Apply to as many scholarships as possible.Present your letter if Intent clearly and you will surely get an institution that will be interested in your profile.

Similar Scholarships
  • 03.23.2017
Utrecht University Holland Scholarship 2017/2018
  • 01.05.2017
Radboud Scholarship Programme
  • 06.23.2015
PhD student-Boiling flow regime maps
  • 06.23.2015
PhD positions Separation Technology
  • 06.23.2015
PhD Wearable Vital Signs Monitoring for Sleep Diagnosis
  • 06.09.2015
Phd candidate in Smart Energy Systems
  • 06.09.2015
PhD in the History and Culture of Ancient Judaism and Early Christianity
  • 06.09.2015
PhD Fundamental physics with cold molecules
  • 06.09.2015
PhD Collection Building
  • 05.26.2015
PhD Beyond flatland in primary school mathematics education
  • 01.12.2015
PhD candidate in Strategy and Organization
  • 04.28.2015
PhD in the emergence of bronze age metalwork deposition in the broader middle Rhine Valley in Germany and France
  • 04.28.2015
PhD candidate in the project-Democratic Secrecy
  • 02.03.2015
PhD on ultrafast control of cavity QED
  • 04.21.2015
2 PhD positions (1xLocalization of Wireless Devices, and 1xCommunication and Distributed Systems)
  • 03.31.2015
PhD in Safeguarding Data Protection
  • 03.03.2015
PhD in Thermosphere Density Data

Have a Question about this Scholarship?

Scholarship Categories
Accounting and Finance Scholarships
Africa Scholarships Grants
Agricultural Economics scholarships
Agriculture Scholarships-2016
Alberta scholarships
Arts and Culture Scholarships
Australia Scholarships Grants
Austria Scholarships Grants
Bachelor Degree Scholarships
Belgium Scholarships Grants
Biotechnology scholarship grants
Business studies
By Subject Area
Canada Scholarships Grants
Chemical Engineering scholarships
China Scholarships Grants
Computer Science Scholarships
Denmark Scholarships Grants
Developing Countries Scholarships
Electrical Engineering scholarships
Electronics Engineering scholarships
Engineering
Engineering-Telecommunications Scholarships
English Language
environmental science scholarship
Finland Scholarship Grants
Forestry, and Fisheries Scholarships-2016
France Scholarships Grants
Germany Scholarships Grants
Google Scholarships
Graduate Scholarship Grants
Hispanic scholarship
India Scholarships Grants
International Students Scholarships
Internship
Italy Scholarships Grants
Japan Scholarships Grants
Malaysia Scholarships
Master Degree Scholarships
MBA Degree
Mechanical Engineering scholarships
National Scholarship
New Zealand Scholarships Grants
Nigeria Scholarship Grants
Norway Scholarships Grants
Occupational health and safety
Pharmacy
PhD Degree Scholarships
Post Doctoral Fellowships
Post Doctorate Degree Scholarships
Post Graduate Scholarships
Qatar Scholarship grants
Research Assistant
Scholarship
Schools in UK
Science-Agriculture Scholarships
Science-Animal Science
Social science/Humanities
Sophomore Scholarships
Student Life
Student loans
Sweden Scholarships Grants
Switzerland Scholarships Grants
Turkey Scholarships
UK Scholarships Grants
Undergraduate Scholarships
University Scholarships
USA Scholarships Grants
Why Study Abroad
Yearly Scholarship Grants
Your Ad Here
Join to Us
  • Recent Scholarships
  • Popular
  • Comment

	The Fujii Scholarship for International Students to Study in Japan
  • 2025-06-06 15:54:50
The Fujii Scholarship for International Students to Study in Japan

	Maldives National University Fully Funded Scholarship
  • 2025-06-06 14:17:54
Maldives National University Fully Funded Scholarship

	DAAD Masters Fully Funded Scholarships for All Disciplines
  • 2025-06-06 13:11:45
DAAD Masters Fully Funded Scholarships for All Disciplines

	Moroccan Government Scholarships for Africans
  • 2025-06-04 13:12:45
Moroccan Government Scholarships for Africans

	University of Bonn International Fully Funded Fellowships in Germany
  • 2025-06-04 12:18:42
University of Bonn International Fully Funded Fellowships in Germany

	 Commonwealth Startup Fellowship
  • 2025-06-04 11:55:26
 Commonwealth Startup Fellowship

	DAAD Fully Funded Scholarship (STEM) in Germany for Developing Countries
  • 2025-06-03 15:42:30
DAAD Fully Funded Scholarship (STEM) in Germany for Developing Countries

	DAAD Fully Funded Scholarship in Architecture for Masters Students
  • 2025-06-03 15:42:13
DAAD Fully Funded Scholarship in Architecture for Masters Students

	Rhodes Scholarship at University of Oxford UK
  • 2025-06-03 14:20:06
Rhodes Scholarship at University of Oxford UK

	World Economic Forum Early Career Program in Switzerland 
  • 2025-06-03 12:46:17
World Economic Forum Early Career Program in Switzerland 

	David Oyedepo Foundation (DOF) Fully Funded Scholarship for Nigerians
  • 2025-06-03 12:35:03
David Oyedepo Foundation (DOF) Fully Funded Scholarship for Nigerians

	2026 University of Tokyo Japan Government MEXT Fully Funded Scholarship 
  • 2025-06-03 12:16:01
2026 University of Tokyo Japan Government MEXT Fully Funded Scholarship 

	 2025 Dreamrite College Scholarship
  • 2025-06-03 11:42:40
 2025 Dreamrite College Scholarship

	US Government Hubert Humphrey Fellowship Program
  • 2025-06-03 11:04:34
US Government Hubert Humphrey Fellowship Program

	Stanford University Knight Hennessy Fully Funded Scholarship in United States
  • 2025-06-03 10:53:31
Stanford University Knight Hennessy Fully Funded Scholarship in United States
The MARCS Institute for Brain, Behaviour and Development: CoEDL PhD Scholarship- Speech and Language & Music Cognition and Action
  • Viewed:
  • 2327703 Times
  • Posted: 2016-03-05 09:45:52
The MARCS Institute for Brain, Behaviour and Development: CoEDL PhD Scholarship- Speech and Language & Music Cognition and Action
NSW Environmental Trust PhD Scholarship
  • Viewed:
  • 2223745 Times
  • Posted: 2016-03-28 08:01:52
NSW Environmental Trust PhD Scholarship
The MARCS Institute for Brain, Behaviour and Development: CoEDL PhD Scholarship- Human-Machine Interaction & Speech and Language
  • Viewed:
  • 1306538 Times
  • Posted: 2016-03-19 10:19:35
The MARCS Institute for Brain, Behaviour and Development: CoEDL PhD Scholarship- Human-Machine Interaction & Speech and Language
PhD Opportunities at Murdoch University (Australia)
  • Viewed:
  • 1147824 Times
  • Posted: 2016-03-09 20:34:01
PhD Opportunities at Murdoch University (Australia)
preventing the progression of acute to chronic whiplah
  • Viewed:
  • 425103 Times
  • Posted: 2016-03-14 19:07:43
preventing the progression of acute to chronic whiplah
Treatment outcomes in multiple sclerosis
  • Viewed:
  • 377677 Times
  • Posted: 2016-03-22 11:06:35
Treatment outcomes in multiple sclerosis
Modelling of steel and concrete composite structures under extreme loading
  • Viewed:
  • 231099 Times
  • Posted: 2016-04-02 20:43:04
Modelling of steel and concrete composite structures under extreme loading
Adaptation to urbanisation
  • Viewed:
  • 199245 Times
  • Posted: 2016-03-09 09:24:05
Adaptation to urbanisation
PhD in social dimensions of global change research between USC and Brock University
  • Viewed:
  • 182312 Times
  • Posted: 2016-03-09 09:33:58
PhD in social dimensions of global change research between USC and Brock University
ABIOTIC STRESS TOLERANCE IN MODEL AND CROP PLANTS: UNDERSTANDING THE ROLE OF MEMBRANE LIPIDS AND PROTEINS.��
  • Viewed:
  • 164037 Times
  • Posted: 2016-03-08 08:21:13
ABIOTIC STRESS TOLERANCE IN MODEL AND CROP PLANTS: UNDERSTANDING THE ROLE OF MEMBRANE LIPIDS AND PROTEINS.��
img
  • 08.22.2020
I love scholarships
Join Our Newsletter

You don't want to miss any scholarship news

WHy SCHOLARSHIP GRANTS

iScholarshipGrants.com is a comprehensive online platform dedicated to helping students find scholarships and grants for their education. The website offers a wide range of funding opportunities, including merit-based, need-based, and program-specific scholarships, making it easier for students to access financial support. With regularly updated listings, iScholarshipGrants.com simplifies the search for scholarships across various fields of study, helping students achieve their academic and career goals without the financial burden.

Key Scholarships
Holland Scholarships (2195)0000 Scholarship grants(2195)2019 Scholarships programmes(2195)2020 Scholarships(2195)2021 scholarships(2195)
CONTACTS
  • 80 Calsttock Drive Toronto, Ontario.
  • +1 6479689191
  • support@ischolarshipgrants.com
POPULAR SCHOLARSHIPS
  • Amount
  • October 30, 2014
The Baxter Corporation - Jean Goodwill Scholarship
  • About
  • Terms & Conditions
  • Privacy Policy
  • Contact

Copyright ©2024 ischolarship grants