Of­f­re 242 sur 317 du 03/09/2020, 14:04


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, Junior Rese­arch Group Logic Pro­gramming and Argu­men­ta­tion

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.

2 Rese­arch Asso­cia­tes / PhD Stu­dents / Post­docs

(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 Junior Rese­arch Group Logic Pro­gramming and Argu­men­ta­tion to be newly foun­ded offers two posi­ti­ons wit­hin the BMBF pro­ject „Navas - Navi­ga­tion Approa­ches for Ans­wer Sets” star­ting as soon as pos­si­ble. The posi­ti­ons are fixed-term until 30.9.2024. 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­ti­ons offer the chance to obtain 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 posts are 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. Please indi­cate your request in your app­li­ca­tion.

The pro­ject Navas is dedi­ca­ted to deve­lop inter­ac­tive and trans­pa­rent navi­ga­tion approa­ches for ans­wer sets in order to make ans­wer set pro­gramming (ASP) tech­no­logy more acces­si­ble to the public. We are rese­ar­ching a foun­da­tio­nal and app­li­ca­ble theory to make the ASP approach more exp­lainable, in par­ti­cu­lar to pro­vide an inter­ac­tive inter­face to explore the solu­tion space of ans­wer sets.

Work­ing field:

As a mem­ber of the pro­ject Navas, you will be rese­ar­ching new methods in the area of Ans­wer Set Pro­gramming with app­li­ca­tion to Argu­men­ta­tion Theory and Con­fi­gu­ra­tion. You will be working on one or several of the fol­lo­wing tasks: Theo­re­ti­cal foun­da­ti­ons like Com­ple­xity Ana­ly­sis; Deve­lop­ment of navi­ga­tion stra­te­gies for ans­wer sets; Visua­li­sa­tion tech­ni­ques for ans­wer set navi­ga­tion; Pro­to­ty­pi­cal imple­men­ta­tion and empi­ri­cal eva­lua­tion. The posi­tion is focu­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 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 Pro­gramming, Ans­wer-Set Pro­gramming
  • Argu­men­ta­tion Theory, Abs­tract Argu­men­ta­tion
  • Com­bi­na­to­rial Search Pro­blems, Con­fi­gu­ra­tion Pro­blems
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 of pro­ject part­ners, 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.
As a mem­ber of the Junior Rese­arch Group Logic Pro­gramming and Argu­men­ta­tion led by Dr. Sarah Gaggl you will be part of an emer­ging young team of 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 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.
Please sub­mit your com­pre­hen­sive app­li­ca­tion (inclu­ding CV and state­ment of rese­arch inte­rest) by 08.10.2020 (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, z.H. Frau Dr. Sarah Gaggl, 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: https: //tu-dres­­riere/daten­schutz­hin­weis