Austria : Doctoral Programme Mathematical Logic in Computer Science

Doctoral Programme

The Vienna University of Technology (TU Wien) is offering 10 PhD student positions within the doctoral programme Mathematical Logic in Computer Science which is launched in the academic year 2010/2011. The programme is jointly organized by the faculties of Informatics, Mathematics, and Physics, with a strong emphasis on Logic in Computer Science; computational logic is one of the priority research areas of the Faculty of Informatics.

PhD students for this full-time programme are recruited world-wide, all courses are held in English. Five of the ten positions are reserved for female applicants.

Call for applications 2010/11

Continuous filling, starting from Sept 10, 2010
Ultimate closing: March 15, 2011
Start Programme: Winter Semester 2010 (phase-in)

Overview

There has always been a close connection between the areas of Logic, Mathematics and Computer Science. Mathematical Logic is at the heart of these fields and contributed outstanding important results like e.g. various Undecidabilty results, Gödel's Incompleteness Theorems. Physics offers new challenges to the field such as Quantum Computation. The Doctoral Programme Mathematical Logic in Computer Science lies in this intersection of areas and is embedded in ongoing projects and research carried out at Vienna University of Technology. The programme is interdisciplinary and fosters the application of Mathematical Logic to Computer Science; envisaged key application areas are Model-Based Design and Verification as well as Advanced Information Systems.

The curriculum covers general courses (e.g. Research Methodology, Philosophy of Science, Communication, etc.) and area courses, which deal with important topics of mathematical logic and its applications. A stay abroad at a cooperating university and/or the participation at Summer/Winter Schools resp. Doctoral Consortia are organized and required. In addition, participation at international conferences where the students will present their results is planned.

Further Information

http://www.dbai.tuwien.ac.at/drkolleg/about.html

http://www.dbai.tuwien.ac.at/drkolleg/programme.html

http://www.dbai.tuwien.ac.at/drkolleg/admission.html

Frequently asked questions

http://www.dbai.tuwien.ac.at/drkolleg/faq.html

Whom to contact in case of questions

http://www.dbai.tuwien.ac.at/drkolleg/contact.html

Further Information

Application Deadline : 1 September 2010

Download this Call as PDF

Contact Adress:

Contact Email:

Posted on 2010-07-16 10:35:56

Click here to report if you think this notice is not valid or violating copyrights. Not an Official Version. Terms Apply.

The announced deadline for above scholarship is expired and new applications may no longer be accepted. The notice is available for reference purpose only.

Please give reference of Scholarships-Links.com when applying for above scholarship.

Go to Home Page, Subscribe in a Reader

Related Scholarships

Norway : 2 PhD Positions in Color Imaging

Netherlands : 4 year PhD position in text mining for sentiment and reputation modeling

Sweden : 2 PhD students in Distributed (Grid and Cloud) Computing

Spain : Call for fully funded Research Assistants at Institute IMDEA Networks

Singapore : IMI PhD Scholarship Program

UK : Informatics International Master's Scholarships

South Korea : Two Graduate Research Scholarship Positions at the Mobile Computing Lab, Chosun University

Luxembourg : PhD Candidates in Software Engineering

Norway : 4 PhD positions as part of the Microsoft-led centre on Information Access Disruptions

Sweden : Post-doc Stipend in Cloud Computing

Greece : Post-doc (ER) position in Signal Processing and Communications for the SMARTEN ITN project

Netherlands : PhD position on Process Mining

Denmark : PhD Project in Methodologies for the Economic and Societal valuation of Wind, Energy Storage and Demand-Side Management