[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Two 4-year PhD positions @ AUTOSARD
======================================================================
Within the AUTOSARD project, led by Georg Moser (University of
Innsbruck) and Florian Zuleger (Vienna University of Technology), both
in Austria, there are two openings for 4 year PhD student positions. In
AUTOSARD, we target an automated complexity analysis of the most common
data structures with good, ie. sublinear, complexity, as they are
typically used in standard libraries of programming languages. Our goals
are the verification of textbook data structures, the confirmation and
improvement (on coefficients) of previously reported complexity bounds,
as well as the automated analysis of realistic data structure
implementations. For more details, kindly see
https://urldefense.com/v3/__https://tcs-informatik.uibk.ac.at/projects/autosard/__;!!IBzWLUs!URbIrShz5y8mSDIyuBN2G1VEbm4we8r4I2eiXDbOD4QAAFCG1ZjPpMh1GszxcgG92bFQVe3aXnaGRLv0sZnPgxLGxrYmcMv428cqlSQ$
The PhD positions will be be jointly supervised by Georg and Florian and
are either located at Innsbruck or Vienna.
Applications (including CV, short letter of motivation, three
references, preferred location) should be submitted to either
- Georg Moser ([email protected]) or
- Florian Zuleger ([email protected])
no later than *March 12, 2023*. Informal inquiries may be sent to either
Florian or Georg.
The city of Innsbruck is superbly located in the beautiful surroundings
of the Tyrolean Alps. The combination of urban life in this historic
town and the Alpine environment provides a high quality of living. On
the other hand, Vienna has just last year reclaimed the title of the
world’s most liveable city; a title it frequently held in the last years.
Further information on the hosting groups and institutions is available
from the following links:
- Theoretical Computer Science Group
https://urldefense.com/v3/__https://tcs-informatik.uibk.ac.at/__;!!IBzWLUs!URbIrShz5y8mSDIyuBN2G1VEbm4we8r4I2eiXDbOD4QAAFCG1ZjPpMh1GszxcgG92bFQVe3aXnaGRLv0sZnPgxLGxrYmcMv4QniAJwk$
- University of Innsbruck
https://urldefense.com/v3/__https://www.uibk.ac.at/__;!!IBzWLUs!URbIrShz5y8mSDIyuBN2G1VEbm4we8r4I2eiXDbOD4QAAFCG1ZjPpMh1GszxcgG92bFQVe3aXnaGRLv0sZnPgxLGxrYmcMv467agK_Y$
- Formal Methods in Systems Engineering
https://urldefense.com/v3/__https://informatics.tuwien.ac.at/orgs/e192-04__;!!IBzWLUs!URbIrShz5y8mSDIyuBN2G1VEbm4we8r4I2eiXDbOD4QAAFCG1ZjPpMh1GszxcgG92bFQVe3aXnaGRLv0sZnPgxLGxrYmcMv4zKQKG58$
- Vienna University of Technology
https://urldefense.com/v3/__https://www.tuwien.at/__;!!IBzWLUs!URbIrShz5y8mSDIyuBN2G1VEbm4we8r4I2eiXDbOD4QAAFCG1ZjPpMh1GszxcgG92bFQVe3aXnaGRLv0sZnPgxLGxrYmcMv4UEoNrjY$
Best wishes,
Florian and Georg
