Logic List Mailing Archive

University Assistant (Prae-doc) in Formal Methods in Systems Engineering, TU Vienna, Deadline: 31. Aug 2023

TU Wien is Austria's largest institution of research and higher education i
n 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 mor
e than 200 years, guided by the motto "Technology for People". As a driver 
of innovation, TU Wien fosters close collaboration with business and indust
ry and contributes to the prosperity of society.
At the Institute of Logic and Computation, in the Research Unit of Formal M
ethods in Systems Engineering TU Wien is offering a position as university 
assistant (prae-doc) for 1 year, for 30 hours/week. Expected start: October

    Collaboration on research and teaching tasks as well as examinations in
 Logic and Reasoning (in particular, on first-order logic, SAT/SMT solving,
 tableaux reasoning)
    Cooperation and guidance of students
    Research and project activity in logic and reasoning, with particular f
ocus on integrating SAT/SMT solving in first-order theorem proving. Previou
s experience with first-order provers, possibly with the Vampire system, is
    Implementing and evaluation automated reasoning systems
    Writing publications and disseminating results
    Participation in scientific events
    Assistance/Collaboration in organizational and administrative tasks

Your profile:

    Completion of a master or diploma curriculum in one of these fields: in
formatics, mathematics, engineering
    Skillful and responsible in experimental work
    Experience in the following scientific fields: automated reasoning (fir
st-order theorem proving and/or SAT/Solving, advantageous but not required)
    Very good skills in English communication and writing. Knowledge of Ger
man (level B2) or willingness to learn it
    Interest in research in the field as well as supervision and work with 
    Very good communicative skills and team competences and innovative abil

We offer:

    A wide variety and exciting range of tasks in a collegial team
    Hybrid working style with up to 60% home office option
    A range of attractive social benefits (see Fringe-Benefit Catalogue of 
TU Wien, https://jobs.tuwien.ac.at/Content/files/Fringe_Benefit_Katalog_TUW
_englisch_ck.pdf )
    Wide range of internal and external training opportunities, various car
eer options
    Central location of workplace as well as good accessibility (U1/U4 Karl

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 q
uestions, please contact the confidant for disabled persons at the universi
ty, Mr. Gerhard Neusttter.
Entry level salary is determined by the pay grade B1 of the Austrian collec
tive agreement for university staff. This is a minimum of currently EUR 2,4
58.00/month gross, 14 times/year for 30 hours/week. Relevant working experi
ences may increase the monthly income.

We look forward to receiving your application until August 31th, 2023.
Apply now: https://jobs.tuwien.ac.at/Register/216548 

If you have any questions, please do not hesitate to contact us

Carmen Keck | T: +43 1 588 01 406201
Here you can find also relevant information about the application process: 

Technology for People
Furthermore, please note that applicants will not normally be reimbursed fo
r travel costs incurred in connection with this admission process.


Beatrix Buhl

Technische Universitt Wien
Institute of Logic and Computation 

Formal Methods in Systems Engineering Group 

Favoritenstr. 9 - 11/ 192-04 

1040 Wien 

TEL.: +43 1 58801 18404 

DVR 0005886
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php