[TYPES/announce] Vienna Research Groups for Young Investigators - Call for Applications

[Georg Weissenbacher]

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
FORSYTE group at TU Wien (http://www.forsyte.at) is looking for strong
candidates applying static analysis to mathematics (e.g., proof
theory, mathematical models, or data science code).

We are seeking outstanding candidates who are interested in submitting
an application to the open call “Vienna Research Groups for Young
Investigators” (VRGYI) of the Vienna Science and Technology Fund
(WWTF): https://www.wwtf.at/upload/VRG17_web.pdf. The deadline for the
submission of the final proposal to the funding body (WWTF) is July
13, 2017.

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 or
tenured position to the group leader.

Requirements: Applicants should have an excellent track record
demonstrating the innovative combination of mathematics and 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
<hiring at forsyte.at> as soon as possible.