An­ge­bot 290 von 502 vom 30.01.2017, 15:30


Tech­ni­sche Uni­ver­si­tät Dres­den - Faculty of Sci­ence, Depart­ment of Mathe­ma­tics, Insti­tute of Alge­bra, Chair of Alge­bra and Dis­crete Struc­tu­res

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 Fel­low / Post­doc Posi­tion

(Sub­ject to per­so­nal qua­li­fi­ca­tion employees are remu­n­e­ra­ted accord­ing to salary group E 13 TV-L)

The posi­tion is star­ting at 01.04.2017 and limi­ted until 31.03.2020. 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 – Wiss­ZeitVG). 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. The posi­tion offers the chance to obtain fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. habi­li­ta­tion the­sis).

Work­ing field:

Rese­arch in the ERC con­so­li­da­tor grant „CSP-infi­nity“, in par­ti­cu­lar on cons­traint satis­fac­tion pro­blems over nume­ric domains, for example for semi­li­near cons­traint lan­gua­ges over the ratio­nals. The aim is to sys­te­ma­ti­cally under­stand com­pu­ta­tio­nal com­ple­xity and expres­si­vity of cons­traint lan­gua­ges.


uni­ver­sity degree and com­ple­ted PhD in mathe­ma­tics or theo­re­ti­cal com­pu­ter sci­ence; excel­lent Eng­lish pro­fi­ci­ency. Know­ledge in cons­traint satis­fac­tion pro­blems, uni­ver­sal alge­bra or model theory are requested.

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 app­li­ca­tion until 21.02.2017 (stam­ped arri­val date of the uni­ver­sity cen­tral mail ser­vice app­lies) pre­fe­r­a­bly as a sin­gle pdf-docu­ment via e-mail to (Please note: We are cur­rently not able to receive elec­tro­ni­cally signed and encryp­ted data.) or to: TU Dres­den, Fakul­tät Mathe­ma­tik und Natur­wis­sen­schaf­ten, Fach­rich­tung Mathe­ma­tik, Insti­tut für Alge­bra, Pro­fes­sur für Alge­bra und Dis­krete Struk­tu­ren, Herrn Prof. Dr. rer. nat. Manuel Bodirsky, 01062 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.