Of­f­re 226 sur 494 du 13/05/2019, 13:46


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.

Rese­arch Asso­ciate / PhD Stu­dent / 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 13 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 for 4 years, maxi­mally 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 is sui­ta­ble for PhD Stu­dents and for Post­docs and aims at obtai­ning fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. Ph.D. or 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 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 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 rese­ar­cher in the ERC pro­ject you will inves­ti­gate 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 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 is a cen­tral part of the 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, the app­li­cant is expec­ted to under­take rese­arch visits and to actively par­ti­ci­pate in the orga­ni­za­tion of pro­ject-rela­ted work­shops.


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, mathe­ma­tics or a rela­ted area, if app­li­ca­ble a PhD, 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
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­zing 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:

Applic­a­tions from women are par­tic­u­larly wel­come. The same applies to people with dis­ab­il­it­ies.
Please sub­mit your com­pre­hens­ive applic­a­tion (includ­ing motiv­a­tion let­ter, CV, state­ment of research interests and record of pub­lic­a­tions) by 13 June 2019 (stamped arrival date of the uni­versity cent­ral mail ser­vice applies), prefer­ably via the TU Dresden Secure­Mail Portal by send­ing it as a single PDF doc­u­ment to or by postal mail to

TU Dresden
Fak­ultät Inform­atik
Insti­tut für Künst­liche Intel­li­gen­zPro­fes­sur für Com­pu­ta­tional Logic
Herrn Prof. Dr. Sebastian Rudolph
Helm­holtz­str. 10
01069 Dresden.

Please sub­mit cop­ies only, as your applic­a­tion will not be returned to you. Expenses incurred in attend­ing inter­views can­not be reim­bursed.

Ref­er­ence to data pro­tec­tion: Your data pro­tec­tion rights, the pur­pose for which your data will be pro­cessed, as well as fur­ther inform­a­tion about data pro­tec­tion is avail­able to you on the web­site: