Of­fer 343 out of 421 from 21/06/19, 12:27


Tech­ni­sche Uni­ver­si­tät Dres­den - Faculty of Com­pu­ter Sci­ence, Insti­tute of Arti­fi­cial Intel­li­gence, Chair of Com­pu­ta­tio­nal Logic

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.

Senior Rese­arch Asso­ciate / Post­doc

(Sub­ject to per­so­nal qua­li­fi­ca­tion employees are remu­ne­ra­ted accord­ing to salary group E 14 TV-L)
The posi­tion is offe­red wit­hin the ERC Con­so­li­da­tor Grant „A Grand Uni­fied Theory of Decida­bi­lity in Logic-Based Know­ledge Rep­re­sen­ta­tion“ (Deci­GUT) star­ting at the next pos­si­ble date. The posi­tion is fixed-term until to 30 Sep­tem­ber 2023. 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 aims at obtai­ning fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. habi­li­ta­tion the­sis). Balan­cing family and career is an important issue. The post is basi­cally sui­ta­ble for can­di­da­tes see­king part-time employ­ment. A part-time employ­ment of 50% of the full­time wee­kly hours is pos­si­ble.
The aim of the ERC pro­ject Deci­GUT is to create a uni­fied, model theo­re­ti­cal basis for decida­bi­lity, which in turn will enable the defi­ni­tion of new, even more expres­sive but decida­ble know­ledge rep­re­sen­ta­tion lan­guages. The for­ma­lisms stu­died include descrip­tion logics, rule lan­guages, and frag­ments of first- and hig­her-order pre­di­cate logic in gene­ral. The pro­ject is thus of high rele­vance for various sci­en­ti­fic fields such as arti­fi­cial intel­li­gence, data­base theory and mathe­ma­ti­cal logic with poten­ti­ally far-reaching prac­ti­cal effects, for example in the areas of seman­tic tech­no­lo­gies and infor­ma­tion sys­tems.
As a senior mem­ber of the Chair of Com­pu­ta­tio­nal Logic 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 a pres­ti­gious ERC pro­ject 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 senior rese­ar­cher in the ERC pro­ject you will be lea­ding and coor­di­na­ting rese­arch on fun­da­men­tal princi­ples for com­pu­ta­tio­nal pro­per­ties (such as decida­bi­lity, com­ple­xity) of rea­so­ning tasks in the field of know­ledge rep­re­sen­ta­tion. The posi­tion is stron­gly focu­sed on chal­len­ging foun­da­tio­nal rese­arch. Publi­ca­tion and pre­sen­ta­tion of results in high-ran­king jour­nals and at renow­ned inter­na­tio­nal con­fe­ren­ces will be a cen­tral part of your work. Of great impor­t­ance for the suc­cess of the pro­ject is also a lively exchange with the inter­na­tio­nal experts in the field. Hence, you are expec­ted to under­take rese­arch visits and orga­nize pro­ject-rela­ted work­shops.


We are loo­king for expe­ri­en­ced, moti­va­ted, and talen­ted staff mem­bers with a very good uni­ver­sity degree (M.Sc. or equi­va­lent) and a PhD in com­pu­ter sci­ence, mathe­ma­tics or a rela­ted area, and with firm back­ground know­ledge in one or more of the fol­lo­wing topics:
  • arti­fi­cial intel­li­gence, know­ledge rep­re­sen­ta­tion and rea­so­ning
  • mathe­ma­ti­cal logic, model theory, alge­bra
  • data­base theory.
You should have docu­men­ted exper­tise in at least one (pre­fer­a­bly several) of the above areas, wit­nessed by signi­fi­cant rese­arch con­tri­bu­ti­ons. Can­di­da­tes should be proac­tive and inde­pen­dent in orga­ni­zing their work, ready to men­tor PhD and mas­ter stu­dents, 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 moti­va­tion let­ter, CV, state­ment of rese­arch inte­rests, and record of publi­ca­ti­ons) by 26.07.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 Por­tal 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 Künst­li­che Intel­li­genz, Pro­fes­sur für Com­pu­ta­tio­nal Logic, Herrn Prof. Dr. Sebas­tian Rudolph, 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, and fur­ther data pro­tec­tion infor­ma­tion are avail­able via https: //tu-dres­­riere/daten­schutz­hin­weis