The Research Unit Applied Statistics (ASTAT) of the Institute of Statistics and Mathematical Methods in Economics, TU Wien, the Cyber-Physical System (CPS) and Formal Methods in Systems Engineering (FORSYTE) research divisions of the Faculty of Informatics, TU Wien invite applications for a Predoctoral Research Assistant position to start tentatively in January 1, 2021 (negotiable). The position is offered within the Vienna Science and Technology Fund (WWTF) funded research project ProbInG: Distribution Recovery for Invariant Generation of Probabilistic
Programs. Probabilistic programs are computer programs with control flow statements that may choose probabilistically between several states and define a probability distribution over the possible final values of program variables. This project aims at developing novel and fully automated approaches to recover the value distribution of program variables, without any user guidance. Additional information about the project can be found at https://www.wwtf.at/programmes/information_communication/ICT19-018/index.php?lang=EN
The contract is for 40h/week employment as a PhD candidate for up to 4 years. The monthly salary is currently (in accordance with TU Wien regulations) EUR 2.929,00 gross (14x per year).
Responsibilities: The student is expected to conduct research for the associated project in the inter-disciplinary field of mathematics and computer science. The research is expected to lead to peer-reviewed publications and a PhD dissertation.
Requirements: The successful candidate will have a completed master’s degree or equivalent (e.g., Dipl.-Ing., Dipl.-Inf.), preferably with distinction, in one of the following fields: Statistics, Mathematics, Applied Mathematics or Computer Science, or equivalent university studies at home or abroad. Specifically, requirements include
a successfully completed master’s degree in mathematics/statistics/computer science
a strong background in mathematics and statistics
knowledge of formal modeling is desirable
good command of the English language (German knowledge is not required)
Application Information: The application should include the following documents:
Statement of Research Interests, Curriculum Vitae, Dissertation, thesis or Master thesis, Copies of academic credentials (with translation if not in English or German), Contact information of two referees or two reference letters.
Review of applications will begin immediately and continue until the position is filled. Please send your application documents as a single PDF file via e-mail to firstname.lastname@example.org including a brief cover letter in the main body of the email with subject: Application for WWTF predoc position.
Vienna is a major metropolitan center rich in culture, excellent infrastructure and quality of living and the largest university city in the German-speaking world.
For further information, please contact Prof. Dr. Efstathia Bura (email@example.com).
If you are pursuing your bachelor/master degree in computer science or mathematics at TU Wien and are interested in formal methods, verification, machine learning, probability theory, then please contact us.
We are hiring student employees to join our team and develop the next techniques and technologies to automatically reason about probabilistic systems. Strong knowledge in probability theory is not required. If you are motivated to learn and do academic research we will be able to find a suitable topic. Good programming skills are a plus. The work can be combined with semester projects and a bachelor/master thesis and will potentially lead to research papers.
Potential topics are:
- Probabilistic invariant generation
- Auotamtic Termination Analysis of Probabilistic Programs
- Verifying/monitoring machine learning components
- Develop new software tools to analyize probabilistic programs
According to TU Wien regulations we are hiring up to 20 hours/week with a gross salary of 1.058,30 EUR. If you are interested please contact Marcel Moosbrugger (firstname.lastname@example.org).