Offer 167 out of 331 from 12/09/22, 12:21


Tech­ni­sche Uni­ver­si­tät Dres­den - Fac­ulty of Com­puter Sci­ence - Insti­tute of The­or­et­ical Com­puter Sci­ence - Chair of Algeb­raic and Logical Found­a­tions of Com­puter Sci­ence - Centre for Tact­ile Inter­net with Human-in-the-Loop (CeTI)

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.

Research Asso­ci­ate/ PhD Stu­dent / Postdoc (m/f/x)

At TU Dresden, Fac­ulty of Com­puter Sci­ence, Insti­tute of The­or­et­ical Com­puter Sci­ence, the Chair of Algeb­raic and Logical Found­a­tions of Com­puter Sci­ence offers for the Centre for Tact­ile Inter­net with Human-in-the-Loop (CeTI) a pos­i­tion as

Research Asso­ci­ate/ PhD Stu­dent / Postdoc (m/f/x)
(sub­ject to per­sonal qual­i­fic­a­tion employ­ees are remu­ner­ated accord­ing to salary group E 13 TV-L)

start­ing as soon as pos­sible. The pos­i­tion is lim­ited until Decem­ber 31, 2025. The period of employ­ment is gov­erned by the Fixed Term Research Con­tracts Act (Wis­senschaft­szeitver­trags­ge­setz – Wis­sZeitVG). The pos­i­tion offers the chance to obtain fur­ther aca­demic qual­i­fic­a­tion (e.g. PhD / habil­it­a­tion thesis).

Working field:

The sci­entific con­text is given by CeTI's research dir­ec­tion on tact­ile com­put­ing. The spe­cific research topic will be on formal meth­ods for veri­fic­a­tion and quant­it­at­ive ana­lysis of stochastic sys­tem mod­els as well as related con­cepts for cer­ti­fic­a­tion and explain­ab­il­ity which sup­port and facil­it­ate the idea of human-in-the-loop.


Very good research-ori­ented uni­versity degree (mas­ter's degree or equi­val­ent) and, if applic­able, PhD degree in com­puter sci­ence or related fields; pro­found know­ledge in The­or­et­ical Com­puter Sci­ence, prefer­ably veri­fic­a­tion, model check­ing, formal mod­el­ing and quant­it­at­ive ana­lysis of sys­tems, auto­mata and com­plex­ity the­ory, logic, as well as a strong back­ground know­ledge in math­em­at­ics; interest in the­or­et­ical found­a­tions as well as their applic­a­tions and inter­dis­cip­lin­ary research.

How to apply:

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 CV and state­ment of research interest) by Octo­ber 14, 2022 (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 to: TU Dresden, Fak­ultät Inform­atik, Insti­tut für The­or­et­ische Inform­atik, Pro­fes­sur für Algeb­rais­che und logis­che Grundla­gen der Inform­atik, Frau Prof. Dr. Christel Baier, Helm­holtz­str. 10, 01069 Dresden, Ger­many. 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: