Open Positions
Contents
ERC Starting Grant: COMPLEX REASON – Postdoc Positions
Reasoning is a fundamental task in Artificial Intelligence that arises in a wide range of applications from Robotics to Expert Systems. Different applications require different forms of reasoning and all these forms give rise to computational problems that can be solved algorithmically.
The aim of the ERC project COMPLEX REASON at the Vienna University of Technology, Austria, is to devise new efficient algorithms for reasoning problems and to gain new theoretical insights into the question of what makes a reasoning problem difficult or easy.
Currently there are two postdoc positions available within this project. The positions are for a duration between one and two and a half years. The review of applicants will begin immediately and continue until the positions are filled. Informal inquires by email to Stefan Szeider are welcome.
Postdoc Position in Algorithms & Complexity
Requirements
• PhD degree in Computer Science or related area, research experience at postdoctoral level is of advantage
• excellent knowledge of algorithms and complexity, preferably in the setting of parameterized complexity and fixed-parameter tractability
• strong background in graph theory, combinatorics, constraint satisfaction, satisfiability or proof complexity is of advantage
Postdoc Position in Probabilistic Reasoning
Requirements
• PhD degree in Computer Science or related area
• research experience at postdoctoral level is of advantage
• excellent knowledge of state-of-the-art algorithms and tools for probabilistic reasoning
• excellent background in algorithms and complexity
• experience in prototype implementation and testing
• further background in combinatorics, constraint satisfaction, or probabilistic network structure learning is of advantage
How to Apply
The candidates should send their CV, a list of publications, a brief outline of previous research, the names and addresses of three referees, and the earliest possible starting date, per e-mail to:
Ms Eva Nedoma
E-mail: eva “at” kr “dot” tuwien “dot” ac “dot” at
Knowledge-Based Systems Group
Institute of Information Systems
Vienna University of Technology
Favoritenstrasse 9-11
A-1040 Vienna, Austria
http://www.kr.tuwien.ac.at/drm/szeider/complex-reason
National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions
Methods for systems engineering have steadily improved, but are being outrun by rapidly increasing system complexity. At the lower level, the trend towards multi-core processors is revolutionizing programming in the small. At the higher level, a migration towards cloud computing and Software as a service (SaaS) is revolutionizing programming in the large. Taking these developments together, it becomes evident that the available software development paradigms, from programming languages and patterns to software architectures and design processes are quickly becoming woefully inadequate at best, and entirely obsolete at worst.
The RiSE project is a National Research Network funded by the Austrian National Science Fund (FWF) on the topic of Rigorous Systems Engineering. RiSE is concerned with improving the quality of complex software systems. It aims to move beyond classical, a‑posteriori verification techniques such as model checking, to an integrated approach of system design and formal verification.
RiSE is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems, to work on topics such as:
- design and verification of concurrent and real-time software;
- reactive synthesis and game theory;
- logical decision procedures.
Detailed application information is available on the RiSE website.
