Blätter-Navigation

Offer 130 out of 476 from 21/01/23, 00:00

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 Auto­ma­ten­theo­rie

Die Tech­ni­sche Uni­ver­si­tät Dres­den (TUD) zählt als Exzel­lenz­uni­ver­si­tät zu den leis­tungs­stärks­ten For­schungs­ein­rich­tun­gen Deutsch­lands. 1828 gegrün­det, ist sie heute eine glo­bal bezo­gene, regio­nal ver­an­kerte Spit­zen­uni­ver­si­tät, die inno­va­tive Bei­träge zur Lösung welt­wei­ter Her­aus­for­de­run­gen leis­ten will. In For­schung und Lehre ver­eint sie Inge­nieur- und Natur­wis­sen­schaf­ten mit den Geis­tes- und Sozi­al­wis­sen­schaf­ten und der Medi­zin. Diese bun­des­weit her­aus­ra­gende Viel­falt an Fächern ermög­licht der Uni­ver­si­tät, die Inter­dis­zi­pli­na­ri­tät zu för­dern und Wis­sen­schaft in die Gesell­schaft zu tra­gen. Die TUD ver­steht sich als moderne Arbeit­ge­be­rin und will allen Beschäf­tig­ten in Lehre, For­schung, Tech­nik und Ver­wal­tung attrak­tive Arbeits­be­din­gun­gen bie­ten und so auch ihre Poten­ziale för­dern, ent­wi­ckeln und ein­bin­den. Die TUD steht für eine Uni­ver­si­täts­kul­tur, die geprägt ist von Welt­of­fen­heit, Wert­schät­zung, Inno­va­ti­ons­freude und Par­ti­zi­pa­tion.
Sie begreift Diver­si­tät als kul­tu­relle Selbst­ver­ständ­lich­keit und Qua­li­täts­kri­te­rium einer Exzel­lenz­uni­ver­si­tät. Ent­spre­chend begrü­ßen wir alle Bewer­ber:innen, die sich mit ihrer Leis­tung und Per­sön­lich­keit bei uns und mit uns für den Erfolg aller enga­gie­ren möch­ten.

wiss. Mit­ar­bei­ter:in / Dok­to­rand:in / Post­doc (m/w/d)

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 Auto­ma­ten­theo­rie zum 01.04.2023 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)

bis zum 30.09.2025 (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. Die Ver­ein­bar­keit von Fami­lie und Beruf hat einen hohen Stel­len­wert. Die Stelle ist grund­sätz­lich auch für Teil­zeit­be­schäf­tigte geeig­net. Bitte ver­mer­ken Sie die­sen Wunsch in Ihrer Bewer­bung.

Aufgabenbeschreibung:

Die Auf­ga­ben in der For­schung lie­gen auf dem Gebiet der sym­bo­li­schen Künst­li­chen Intel­li­genz und der logik-basier­ten Wis­sens­re­prä­sen­ta­tion. Ins­be­son­dere sol­len in Zusam­men­ar­beit mit den Mit­ar­bei­ter:innen des SFB/TRR CPEC (Foun­da­ti­ons of Per­spi­cuous Soft­ware Sys­tems) Metho­den zur Erklä­rung von logi­schen Infe­ren­zen ent­wi­ckelt, for­mal ana­ly­siert und getes­tet wer­den. In der Lehre soll die:der Stel­len­in­ha­ber:in im Grund­stu­dium Übungs­grup­pen für die Vor­le­sun­gen auf dem Gebiet der Grund­la­gen der Theo­re­ti­schen Infor­ma­tik an der Pro­fes­sur orga­ni­sie­ren und durch­füh­ren und umfas­send bei der Orga­ni­sa­tion und Durch­füh­rung der Klau­su­ren mit­wir­ken. Für die Lehre im fort­ge­schrit­te­nen Stu­dium soll die:der Stel­len­in­ha­ber:in zu Vor­le­sun­gen über Beschrei­bungs­lo­gi­ken, Auto­ma­ten auf end­li­chen und unend­li­chen Objek­ten und nicht-klas­si­schen Logi­ken Übungs­grup­pen, Semi­nare und Prak­tika durch­füh­ren, stu­den­ti­sche Arbei­ten betreuen und an Prü­fun­gen mit­wir­ken. Außer­dem soll die:der Stel­len­in­ha­ber:in an der Orga­ni­sa­tion von Tagun­gen und Work­shops mit­wir­ken und sich ange­mes­sen an der aka­de­mi­schen Selbst­ver­wal­tung der Pro­fes­sur und der Fakul­tät betei­li­gen.

Erwartete Qualifikationen:

erfolg­rei­cher wiss. Hoch­schul­ab­schluss (Mas­ter oder Diplom) in Infor­ma­tik oder einem ver­wand­ten Gebiet ggf. eine Pro­mo­tion in der Infor­ma­tik oder einem ver­wand­ten Gebiet (z. B. Mathe­ma­tik). Erwar­tet wer­den Kennt­nisse auf den oben genann­ten For­schungs­ge­bie­ten und deren mathe­ma­ti­schen Grund­la­gen.

Hinweise zur Bewerbung:

Die TUD strebt eine Erhö­hung des Anteils von Frauen an und bit­tet diese des­halb aus­drück­lich um deren Bewer­bung. Die Uni­ver­si­tät ist eine zer­ti­fi­zierte fami­li­en­ge­rechte Hoch­schule und ver­fügt über einen Dual Career Ser­vice. Bewer­bun­gen schwer­be­hin­der­ter Men­schen sind beson­ders will­kom­men. Bei glei­cher Eig­nung wer­den diese oder ihnen Kraft SGB IX von Geset­zes wegen Gleich­ge­stellte bevor­zugt ein­ge­stellt.

Ihre aus­sa­ge­kräf­tige Bewer­bung sen­den Sie bitte mit den übli­chen Unter­la­gen bis zum 31.01.2023 (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 kerstin.achtruth@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 Auto­ma­ten­theo­rie, Herrn Prof. Dr.-Ing. Franz Baa­der, 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.