10 PhD Positions: Austria: 10 PhD Positions: Austria
Application Deadline: 11th January 2020
Nationality: open for all
Duration: 3 years
Funding Agency: Austrian Science Fund FWF
These positions are funded by the Austrian Science Fund FWF and run jointly by the 3 Austrian universities namely,
- TU Wien (Vienna University of Technology),
- Graz University of Technology and
- Johannes Kepler University Linz.
Subject Area: Computer Science. The Award would be given in the following subjects: –
- Automated Software Verification
- Description Logics
- Epistemic logic in distributed computing
- Game-based Semantics
- Fixed-Parameter Algorithms and Complexity
- Formal Verification of hybrid systems
- Knowledge Representation and Reasoning
- Model Checking
- Modeling and analysis of digital integrated circuits
- Ontology-based Data Access
- Security and Privacy
- Scheduling and logic programming
- Topology in distributed computing and
- Quantified Boolean Formulas
Level of study: PhD
Eligibility Criteria:
- The applicants must have a master’s degree from a recognized university
- The applicants must demonstrate an excellent academic record in diploma or master’s degree in computer science, mathematics, or a related field.
- Candidates will be considered on a case-by-case basis
How to Apply: mode of application is online
- The applicant must visit the link https://logic-cs.at/phd/admission/ to find out the details.
Documents Required:
- Detailed CV
- Academic transcripts
- English language certificate demonstrating that a good level of written and spoken English
- A research statement
Scholarship Benefits: the selected candidates will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.
Quick Overview——————— |
|
Organization | · TU Wien (Vienna University of Technology),
· Graz University of Technology and · Johannes Kepler University Linz. |
Level | PhD |
Country | Austria |
Subject Area | Computer Science |
Fellowship Amount | Not mentioned |
Eligibility | Open for all nationalities |
Deadline | 11th January 2020 |