text_combined: positions available microsoft research university trento centre apologize multiple posting new interdisciplinary centre excellence microsoft research university trento centre computational systems biology established trento region italy main objectives activities centre overall objectives 1 advance state knowledge biological information processing aetiology disease potentially new therapies creation new research centre bring together scientists multiple disciplines focus conducting leading research advanced computational modeling biological systems 2 conduct novel research defining new computational communication paradigms biomimetic nature e based new principles learned research biological information processing 3 exploit research expected take form development new computational tools enabling predictive modeling biological systems processes basic applied research tools help improving health care environment monitoring protection quality food well developing better therapies treatments pharmaceutical industries 4 disseminate communicate results research benefit scientific community globally including publications open conferences workshops provide freely available tools developed course research non commercial science activities calculi biology biomimetic computation attack open challenging problem definition set basic general primitives modeling biological systems directly inspired biological processes hence main objective theme define calculus biology develop prototype applied theme case studies also plan include quantitative information definition calculus belief biological phenomena serve valuable source inspiration new primitives process calculi new computational paradigms process calculi nature take input output hence communication basic form action reaction concurrent systems concurrency theory particularly process algebras emerging highly promising tool provide formal foundations systems biology field evolving rapidly case studies main goal theme validate tune work previous theme exploiting results software developing tools helping biologists science furthermore preliminary analysis real problems inform design suitable primitives also build upon effort theme calculi definition analysis verification simulation techniques acquire new knowledge biological realm different case study could inform languages techniques devised could transposed ict field improve software quality manage complexity storing dynamical evolution biological systems main goal theme set mining access distributed databases storing information programs dynamic behaviour biological systems coordination servers providing run time support non homogeneous data also provided knowledge technology acquired first two research themes used populate databases detailed information recruitment found page following link recruitment selection procedure take place period end may mid june information centre available within days web site best regards corrado priami prof corrado priami tel 0461 882085 dipartimento di informatica e telecomunicazioni universita di trento fax 0461 88 2093 via sommarive 14 http www dit unitn bioinfo 38050 povo tn italia priami dit unitn