Postdoc Position in Sample complexity or Machine learning at TU Wien

A Postdoc position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of building a bridge between parameterized complexity theory and artificial intelligence. The position will be […]

PhD Position in Parameterized Complexity

A PhD position is available at the Algorithms and Complexity Group at TU Wien, Vienna, Austria. The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), with the aim of building a bridge between parameterized complexity theory and artificial intelligence. The position will be […]

Fifth edition of the VCLA International Student Awards 2020

The highly successful fifth edition of the VCLA International Student Awards 2020 was concluded in July 2020. Out of 44 submissions in total, one was selected for the Outstanding Master Thesis Award and one for the Outstanding Undergraduate Research Award by a committee consisting of eighteen internationally recognized researchers. The winner’s degrees have […]

Two research assistant (PhD student) positions in Formal Methods in Systems Engineering

The Institute of Logic and Computation at the TU Wien, FORSYTE Group (E192-04) is offering a research assistant (PhD student) position, 30 h/week, for a an initial period of 7 months. The successful candidates will be supervised by Prof. Laura Kovacs. The estimated start date is July 1st, 2020.

The proposed research will focus on developing […]

Vienna Ball of Sciences 2020 (6. Wiener Ball der Wissenschaften)

 

Since 2015, the Vienna Center for Logic and Algorithms is a proud partner of the Vienna Ball of Sciences.

PostDoc Position in Knowledge-based Systems and Artificial Intelligence

A PostDoc position is available at the Database and Artificial Intelligence Group at TU Wien, Austria. We invite highly motivated applicants interested both in the theory and practice of

Description Logics
Answer Set Programming 
Knowledge Representation and Reasoning 
Reasoning about Actions and Change
Database Theory

In particular, we are seeking to strengthen our research teams in two foundational research projects “Ontology-mediated […]

PhD Position in Artificial Intelligence

A PhD position is available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus). We invite highly motivated applicants interested both in the theory and practice of

Description Logics
Answer Set Programming 
Knowledge Representation and Reasoning 
Reasoning about Actions and Change
Database Theory

In particular, we are seeking to strengthen our research […]

PhD position in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice

We invite applications for a PhD position (3 years with the possibility of extension), working with the Assistant Professor Jiehua Chen at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria.

The PhD position is available for the WWTF research project (Vienna Science and Technology Fund) titled Structural and Algorithmic Aspects of […]

Fully Funded PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria

Deadline: June 12, 2020

Fully funded PhD in Networking and Communication Technology at the University of Vienna

The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated,  and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our […]