Applications are being invited for outstanding early-career scientists (2-8 years post PhD), interested in establishing their first independent research group in an interdisciplinary field, connecting Logic with Mathematics and Computer Science. In this context, the Logic and Theory group at TU Wien is looking for candidates working on the analysis on mathematical proofs.

We are seeking for outstanding candidates, who are interested to submit an application to the open call for young investigators of the Vienna Science and Technology Fund (WWTF): https://www.wwtf.at/upload/VRG17_web.pdf.

In the case of a successful application, the research group will be funded for 6-8 years, with up to 1.6 million EUR by the WWTF, supplemented by an additional contribution from the University. After a successful interim evaluation, TU Wien will offer a tenure-track position to the group leader.

Requirements: Applicants should have an excellent track record demonstrating the innovative application of mathematical methods in Theoretical Computer Science. Application procedure: For a first step, informal inquiries, including a short CV with publication list, list of research projects and potential topics for a WWTF grant application should be sent to Agata Ciabattoni agata@logic.at as soon as possible but no later than June 28, 2017.

Female applicants are explicitly encouraged to apply!

Vienna, May 15 2017