Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] One PhD Position in LogiCS@TUWien Doctoral Pro...


view this post on Zulip Email Gateway (Sep 07 2022 at 12:47):

From: Georg Weissenbacher <georg.weissenbacher@tuwien.ac.at>
Open PhD position | 40 hours/week | 4 years

TU Wien is Austria's largest institution of research and higher
education in the fields of technology and natural sciences. With over
26,000 students and more than 4000 scientists, research, teaching and
learning dedicated to the advancement of science and technology have
been conducted here for more than 200 years, guided by the motto
"Technology for People". As a driver of innovation, TU Wien fosters
close collaboration with business and industry and contributes to the
prosperity of society.

The novel interdisciplinary Marie Sklodowska-Curie COFUND doctoral
training programme LogiCS@TUWien - Logics for Computer Science Program
at TU Wien, co-funded by the European Commission, offers one full-time
PhD positions.

The program is hosted by TU Wien, one of the most successful technical
Universities in Europe and the largest one in Austria. The Faculty of
Informatics of TU Wien is a leading research and teaching institution
which consistently ranks among the top 100 computer science faculties
in the global Times Higher Education ranking. In the heart of Europe,
Vienna has a prominent history in mathematics, computer science, and
logic research, and offers one of the highest living standards in the
world.

The programme provides a 4-year long doctoral training for
international PhD candidates within an English-language curriculum.
The doctoral positions are open to international high-potential
early-stage researchers with a strong background in Logical Methods in
Computer Science and their applications in areas like Artificial
Intelligence, Databases, Verification, Algorithms, Security, and
Cyber-Physical Systems. Each PhD candidate will be supervised by at
least one of the LogiCS@TUWien professors, see
http://www.vcla.at/msca/supervisors

We are looking for exceptional candidates to allocate one position as
a university assistant (Pre-Doc) for 4 years for 40 hours/week.
Expected start: Second half of 2022. Please see
http://www.vcla.at/msca/apply for the application requirements.
Tasks:
Deepening of scientific knowledge and independent research work on the
specific PhD topic
Collaboration on current research projects
Preparation of scientific publications and a PhD thesis in English
Presentation of research results at international conferences and
other scientific events
Successful completion of important milestones of the program, see
http://www.vcla.at/msca/training
Participation in events organized by the program LogiCS@TUWien
Your profile:
Completion of a Masters and Bachelor degree or equivalent in computer
science, computational logic, discrete mathematics or related
disciplines, with outstanding academic performance
Previous research experience in the subjects of the specific project
is highly desirable, see for details http://www.vcla.at/msca/topics
Excellent skills in English communication and writing
Active readiness for scientific collaboration
Team competences and problem-solving skills
Positive attitude and contribution to the work environment
Striving for continuous personal development
We offer:
Diverse and exciting research projects on cutting edge topics, see
http://www.vcla.at/msca/topics
Continuing personal and professional education and flexible working hours
High-quality supervision by renowned professors
Ample possibilities for building an international research network,
doing internships, and establishing research collaborations
Very competitive salary
Administrative support in study and life questions
Central location with excellent accessibility (U1/U2/U4 Karlsplatz) in
a city regularly ranked first worldwide for life quality
TU Wien is committed to increasing the proportion of women in
particular in leadership positions. Female applicants are explicitly
encouraged to apply. Preference will be given to women when equally
qualified, unless reasons specific to a male applicant tilt the
balance in his favour.

People with special needs are equally encouraged to apply. In case of
any questions, please contact the confidant for disabled persons at
the university, Mr. Gerhard Neustätter.
Entry level salary as a predoctoral researcher is covered by level B1
of the Austrian Collective Agreement for university staff, and
receives a minimum of currently EUR 2.971,50/month for 40 hours/week
(14 times/year).

We look forward to receiving your application until 10.09.2022

NOTE: Please check eligibility criteria such as MSCA mobility rule,
early-stage researchers and PhD qualification, see
http://www.vcla.at/msca/apply

For more detail please check our website http://www.vcla.at/msca/programme


Last updated: Mar 28 2024 at 08:18 UTC