Of­f­re 190 sur 504 du 15/05/2019, 10:11


Tech­ni­sche Uni­ver­si­tät Dres­den - Trans­re­gio­nal Col­la­bo­ra­tive Rese­arch Cen­ter (SFB) 248 “Foun­da­ti­ons of Per­spi­cuous Soft­ware 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 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 star­ting as soon as pos­si­ble. The posi­tion is fixed-term to 31st of 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 aims at obtai­ning fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. PhD/habi­li­ta­tion the­sis).
The Com­pu­ter Sci­ence CRC 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­vior (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­vior, as well as visual and ver­bal explana­tion methods for diverse user groups. More infor­ma­tion can be found at
As a mem­ber of the Inter­ac­tive Media Lab Dres­den you will be part of a suc­cess­ful team of expe­ri­en­ced rese­ar­chers of diverse back­grounds. You will work in the vibrant sci­en­ti­fic envi­ron­ment of the CRC/TR 248 and TU Dres­den, one of the lea­ding Ger­man rese­arch uni­ver­si­ties. Dres­den is a city highly worth living in with a rich cul­tu­ral life and beau­ti­ful nature.

Work­ing field:

foun­da­ti­ons of cau­sa­lity for sto­chastic ope­ra­tio­nal models, mathe­ma­ti­cal expli­ca­ti­ons for veri­fi­ca­tion results and cau­sa­lity-based veri­fi­ca­tion algo­rithms.


App­li­cants should have an excel­lent aca­de­mic record and hold a uni­ver­sity degree (MSc or equi­va­lent), and if app­li­ca­ble a PhD, in com­pu­ter sci­ence or rela­ted disci­pli­nes. Pro­found know­ledge in Theo­re­ti­cal Com­pu­ter Sci­ence, pre­fer­a­bly veri­fi­ca­tion, for­mal mode­ling and quan­ti­ta­tive ana­ly­sis of sys­tems, auto­mata theory, logic, as well as a solid back­ground know­ledge in mathe­ma­tics are requi­red. App­li­cants are expec­ted to have a struc­tu­red way of working and advan­cing pro­jects inde­pendently, a high com­mit­ment and excel­lent com­mu­ni­ca­tion skills in Ger­man and Eng­lish lan­guage.

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 14th of June 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 Alge­brai­sche und logi­sche Grund­la­gen der Infor­ma­tik, Frau Prof. Dr. Chris­tel Baier, Helm­holtz­str. 10, 01069 Dres­den, Ger­many. 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: