Angebot 425 von 485 vom 03.01.2023, 13:21


Tech­ni­sche Uni­ver­si­tät Dres­den - BMBF Clus­ter SEMECO at the Faculty of Com­pu­ter Sci­ence, Insti­tute for Theo­re­ti­cal Com­pu­ter Sci­ence, Chair of Alge­braic and Logi­cal Foun­da­ti­ons of Com­pu­ter Sci­ence

Tech­ni­sche Uni­ver­si­tät Dres­den (TUD), as a Uni­ver­sity of Excel­lence, is one of the lea­ding and most dyna­mic rese­arch insti­tu­ti­ons in the coun­try. Foun­ded in 1828, today it is a glo­bally ori­en­ted, regio­nally ancho­red top uni­ver­sity as it focu­ses on the grand chal­len­ges of the 21st cen­tury. lt deve­lops inno­va­tive solu­ti­ons for the world's most pres­sing issues. In rese­arch and aca­de­mic pro­grams, the uni­ver­sity unites the natu­ral and engi­nee­ring sci­en­ces with the huma­nities, social sci­en­ces and medi­cine. This wide range of disci­pli­nes is a spe­cial fea­ture, faci­li­ta­ting inter­di­sci­pli­na­rity and trans­fer of sci­ence to society. As a modern employer, it offers attrac­tive working con­di­ti­ons to all employees in tea­ching, rese­arch, tech­no­logy and admi­nis­tra­tion. The goal is to pro­mote and deve­lop their indi­vi­dual abi­li­ties while empowering ever­yone to reach their full poten­tial. TUD embo­dies a uni­ver­sity cul­ture that is cha­rac­te­ri­zed by cos­mo­po­li­ta­nism, mutual appre­cia­tion, thri­ving inno­va­tion and active par­ti­ci­pa­tion. For TUD diver­sity is an essen­tial fea­ture and a qua­lity cri­ter­ion of an excel­lent uni­ver­sity. Accord­in­gly, we wel­come all app­li­cants who would like to com­mit them­sel­ves, their achie­ve­ments and pro­duc­tivity to the suc­cess of the whole insti­tu­tion.

Rese­arch Asso­ciate /PhD Stu­dent (m/f/x)

The BMBF Clus­ter SEMECO (Secure Medi­cal Micro­sys­tems and Com­mu­ni­ca­ti­ons) sub­pro­ject Q1 SecArch at the Faculty of Com­pu­ter Sci­ence, Insti­tute for Theo­re­ti­cal Com­pu­ter Sci­ence, Chair of Alge­braic and Logi­cal Foun­da­ti­ons of Com­pu­ter Sci­ence offers, sub­ject to resour­ces being avail­able, a posi­tion as

Rese­arch Asso­ciate /PhD Stu­dent (m/f/x)
(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)

star­ting from March 1, 2023. The posi­tion is limi­ted until Febru­ary 28, 2026. 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 offers the chance to obtain fur­ther aca­de­mic qua­li­fi­ca­tion (e.g. PhD).

Working field:

The sci­en­ti­fic con­text is given by the SEMECO rese­arch direc­tion on secure medi­cal micro­sys­tems and com­mu­ni­ca­ti­ons and the scope of SEMECO-Q1 on secure and trust­worthy sys­tem archi­tec­tures. The spe­ci­fic rese­arch topic will be on for­mal methods for cer­ti­fy­ing veri­fi­ca­tion algo­rithms (and in par­ti­cu­lar model che­cking) and for­mal ana­ly­sis of sto­chastic models.


Very good rese­arch-ori­en­ted uni­ver­sity degree (mas­ter's degree or equi­va­lent) in com­pu­ter sci­ence or rela­ted fields, pro­found know­ledge in Theo­re­ti­cal Com­pu­ter Sci­ence, pre­fer­a­bly veri­fi­ca­tion, model che­cking, for­mal mode­ling and quan­ti­ta­tive ana­ly­sis of sys­tems, auto­mata and com­ple­xity theory, logic, as well as a strong back­ground know­ledge in mathe­ma­tics. Inte­rest in theo­re­ti­cal foun­da­ti­ons as well as their app­li­ca­ti­ons and inter­di­sci­pli­nary rese­arch.

How to apply:

TUD stri­ves to employ more women in aca­de­mia and rese­arch. We the­re­fore expressly encou­rage women to apply. The Uni­ver­sity is a cer­ti­fied family-fri­endly uni­ver­sity and offers a Dual Career Ser­vice. We wel­come app­li­ca­ti­ons from can­di­da­tes with disa­bi­li­ties. If mul­ti­ple can­di­da­tes prove to be equally qua­li­fied, those with disa­bi­li­ties or with equi­va­lent sta­tus pur­suant to the Ger­man Social Code IX (SGB IX) will receive prio­rity for employ­ment.

Please sub­mit your com­pre­hen­sive app­li­ca­tion inclu­ding the usual docu­ments by Janu­ary 31, 2023 (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 Theo­re­ti­sche Infor­ma­tik, Pro­fes­sur für Alge­brai­sche und logi­sche Grund­la­gen, 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: