10 PhD Positions: Austria 3182 views

10 PhD Positions: Austria: 10 PhD Positions: Austria

Application Deadline: 11^th 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.