Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna. We continue this tradition, using logic as a tool that enables computer programs to reason about the world. These reasoning tasks allow a natural classification into two broad areas: In Databases and Artificial Intelligence, logic is used to model, store, analyze and predict information about the outside world including the Internet. In Verification, logic is used to model, analyze and construct computer programs themselves. The logical and algorithmic questions which underlie both application areas are studied in the area of Computational Logic. In the LogiCS curriculum, all three directions are prominently represented:
- Databases and Artificial Intelligence spans a large number of subjects including Answer-Set Programming and Datalog, query languages based on logical concepts (such as SQL, current XML-based languages), optimization of queries, novel database-theoretical methods (like schema mappings, information integration, querying ontologies), logic programming, knowledge representation and reasoning (belief change, abductive reasoning, multi-context systems, inconsistency handling, incomplete knowledge, diagnosis), and AI formalisms (argumentation, planning, preferential reasoning, decision support systems).
- Verification is concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. It ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
- Computational Logic covers theoretical and mathematical foundations such as proof theory (cut elimination, proof mining, interpolants), automated deduction (resolution, refutation, theorem proving), non-classical logics (multi-valued logics, juridical reasoning, deontic logics, modal and temporal logics), computational complexity (complexity analysis, parameterized complexity, decomposition methods) and constraint satisfaction (SAT, QSAT, CSP).
Why join the LogiCS program in Austria?
Our commitment to international and interdisciplinary collaboration is prerequesite for today’s challenges: Computer science has reached a state where many of the basic engineering questions are reasonably well understood. Many of the big open research questions, however, require computers to perform non-trivial reasoning tasks that permeate computer science, other sciences such as medicine, sociology, ecnomy, physics and biology, as well as every-day life. Similar to the role of calculus in the development of physics and engineering,logic is a key discipline in this evolving phase of computer science. LogiCS offers an international program characterized by the unique combination of disciplineswhere logical methods decisively impact practical computer science.
The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 12 associated members who further strengthen the research and teaching activities of the college. Our faculty is complemented by visiting professors as well as frequent guests in both the ARiSE and VCLA talk and seminar series.
The program is complemented by our faculty’s participation research initiativessuch as the Austrian-wide National Research Network on Rigorous Systems Engineering (RiSE) funded by the Austrian Science Fund, the Vienna Center for Logic and Algorithms (VCLA), as well as the previous Doctoral College on Mathematical Logic for Computer Science funded by TU Vienna.
Vienna has a prominent history in mathematics, computer science, and logic research (Kurt Gödel, Vienna Circle, …). Additionally, it has repeatedly been ranked number 1 in the Mercer Quality of Living Survey.
- Computational Logic
proof theory, computational complexity and automated deduction
- Databases / Artificial Intelligence
applications of logic to databases and articial intelligence
computer-aided verification, in particular model checking
In the years 2014-2018, the doctoral college will admit 30 PhD students. 10 positions are reserved for female applicants. PhD students will be employed as researchers, see Financial Arrangements for details.
Applicants may state their preference for an advisor or research field in the admission form. Assignment to the PhD advisor and one or more co-advisors should be decided at the point of admission to the program.
- Applications can be submitted at any time.
- Applications will be screened four times a year on the following dates:
June 15th, September 1st, December 1st, March 1st.
Shortlisted students will be invited for two rounds of interviews by phone and face to face. Where this is not feasible, the face to face interview will be replaced by video-conference or a phone interview.
Who is Eligible?
We invite applicants from all countries to apply. Candidates should hold a MSc or equivalent degree in Computer Science, Mathematics or related fields, and an excellent record of study. In exceptional cases outstanding students with excellent marks on their Bachelor’s degree can also be admitted. Previous knowledge in the areas of the doctoral college (computational logic, databases/AI, verification) is desirable but not required.
Furthermore, 10 of the positions are reserved for female applicants. Qualified female applicants are explicitly encouraged to apply.
How to Apply
Please download the application form and follow the instructions below. All information provided in the application form must be accurate and complete. All correspondence will be made via e-mail using the e-mail address you have specified in the online application form. Please check your e-mails regularly and keep your mailbox ready to receive.
Email your filled out application form, together with all required application documents to email@example.com. The subject must be
Attach 2 separate PDF files as follows:
Important: The PDF form has to be filled out electronically and saved in PDF format. To ensure the data is saved properly, we recommend that you use Adobe Reader. We cannot accept scanned versions – the form will be processed electronically.
All other required documents in the order stated below. Please merge all these documents (except the application form) into a single PDF file named
documents.pdf. The file size should not exceed 5 MB.
- Evidence of prior achievement
Degree certificates (Bachelor’s and Master’s degree or higher) of a post-secondary education institution including course transcripts and an explanation of the grading system(s) used in these degree certificates.
- Abstract of diploma / Master’s thesis
- Curriculum Vitae
- Motivation Letter
- At least two letters of recommendation
At least one of your referees should have a scientific background.
If your referees prefer, letters of recommendation may be sent separately to firstname.lastname@example.org clearly indicating the applicant’s name.
- Certificate of English language proficiency (see below)
- Scan of the applicant’s passport
Only the pages containing your personal data and picture.
- Officially certified transcripts of degree certificate(s)
Only for non-EU citizens (excl. Swiss nationals).
- Optional: Research proposal
If the subject and file names were correct, you will receive an automatically generated confirmation email. Please recheck the subject and file names if you do not receive such an email! In case of subsequent corrections of a successful submission please contact us and do not submit the form a second time. If we receive two or more application forms from the same person, we will not consider any of them.
English Language Proficiency
Non-native English speakers need to ensure that their English proficiency meets the doctoral program’s requirements to fully benefit from their courses. The doctoral program encourages applicants to provide the following tests/scores for English language qualifications:
- TOEFL score of at least 550 paper-based, 217 computer-based or 81 internet-based
- IELTS score 6.0 or higher
- CAE score B or higher
However, command of the English language can be proven in many ways, depending on a student’s prior education. To this end, students should hand in any language certificates, diplomas, etc. as a part of the application documents. Applicants’ adequate command of the English language will also be assessed during the application interviews.
This opportunity has expired. It was originally published here: