Assistentin/Assistent; PräDoc / Postdoc

     
Anbieter
Erschienen
Frist
ArbeitsortGraz, Steiermark, Österreich
Kategorie
Funktion

Beschreibung

Stellenausschreibungen
An der Fakultät für Informatik der Technischen Universität Wien gelangen nachstehende Stellen für eine/n

Assistentin/Assistenten
zur Besetzung.

Bewerbungsfrist
: 27. Juni 2019 PräDoc Stellen; 04. Juli 2019 PostDoc Stellen . Die Universität strebt eine Erhöhung des Frauenanteils insbesondere in Leitungsfunktionen und beim wissenschaftlichen bzw.
künstlerischen Personal an und fordert deshalb qualifizierte Frauen ausdrücklich zur Bewerbung auf. Bewerberinnen, die gleich geeignet sind wie der bestgeeignete Mitbewerber, werden vorrangig aufgenommen, sofern nicht in der Person eines Mitbewerbers liegende Gründe überwiegen.
Wir sind bemüht, behinderte Menschen mit entsprechender Qualifikation einzustellen und fordern daher ausdrücklich zur Bewerbung auf.
Bei Rückfragen wenden Sie sich bitte an die Behindertenvertrauensperson der TU Wien, Herrn Gerhard Neustätter gerhard.neustaetter tuwien.ac.at.

201.5.1 Am Institut für Logic and Computation, E 192, Forschungsbereich Formal

Methods in Systems Engineering E 192-04, der Technischen Universität ist eine Stelle

für eine_n Assistent_in (PräDoc)
voraussichtlich ab 01.07.2019 bis 31.12.2019, Gehaltsgruppe B1, mit einem Beschäftigungsausmaß von 30 Wochenstunden zu besetzen.
Das monatliche Mindestentgelt für diese Gehaltsgruppe beträgt derzeit ¤ 2.148,40 brutto (14x jährlich). Aufgrund tätigkeitsbezogener Vorerfahrungen kann sich das Entgelt erhöhen.

Aufnahmebedingungen:
abgeschlossenes Magister-, Diplom-, Masterstudium der Fachrichtung Informatik

Sonstige Kenntnisse:
Hervorragende Kenntnisse und Forschungsergebnisse im Bereich Beweis-basierter Programmsynthese und Interpolation, Beweiskalküle und Beweistransformation.
Erfahrung in

Seite

2

5

der Lehre im Bereich Formale Methoden und Administration.
Unterstützung wesentlicher Aufgaben von Fr. Prof. Kovacs. Bewerbungen richten Sie an die Personaladministration, Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Onlinebewerbungen an veronika.korn [at] ?url=tuwien.ac.at&module=jobs&id=20987" target="_blank" rel="nofollow">tuwien.ac.at

201.5[.]2 Am Institut für Logic and Computation, E 192, Forschungsbereich Formal Methods in Systems Engineering E 192-04, der Technischen Universität ist eine Stelle für eine_n Assistent_in (PräDoc)
voraussichtlich ab 12.08.2019 bis 31.12.2019, Gehaltsgruppe B1, mit einem Beschäftigungsausmaß von 30 Wochenstunden zu besetzen.
Das monatliche Mindestentgelt für diese Gehaltsgruppe beträgt derzeit ¤ 2.148,40 brutto (14x jährlich). Aufgrund tätigkeitsbezogener Vorerfahrungen kann sich das Entgelt erhöhen.

Aufnahmebedingungen:

abgeschlossenes Magister-, Diplom-, Masterstudium der Fachrichtung Informatik

Sonstige Kenntnisse:

Hervorragende Kenntnisse und Forschungsergebnisse im Bereich Beweis-basierter Programmsynthese und Interpolation, Beweiskalküle und Beweistransformation.
Erfahrung in der Lehre im Bereich Formale Methoden und Administration. Unterstützung wesentlicher Aufgaben von Fr. Prof. Kovacs. Bewerbungen richten Sie an die Personaladministration, Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Onlinebewerbungen an veronika.korn [at] ?url=tuwien.ac.at&module=jobs&id=20987" target="_blank" rel="nofollow">tuwien.ac.at

Web lamp3.tugraz.at/~career... [PDF]
Bitte beziehen Sie sich bei Ihrer Bewerbung auf myScience.at und die Referenz  JobID 20987.


Weitere Stellen finden Sie auch unter jobs.myScience.de und jobs.myScience.ch