There is an opening for a postdoc position ("university assistant") at TU Wien
within the Algorithms and Complexity research unit. Candidates should have a
research focus on quantified propositional logic (quantified and dependency
quantified Boolean formulas), including practical aspects (solver development,
engineering, applications) and theory (proof complexity).
Candidates should have a strong publication track record on that research topic
and excellent written and oral communication skills. Since the position
includes undergraduate teaching, knowledge of German (level B2) or willingness
to learn it in the first year is required.
The position is limited to 6 years for 40 hours/week with an expected start in
September 2023. The deadline for applications is
*** July 13, 2023. ***
Further details on the position and how to apply can be found here:
https://nam04.safelinks.protection.outlook.com/?url=https%3A%2F%2Fjobs.tuwien.ac.at%2FJob%2F212680&data=05%7C01%7Cuai%40ENGR.ORST.EDU%7C6be562bc61c6419c318f08db7725aa3c%7Cce6d05e13c5e4d6287a84c4a2713c113%7C0%7C0%7C638234775877972813%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=JLy%2BrfYuYArfgSdouRxGF2RH7HbxitbbUyRtN52z%2FhY%3D&reserved=0
_______________________________________________
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai
