Blätter-Navigation

Offer 64 out of 437 from 04/08/22, 08:58

logologo

Tech­ni­sche Uni­ver­si­tät Dres­den - Fakul­tät Infor­ma­tik - Insti­tut für Theo­re­ti­sche Infor­ma­tik - Pro­fes­sur für Alge­brai­sche und logi­sche Grund­la­gen

Die TU Dres­den ist eine der elf Exzel­len­z­u­ni­ver­sitä­ten Deut­sch­lands. Als Voll­u­ni­ver­sität mit brei­tem Fächer­spek­trum zählt sie zu den for­schungs­s­tärks­ten Hoch­schu­len. Aus­tau­sch und Koope­ra­tion zwi­schen den Wis­sen­schaf­ten, mit Wirt­schaft und Gesell­schaft sind dafür die Grund­lage. Ziel ist es, im Wett­be­werb der Uni­ver­sitä­ten auch in Zukunft Spit­zen­plätze zu bele­gen. Daran und am Erfolg beim Trans­fer von Grund­la­gen­wis­sen und For­schung­s­er­geb­nis­sen mes­sen wir unsere Leis­tun­gen in Lehre, Stu­dium, For­schung und Wei­ter­bil­dung. Wis­sen schafft Brü­cken. Seit 1828.

wiss. Mit­ar­bei­ter/in / Dok­to­rand/in / Post­doc (m/w/d)
(bei Vor­lie­gen der per­sön­li­chen Vor­aus­set­zun­gen E 13 TV-L)

An der TU Dres­den, Fakul­tät Infor­ma­tik, Insti­tut für Theo­re­ti­sche Infor­ma­tik ist an der Pro­fes­sur für Alge­brai­sche und logi­sche Grund­la­gen ab sofort eine Stelle als

wiss. Mit­ar­bei­ter/in / Dok­to­rand/in / Post­doc (m/w/d)
(bei Vor­lie­gen der per­sön­li­chen Vor­aus­set­zun­gen E 13 TV-L)

für 3 Jahre (Beschäf­ti­gungs­dauer gem. WissZeitVG), mit dem Ziel der eige­nen wiss. Wei­ter­qua­li­fi­ka­tion (i.d.R. Pro­mo­tion/Habi­li­ta­tion), zu beset­zen.

Aufgabenbeschreibung:

For­schung im Gebiet for­ma­ler Metho­den für quan­ti­ta­tive Ana­lyse sto­chas­ti­scher Sys­teme und Erklär­bar­keit im Kon­text for­ma­ler Veri­fi­ka­tion, Durch­füh­rung von Lehr­ver­an­stal­tun­gen, insb. von Übun­gen und Semi­na­ren; Betreu­ung von Stu­die­ren­den; Klau­sur­auf­sicht; Bei­sitz in münd­li­chen Prü­fun­gen unter der fach­li­chen Ver­ant­wor­tung der Inha­be­rin der Pro­fes­sur; Mit­ar­beit bei der aka­de­mi­schen Selbst­ver­wal­tung inklu­sive der Durch­füh­rung wiss. Ver­an­stal­tun­gen sowie der Ein­wer­bung von Dritt­mit­teln.

Erwartete Qualifikationen:

Ein­schlä­gi­ger wiss. Hoch­schul­ab­schluss in der Fach­rich­tung Infor­ma­tik oder angren­zen­der Dis­zi­pli­nen; sehr gute Kennt­nisse in der Theo­re­ti­schen Infor­ma­tik und mathe­ma­ti­scher Grund­la­gen; Inter­esse an theo­re­ti­schen Fra­ge­stel­lun­gen; struk­tu­rierte Arbeits­weise; die Fähig­keit, Pro­jekte selbst­stän­dig vor­an­zu­brin­gen und mit allen Betei­lig­ten zu kom­mu­ni­zie­ren; aus­ge­zeich­ne­tes schrift­li­ches und münd­li­ches Aus­drucks­ver­mö­gen in deut­scher und eng­li­scher Spra­che. Gute Vor­kennt­nisse in den Gebie­ten der Auto­ma­ten­theo­rie, Veri­fi­ka­tion, Model Che­cking und Logik in der Infor­ma­tik sowie Erfah­rung in der Orga­ni­sa­tion und Tuto­ren­tä­tig­keit zu Lehr­ver­an­stal­tun­gen der Theo­re­ti­schen Infor­ma­tik sind erwünscht.

Hinweise zur Bewerbung:

Frauen sind aus­drück­lich zur Bewer­bung auf­ge­for­dert. Sel­bi­ges gilt auch für Men­schen mit Behin­de­run­gen.

Ihre aus­sa­ge­kräf­tige Bewer­bung sen­den Sie bitte mit den übli­chen Unter­la­gen bis zum 30.09.2022 (es gilt der Post­stem­pel der ZPS der TU Dres­den) bevor­zugt über das Secu­re­Mail Por­tal der TU Dres­den https://securemail.tu-dresden.de als ein PDF–Doku­ment an secretary_alg@mailbox.tu-dresden.de bzw. an: TU Dres­den, Fakul­tät Infor­ma­tik, Insti­tut für Theo­re­ti­sche Infor­ma­tik, Pro­fes­sur für Alge­brai­sche und logi­sche Grund­la­gen, Frau Prof. Dr. Chris­tel Baier, Helm­holtz­str. 10, 01069 Dres­den. Ihre Bewer­bungs­un­ter­la­gen wer­den nicht zurück­ge­sandt, bitte rei­chen Sie nur Kopien ein. Vor­stel­lungs­kos­ten wer­den nicht über­nom­men.

Hin­weis zum Daten­schutz: Wel­che Rechte Sie haben und zu wel­chem Zweck Ihre Daten ver­ar­bei­tet wer­den sowie wei­tere Infor­ma­tio­nen zum Daten­schutz haben wir auf der Web­seite https://tu-dresden.de/karriere/datenschutzhinweis für Sie zur Ver­fü­gung gestellt.