Of­fer 101 out of 318 from 12/04/19, 09:17


Tech­ni­sche Uni­ver­si­tät Dres­den - Faculty of Com­pu­ter Sci­ence, Insti­tute of Theo­re­ti­cal Com­pu­ter Sci­ence, Chair of Know­ledge-Based Sys­tems

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.

Rese­arch Asso­ciate / PhD Posi­tion / Post­doc

(sub­ject to per­so­nal qua­li­fi­ca­tion employees are remu­ne­ra­ted accord­ing to sala­ray group E 13 TV-L)
The Insti­tute of Theo­re­ti­cal Com­pu­ter Sci­ence, Chair of Know­ledge-Based Sys­tems, invi­tes app­li­ca­ti­ons wit­hin the Col­la­bo­ra­tive Rese­arch Cen­ter CRC/TR 248 „Foun­da­ti­ons of Per­spi­cuous Soft­ware Sys­tems“ star­ting on 1st July 2019. The posi­tion fixed-term to 31st Decem­ber 2022. The period of employ­ment is gover­ned by the Fixed Term Rese­arch Con­tracts Act (Wis­sen­schafts­zeit­ver­trags­ge­setz - WissZeitVG). The posi­tion is sui­ta­ble for PhD Stu­dents and for Post­docs and offers the chance to obtain fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. PhD or habi­li­ta­tion the­sis).
The Com­pu­ter Sci­ence CRC/Trans­re­gio 248 lays the sci­en­ti­fic foun­da­ti­ons for the cyber-phy­si­cal sys­tems of the future, enab­ling them to exp­lain their func­tio­n­a­lity and beha­viour (so-cal­led Per­spi­cuous Sys­tems). We are rese­ar­ching a foun­da­tio­nal and app­li­ca­ble theory of explana­ti­ons for all facets of sys­tem beha­viour, as well as visual and ver­bal elu­ci­da­tion methods for diverse user groups. More infor­ma­tion can be found at
As a mem­ber of the Chair of Know­ledge-Based Sys­tems you will be part of a suc­cess­ful team of expe­ri­en­ced rese­ar­chers of many natio­na­li­ties and back­grounds. You will work in the vibrant sci­en­ti­fic envi­ron­ment of the CRC and TU Dres­den, one of the lea­ding Ger­man rese­arch uni­ver­si­ties. Dres­den is a highly liv­a­ble city with a rich cul­tu­ral life and beau­ti­ful nature.

Work­ing field:

As a mem­ber of the pro­ject teams in sub-pro­jects E3 and C4 of the Col­la­bo­ra­tive Rese­arch Cen­ter, you will be rese­ar­ching new methods of intel­li­gent infor­ma­tion pro­ces­sing based on under­stand­a­ble rules. You will be working on one or several of the fol­lo­wing tasks:
  • Design of logi­cal rule lan­guages and the study of their expres­sive power and com­ple­xity;
  • Design of methods for logi­cal infe­ren­cing and sta­tic ana­ly­sis of rule sets;
  • App­li­ca­tion of the obtai­ned insights in know­ledge rep­re­sen­ta­tion and arti­fi­cial intel­li­gence.
The posi­tion is focus­sed on foun­da­tio­nal rese­arch. Publi­ca­tion and pre­sen­ta­tion of rese­arch results at inter­na­tio­nal venues is an important part of the work.


We are loo­king for moti­va­ted and talen­ted staff mem­bers with a very good uni­ver­sity degree (M.Sc. or equi­va­lent) in com­pu­ter sci­ence or a rela­ted area, if app­li­ca­ble a PhD, and with firm back­ground know­ledge in theo­re­ti­cal com­pu­ter sci­ence and mathe­ma­tics, as well as in one or more of the fol­lo­wing topics:
  • Arti­fi­cial intel­li­gence, espe­ci­ally know­ledge rep­re­sen­ta­tion and rea­so­ning
  • Logic, auto­mata theory, models of com­pu­ta­tion
  • Know­ledge in adja­cent areas, such as for­mal methods and data­base theory
Post­docs should have made signi­fi­cant rese­arch con­tri­bu­ti­ons to one of the above areas. Can­di­da­tes should be inde­pen­dent in orga­ni­sing their work, keen on working with teams of experts across other pro­jects, and flu­ent in Eng­lish, oral and writ­ten.

How to ap­ply:

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.
Please sub­mit your com­pre­hen­sive app­li­ca­tion (inclu­ding CV and state­ment of rese­arch inte­rest) by 15th May 2019 (stam­ped arri­val date of the uni­ver­sity cen­tral mail ser­vice app­lies), pre­fer­a­bly via the TU Dres­den Secu­re­Mail by sen­ding it as a sin­gle pdf docu­ment to or by mail to: 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 Wis­sens­ba­sierte Sys­teme, Herrn Prof. Dr. Mar­kus Krötzsch, Helm­holtz­str. 10, 01069 Dres­den. 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.

Refe­rence to data pro­tec­tion: Your data pro­tec­tion rights, the pur­pose for which your data will be pro­ces­sed, as well as fur­ther infor­ma­tion about data pro­tec­tion is avail­able to you on the web­site: