An­ge­bot 260 von 539 vom 09.03.2018, 00:00


Tech­ni­sche Uni­ver­si­tät Dres­den - DFG Rese­arch Trai­ning Group GRK 1763 "Quan­ti­ta­tive Logics and Auto­mata" (Gra­du­ier­ten­kol­leg)

The TU Dres­den is one of ele­ven Ger­man uni­ver­si­ties that were iden­ti­fied as an “excel­lence uni­ver­sity”. TUD has about 36.500 stu­dents and almost 5319 employees, 507 pro­fes­sors among them, and, thus, is the lar­gest uni­ver­sity in Sax­ony, today.

Having been com­mit­ted to sci­en­ces and the engi­nee­ring before the reuni­fi­ca­tion of Ger­many, TU Dres­den now is a multi-disci­pline uni­ver­sity, also offe­ring huma­nities and social sci­en­ces as well as medi­cine.

8 Rese­arch Asso­cia­tes/PhD Stu­dents

(Sub­ject to per­sonal qual­i­fic­a­tion employ­ees are remu­ner­ated accord­ing to salary group E 13 TV-L)
The DFG Research Train­ing Group GRK 1763 "Quant­it­at­ive Logics and Auto­mata" (Graduier­ten­kolleg) of TU Dresden and Uni­versität Leipzig offers, sub­ject to resources being avail­able, eight pos­i­tions start­ing 01.10.2018. The pos­i­tions are lim­ited for 3 years until 30.09.2021. The period of employ­ment is gov­erned by the Fixed Term Research Con­tracts Act (Wis­senschaft­szeitver­trags­ge­setz - Wis­sZeitVG) and the guidelines for Research Train­ing Groups (DFG). The place of work (Dresden or Leipzig) depends on the place of work of the assigned super­visor. The pos­i­tions aim at obtain­ing fur­ther aca­demic qual­i­fic­a­tion (e.g. PhD).
This research pro­gramme is a joint activ­ity of TU Dresden (Insti­tute of The­or­et­ical Com­puter Sci­ence, Insti­tute of Arti­fi­cial Intel­li­gence, Insti­tute of Algebra) and the Uni­versity of Leipzig (Insti­tute of Com­puter Sci­ence) with par­ti­cip­at­ing sci­ent­ists Baader, Baier, Bod­irsky, Brewka, Droste, Maletti, Quaas, Rudolph, Turhan and Vogler.
More inform­a­tion about the pro­gramme and the applic­a­tion pro­ced­ure can be found at

Work­ing field:

The posi­ti­ons are for app­li­cants inte­rested in obtai­ning a doc­to­ral degree by per­for­ming high-qua­lity rese­arch on the con­nec­tion bet­ween quan­ti­ta­tive logics and auto­mata as well as their app­li­ca­ti­ons in veri­fi­ca­tion, know­ledge repre­sen­ta­tion, natu­ral lan­guage pro­ces­sing, and cons­traint sol­ving.


App­li­cants should have an excel­lent aca­de­mic record, and hold a uni­ver­sity degree (MSc or an equi­va­lent degree) in com­pu­ter sci­ence or rela­ted disci­pli­nes (such as mathe­ma­tics). Flu­ency in spo­ken and writ­ten Eng­lish is requi­red. App­li­cants with a good know­ledge of theo­re­ti­cal com­pu­ter sci­ence or one of the app­li­ca­tion areas men­tio­ned above are pre­fer­red.

How to ap­ply:

The par­ti­ci­pa­ting uni­ver­si­ties are com­mit­ted to increase the pro­por­tion of women in rese­arch. App­li­ca­ti­ons from women are par­ti­cu­larly wel­come. The same app­lies to people with disa­bi­li­ties.
App­li­ca­ti­ons con­sist of a CV, the names of two refe­rees, tran­scipts of docu­ments sum­ma­ri­zing aca­de­mic per­for­mance, and a state­ment of inte­rest. Please send your app­li­ca­tion pre­fe­ra­ble in pdf for­mat in an elec­tro­ni­cally signed and encry­pe­ted form via email to or to: TU Dres­den, Fakul­tät Infor­ma­tik, Insti­tut für Theo­re­ti­sche Infor­ma­tik, Herrn Prof. Dr.-Ing. Franz Baa­der, 01062 Dres­den, Ger­many. Due date of app­li­ca­ti­ons is 16.04.2018 (stam­ped arri­val date of the uni­ver­sity cen­tral mail ser­vice app­lies). Please sub­mit copies only, as your app­li­ca­tion will not be retur­ned to you. Expen­ses incur­red in atten­ding inter­views can­not be reim­bur­sed.