Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 6-year PostDoc Position in Algorithms at the V...

Email Gateway (Aug 23 2022 at 09:07):

From: "Rozman, Mihaela" <mihaela.rozman@tuwien.ac.at>
/ Apologies for cross-posting /
/ Please feel free to distribute among the nodes in your network /

The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms.

* Application deadline is May 28, 2020 *

REQUIREMENTS

• Completed doctoral study in Computer Science or a related area
• Excellent Knowledge in the field of algorithms and complexity
• Excellent publications in top-tier conferences and journals
• Very good communication skills and an interest in teaching

• Research experience in at least one of the following areas:

  -- parameterized algorithms and complexity
  -- algorithmic applications of graph decompositions
  -- satisfiability and constraint satisfaction

• A good command of the German language is desirable

• Expected start: 1.10.2020 (negotiable)

WE OFFER

• A stimulating scientific environment
• Continuing support in personal and academic carrier development
• Outstanding opportunities for collaboration
• Workplace in a central location in one of the most liveable cities in the world
• Entry-level salary as a postdoctoral researcher is covered by level B1 of the Austrian Collective Agreement for university staff and receives a minimum of currently EUR 3.889,50/month gross, 14 times/year. Relevant working experiences may increase the monthly income.

TU Wien is committed to increasing female employment in leading scientific positions. Female candidates are explicitly encouraged to apply. Preference will be given when equally qualified.

APPLICATIONS

* Application deadline is May 28, 2020 *

Applications should be submitted by e-mail to Manuela Reinharter <manuela.reinharter@tuwien.ac.at> and should contain:

• Letter of motivation
• CV
• List of publications
• Short research statement
• Three of the most important publications
• Contact information of three referees

Expected start: 1.10.2020 (negotiable)

CONTACT AND INFORMAL INQUIRES
For informal inquiries, please contact Univ.Prof.Dr. Stefan Szeider <sz@ac.tuwien.ac.at>.

VACANCY ANNOUNCEMENT WEBSITE
https://www.ac.tuwien.ac.at/jobs/

Last updated: May 06 2024 at 16:21 UTC