[DL] Offering PreDoc Position - TU Wien

[Beatrix Buhl]

HeaderBild


  University Assistant (Prae-Doc)


    30 hours/week | limited to 1 year

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.
At the *Institute of Logic and Computation, in the Research Unit of 
Formal Methods in Systems Engineering* TU Wien is offering a position as 
university assistant (prae-doc) for 1 year, for 30 hours/week. Expected 
start: October 2023.


      Tasks:

  * 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 focus on integrating SAT/SMT solving in first-order
    theorem proving. Previous experience with first-order provers,
    possibly with the Vampire system, is advantageous.
  * 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:
    informatics, mathematics, engineering
  * Skillful and responsible in experimental work
  * Experience in the following scientific fields: automated reasoning
    (first-order theorem proving and/or SAT/Solving, advantageous but
    not required)
  * Very good skills in English communication and writing. Knowledge of
    German (level B2) or willingness to learn it
  * Interest in research in the field as well as supervision and work
    with students
  * Very good communicative skills and team competences and innovative
    ability


      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://url.tuwien.at/cfjyv>)
  * Wide range of internal and external training opportunities, various
    career options
  * Central location of workplace as well as good accessibility (U1/U4
    Karlsplatz)

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 is determined by the pay grade B1 of the Austrian 
collective agreement for university staff. This is a minimum of 
currently EUR 2,458.00/month gross, 14 times/year for 30 hours/week. 
Relevant working experiences 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>
Logo
Logo 2
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 <https://www.tuwien.at/tu-wien/arbeiten-an-der-tuw>.
Technology for People
Furthermore, please note that applicants will not normally be reimbursed 
for travel costs incurred in connection with this admission process.

-- 
Beatrix Buhl

Technische Universität 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20230811/c999e60f/attachment.htm>