• Advertisment
  • Member
  • Sitemap
August 29, 2025, 3:01 am
<
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
  • 2-year postdoc or 3-year PhD-student position
  • 2015-07-06 00:00:12

2-year postdoc or 3-year PhD-student position
Deadline
2015-07-06
Value of Scholarship
Renewable
No

The Computational Logic research group at the University of Innsbruck has one open position funded by the FWF (Austrian science fund) via the START project Certifying Termination and Complexity Proofs of Programs.


The project aims at increasing the reliability in current complexity and termination provers by independently checking the generated proofs. To this end, several analysis techniques will be formalized in the theorem prover Isabelle/HOL, with a focus on term rewriting and Haskell.


For this project, we are looking for an enthusiastic young researcher with a background in computational logic. Knowledge of automated termination analysis, complexity analysis, or theorem proving would be an asset. Candidates with a strong theoretical background in related areas are also encouraged to apply. The PhD-student candidate must have a Masters or equivalent degree. Knowledge of German is not essential.


The salary is determined by the FWF-funding scheme. (3.546,00 EUR monthly gross salary for postdocs, and 2.024,90 EUR for PhD-students)


Applications (including a CV, a publication list (only for postdocs), and a letter of recommendation) may be emailed to the project leader Rene Thiemann (rene.thiemann at uibk.ac.at) no later than July 6, 2015.


We plan to make decisions on these position until July 10. The preferred starting date is summer or autumn 2015.


Informal inquiries are also welcome via email.


The city of Innsbruck is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of the Alpine environment and urban life in this historic town provides a high quality of living.

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
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.24.2017
University of Canberra International Sports Courses Scholarship 2017-2018
  • 08.05.2025

2026 Medical University of Graz Fully Funded Scholarship in Austria

  • 11.23.2018
2019 Bendigo and Adelaide Bank Scholarship
  • 08.03.2016
2018 Australia Scholarships - Master of Integrated Water Management
  • 01.09.2018
Australia Wool Innovation (AWI) Scholarships 2018
  • 04.01.2017
Macquarie Vice-Chancellor’s International Scholarships in Australia
  • 03.28.2017
University of Queensland Science International Scholarships in Australia, 2017
  • 04.01.2017
Monash International Merit Scholarships in Australia
  • 08.14.2015
Integrated Urban Water Management Scholarship
  • 01.11.2015
DART-Doctoral Program in Accounting, Reporting, and Taxation PhD Program
  • 12.04.2015
William John & Lizzie May Sinclair Scholarship for Engineering students
  • 12.04.2015
Blooms The Chemist - John Sidgreaves Scholarship in Pharmacy
  • 06.02.2015
University Postgraduate Award (UPA)-$25,849 value
  • 07.06.2015
Postdoc and PhD Positions in Soil Microbial Ecology
  • 07.06.2015
PhD Stelle-Functions of ultrasonic vocalizations in wild house mice
  • 05.18.2015
International PhD Program in Biomolecular Technology of Proteins (BioToP)
  • 03.02.2015
Funded Doctoral Positions-LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)

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

	Hong Kong Fully Funded Fellowship Scheme
  • 2025-08-22 09:54:18
Hong Kong Fully Funded Fellowship Scheme

	2026 World Bank Government Analytics Fully Funded Fellowship Program
  • 2025-08-22 09:39:01
2026 World Bank Government Analytics Fully Funded Fellowship Program

	2026 Technical University of Berlin DAAD EPOS Fully Funded Scholarship in Germany
  • 2025-08-22 09:06:36
2026 Technical University of Berlin DAAD EPOS Fully Funded Scholarship in Germany

	2026 KAAD Scholarship in Germany For International Students
  • 2025-08-22 08:08:38
2026 KAAD Scholarship in Germany For International Students

	Temple University Scholarship in USA 2026
  • 2025-08-22 07:44:47
Temple University Scholarship in USA 2026

	2026 NHR Fully Funded Scholarship in Germany 
  • 2025-08-12 15:04:14
2026 NHR Fully Funded Scholarship in Germany 

	2026 Chevening Energy Market Reform Fully Funded Fellowship in UK
  • 2025-08-12 14:44:52
2026 Chevening Energy Market Reform Fully Funded Fellowship in UK

	2025 Female Scholars Foundation Fully Funded Scholarship For Undergraduates
  • 2025-08-12 14:18:43
2025 Female Scholars Foundation Fully Funded Scholarship For Undergraduates

	2026 Eastern Michigan Fully Funded University Presidential Scholarship in USA
  • 2025-08-12 13:48:51
2026 Eastern Michigan Fully Funded University Presidential Scholarship in USA

	Discover Canada Cultural Exchange Program 
  • 2025-08-12 13:19:57
Discover Canada Cultural Exchange Program 

	2026 Chevening OCIS (Oxford Centre for Islamic Studies) Fellowship Program UK 
  • 2025-08-12 13:04:18
2026 Chevening OCIS (Oxford Centre for Islamic Studies) Fellowship Program UK 

	2026 ARES Fully Funded Scholarship in Belgium
  • 2025-08-12 12:25:44
2026 ARES Fully Funded Scholarship in Belgium

	2026 Said Foundation Fully Funded Scholarship in UK
  • 2025-08-12 08:38:28
2026 Said Foundation Fully Funded Scholarship in UK

	2026 Chevening Clore Fully Funded Leadership Fellowship in UK
  • 2025-08-12 08:29:14
2026 Chevening Clore Fully Funded Leadership Fellowship in UK

	2026 University of Pretoria Commonwealth Scholarship 
  • 2025-08-08 15:16:10
2026 University of Pretoria Commonwealth Scholarship 
The MARCS Institute for Brain, Behaviour and Development: CoEDL PhD Scholarship- Speech and Language & Music Cognition and Action
  • Viewed:
  • 3370118 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:
  • 2903995 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:
  • 1365326 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:
  • 1201672 Times
  • Posted: 2016-03-09 20:34:01
PhD Opportunities at Murdoch University (Australia)
preventing the progression of acute to chronic whiplah
  • Viewed:
  • 509530 Times
  • Posted: 2016-03-14 19:07:43
preventing the progression of acute to chronic whiplah
Treatment outcomes in multiple sclerosis
  • Viewed:
  • 421792 Times
  • Posted: 2016-03-22 11:06:35
Treatment outcomes in multiple sclerosis
Adaptation to urbanisation
  • Viewed:
  • 313814 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:
  • 282223 Times
  • Posted: 2016-03-09 09:33:58
PhD in social dimensions of global change research between USC and Brock University
Modelling of steel and concrete composite structures under extreme loading
  • Viewed:
  • 277323 Times
  • Posted: 2016-04-02 20:43:04
Modelling of steel and concrete composite structures under extreme loading
ABIOTIC STRESS TOLERANCE IN MODEL AND CROP PLANTS: UNDERSTANDING THE ROLE OF MEMBRANE LIPIDS AND PROTEINS.��
  • Viewed:
  • 177725 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 (2191)0000 Scholarship grants(2191)2019 Scholarships programmes(2191)
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