Meta tags:

Headings (most frequently used words):

process, algebra, diary, tuesday, july, 02, 2019, pages, blog, archive, about, me, phd, position, at, tu, wirn, formal, methods, applied, to, the, specification, and, monitoring, of, large, scale, spatially, distributed, stochastic, systems,

Text of the page (most frequently used words):
the (32), june (19), september (19), april (19), may (18), july (18), november (18), and (18), january (17), march (17), december (16), february (16), august (15), october (14), phd (10), laura (7), nenzi (7), position (6), formal (6), methods (6), for (5), research (5), will (5), systems (5), application (5), applied (4), 2019 (4), large (4), that (4), such (4), https (4), posts (3), share (3), wien (3), ezio (3), bartocci (3), specification (3), scale (3), stochastic (3), can (3), interesting (3), admission (3), process (3), algebra (3), complete (2), luca (2), aceto (2), about (2), wirn (2), home (2), this (2), candidate (2), student (2), starting (2), successful (2), supervised (2), prof (2), monitoring (2), spatially (2), distributed (2), fwf (2), statistical (2), learning (2), new (2), project (2), techniques (2), very (2), related (2), please (2), logics (2), not (2), contact (2), com (2), logic (2), computer (2), diary (2), awesome, inc, theme, powered, blogger, view, profile, 2006, 109, 2007, 2008, 2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018, 2020, 2021, 2022, 2023, 2024, 2025, 2026, blog, archive, pages, subscribe, atom, older, newer, pinterest, facebook, blogthis, email, comments, posted, technische, universität, seeking, assistant, years, available, from, date, until, fall, intended, she, applicant, carry, out, his, her, area, funded, öaw, recently, acquired, yirg, grant, high, dimensional, advance, economic, sustainability, policies, interdisciplinary, led, part, task, description, leader, provide, precise, languages, easily, interpreted, humans, verification, algorithms, check, automatic, way, value, satisfaction, properties, one, main, problems, curse, dimensionality, possibility, treat, problem, use, approximate, model, checking, however, even, these, methodologies, unfeasible, line, consists, exploiting, machine, bayesian, inference, identify, relevant, data, decrease, computational, cost, permitting, powerful, analysis, complex, important, aspect, covered, study, spatial, configuration, key, feature, several, real, case, studies, are, considering, methodology, principally, tackle, questions, sustainable, urban, mobility, thus, responsible, consumption, apply, your, following, instructions, portal, indicating, form, supervisors, while, necessary, have, master, degree, moment, instead, mandatory, before, details, further, information, inquiries, post, mail, gmail, funding, personnel, costs, lauranenzi, github, http, www, eziobartocci, doctoral, program, institute, engineering, with, spread, news, tuesday, papers, find, mostly, but, solely, some, fun, stuff, mathematics, science, general, issues, teaching, academic, life,

Text of the page (random words):
process algebra diary july 2019 process algebra diary papers i find interesting mostly but not solely in process algebra and some fun stuff in mathematics and computer science at large and on general issues related to research teaching and academic life tuesday july 02 2019 phd position at tu wirn formal methods applied to the specification and monitoring of large scale spatially distributed stochastic systems interesting phd position at tu wien with ezio bartocci and laura nenzi spread the news the institute of computer engineering at the technische universität wien tu wien is seeking a candidate for a research assistant position phd student 4 years the position is available from september a starting date until fall 2019 is intended and the successful candidate will be a phd student of the logics doctoral program and she he will be supervised by prof ezio bartocci http www eziobartocci com and co supervised by dr laura nenzi https lauranenzi github io the successful applicant will carry out his her phd in the research area of formal methods applied to the specification and monitoring of large scale spatially distributed stochastic systems the position in funded by the öaw and the fwf https m fwf ac at en research funding personnel costs for the recently acquired yirg grant high dimensional statistical learning new methods to advance economic and sustainability policies an interdisciplinary project to be led for the tu part by phd laura nenzi task description leader laura nenzi formal methods provide precise formal specification languages that can be easily interpreted by humans and verification algorithms that can check in an automatic way the value of satisfaction of interesting properties one of the main problems of such techniques is the curse of dimensionality a possibility to treat the problem is to use approximate methods such as statistical model checking however even these methodologies can be unfeasible for very large scale stochastic systems a new research line consists of exploiting machine learning techniques and bayesian inference to identify relevant data and decrease the computational cost permitting the application of such powerful formal analysis on very complex systems an important aspect that will be covered in the study is the spatial configuration of such systems a key feature in several real case studies that are considering in the project the methodology will be principally applied to tackle questions related to sustainable urban mobility and thus responsible consumption application please apply your application following the instructions in the dk logics admission portal https logic cs at phd admission https logic cs at phd admission by indicating in the application form prof ezio bartocci and dr laura nenzi as supervisors while it is not necessary to have the master degree at the moment of the application it is instead mandatory to complete it before starting the phd contact details for further information and inquiries about this post please contact laura nenzi e mail laura nenzi gmail com posted by luca aceto at 8 47 am no comments email this blogthis share to x share to facebook share to pinterest newer posts older posts home subscribe to posts atom pages home blog archive 2026 11 september 1 august 2 may 1 april 2 march 3 january 2 2025 9 june 1 may 1 april 4 march 1 february 2 2024 9 december 1 september 1 may 1 april 1 march 2 february 1 january 2 2023 9 november 1 october 2 july 1 june 1 april 1 march 2 january 1 2022 15 december 2 november 2 september 1 august 2 july 2 june 1 may 2 march 3 2021 20 december 4 november 1 september 1 august 4 june 3 may 1 april 1 february 4 january 1 2020 9 november 1 august 1 june 2 may 1 april 4 2019 25 december 1 november 1 october 2 september 1 july 1 phd position at tu wirn formal methods applied to june 3 may 2 april 5 march 3 february 4 january 2 2018 23 december 3 november 1 october 2 september 4 august 2 july 1 june 1 april 3 february 2 january 4 2017 35 december 3 november 1 september 2 august 2 july 2 june 4 may 3 april 4 march 5 february 3 january 6 2016 50 december 4 november 3 october 3 september 4 august 1 july 4 june 4 may 10 april 3 march 3 february 7 january 4 2015 48 december 6 november 3 october 6 september 5 august 1 july 9 june 2 may 2 april 3 march 3 february 4 january 4 2014 47 december 2 november 2 october 5 september 3 august 1 july 8 june 5 may 5 april 4 march 7 february 1 january 4 2013 47 december 2 november 1 october 2 september 8 august 3 july 6 june 4 may 1 april 6 march 5 february 4 january 5 2012 41 december 3 november 3 october 6 september 1 august 1 july 6 june 2 may 1 april 7 march 4 february 5 january 2 2011 42 december 3 november 3 october 2 september 3 august 1 july 1 june 8 may 5 april 8 march 2 february 3 january 3 2010 37 december 1 november 1 october 3 september 7 august 2 july 2 june 2 may 7 april 2 march 6 february 1 january 3 2009 33 december 1 november 3 october 5 september 3 july 1 june 5 april 2 march 4 february 6 january 3 2008 72 november 5 october 2 september 5 july 15 june 3 may 7 april 9 march 9 february 6 january 11 2007 109 december 13 november 8 october 11 september 8 august 12 july 5 june 12 may 12 april 4 march 6 february 8 january 10 2006 84 december 14 november 12 october 7 september 11 august 8 july 5 june 15 may 12 about me luca aceto view my complete profile awesome inc theme powered by blogger