Skip to Content.
Sympa Menu

petri-net-world - [PN-world] (PN) [qest-announce] Postdoc Position in Formal Verification of Cyber-Physical Systems

Subject: Animation and exchanges in the Petri Nets community

List archive

[PN-world] (PN) [qest-announce] Postdoc Position in Formal Verification of Cyber-Physical Systems


Chronological Thread  
    < Chronological >       < Thread >
  • From: Hazem Torfah <address@concealed>
  • Subject: [PN-world] (PN) [qest-announce] Postdoc Position in Formal Verification of Cyber-Physical Systems
  • Date: Mon, 25 Mar 2024 13:18:15 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=4; mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=ozrdgP1r; arc=pass (i=2 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
  • Arc-authentication-results: i=3; mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=ozrdgP1r; arc=pass (i=2 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=softfail (google.com: domain of transitioning address@concealed does not designate 209.85.220.41 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
  • Arc-authentication-results: i=2; gmr-mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=ozrdgP1r; arc=pass (i=1 spf=pass spfdomain=chalmers.se dkim=pass dkdomain=chalmers.se dmarc=pass fromdomain=chalmers.se); spf=pass (google.com: domain of address@concealed designates 2a01:111:f403:c202::4 as permitted sender) address@concealed; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=chalmers.se
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=chalmers.se; dmarc=pass action=none header.from=chalmers.se; dkim=pass header.d=chalmers.se; arc=none
  • Arc-message-signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:from:sender:dkim-signature; bh=6PiVUMO8eVnPd1o/4lpNd46sVdb+HZlVv8QjA4mj9Do=; fh=kNREvkgb6uE+U8BQPx8HEDD+4aL1hi+oENAXeYrJky0=; b=ic7jdDiXoJAZYFnlCSbHhKNAdcKLMJANSwZ3p6MBsc+19GqPVT4kfJIjnXAJnh7ZFu Qfa4Bzz/FTW+Leuk74OKeDyruPhDxC5e0JM3SDAPZAxdMg/Aei4cUAIxY+LmmocUhbRm egOAI31b6KvSxVFp93k6s9l34PTh3hpBGVMsyZpGUkRByVGSx3Ex6GIq92o/TrzX9PdO ejXBtB5RpO8SmV5F4vwsTsIP//hMFUhK+OpXi+cvN+ywsYqwCKVGvd1eusOJqvcIws53 7ppE1E8IBInVuC27qwHbMmDsTZCKGPot8/ny1i50SU16LyDp+QZOp8WB8hvb1FW9g6iq PzhA==; darn=informatik.uni-hamburg.de
  • Arc-message-signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:in-reply-to :references:message-id:date:thread-index:thread-topic:subject:from :dkim-signature; bh=yTnBqBuIQK2DyatdLGiF+4MDRiLgJq83YK2/OLV7hwI=; fh=DUp8GKwe7fzSTtwp/Nian48NCN/9pFDEqTF/GRTVEJs=; b=AyU1Rqjo99CjMlaJPSkypbnUAKUCSPHEDfZOkAqBcB4+RyGaNV5WXMIkrA8vNY15tZ r03Yiw6VFlTwtoCpQYQMbFN+jWvCGhXGQBcLLmERxW2ktt7EvXU34oc/SWjjmrLa5oBK Ce/2Zw4p/BZErFii3lg0sXCA1PBHvE4aHCkFSS/suanBfpO4xeVJLhCs+GMeEL26OR54 H3Hu1f+CtrvefDojalKhh1DyiwCJ8/bAn+hvUg15KRQLrF9Fix/rtYS3vwIV5GXj7XnM j8+b/0lrPENP5oyoCmo001RcXHjv0q4rZi2tH2C+oFV9+1UJMP/+Qqbah1ilsmFvppVT KivQ==; dara=google.com
  • Arc-message-signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:in-reply-to :references:message-id:date:thread-index:thread-topic:subject:from :dkim-signature; bh=yTnBqBuIQK2DyatdLGiF+4MDRiLgJq83YK2/OLV7hwI=; fh=47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=; b=nSo3z+GdxsFHEdVfohDP1MJK+YzGBf4PcP3ZKeBSc1woNIWqtFjH/yZQ8T7Fe66yXT ZJYle4jxasEYHzUrzHJe4upsOOyF9eRwqBcazjQEISndy6Z6z0Po1tvO0+GFwvotYw3l KXO9T1M1zPC9miq7pjOmAdVb9Bmy/QLIkG/BGi//r05AR2Tg3AxLg8kUJZJiOzddAeWJ nlswwGe85bM9jM/6PReFiZW43/7uQUNZw5vb5dqF9DjYoulKplyIl6x1k89Ljk8rXS99 msV13YyGYcMcLKWthVPEGLlQOY4MDYb2jRfTmdpc5CXgo5wtSr3+NVdmM4zuT6uFlWUk aatg==; dara=google.com
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=yTnBqBuIQK2DyatdLGiF+4MDRiLgJq83YK2/OLV7hwI=; b=c/8Fin3mfB7sBAeTywOmedIytvYz/TW5JeFw7YXslxtVXbRtKHZmI3O79rLxV4/3L4SnzS+wj7TvuXR/XbEH7nqPY9iHwdgPVSiDE1zb5dPX3vOBeuTLaQY+05sN+8dJPZIW15ebTVSAizUxLeZwuDdsIasJfrrsVDiKyY9bQ5IWBIuY7bWQktm+CSQ8Muiv9AsO4SlcfSyO67oChu1FjqxrasNKggs2GE2GaIqpkm2vxZWvRpd2R887cHZvGFgTZYiBAmbIggK1vP8nPFNLKuUTxRcTgR7Tr5Pgoz6CUs5vn4jVeg7HsQWm/Q4eVPVul6K0GZw75d6gHRRqHC9fcQ==
  • Arc-seal: i=4; a=rsa-sha256; t=1711488441; cv=pass; d=google.com; s=arc-20160816; b=BjuGxK/EQm0L+en1QHR8cpCkOuXVeJnq/7jqZLBXr4hC6sFwYbxBzyFWWc4bVav/YJ fp30is26M3Fq1A9+c9TmpoIXzcxxwWy9WZe9ccRxbIkb5AVx3Kn0fxajL8H7k5W0V0U0 4hURwB7TYwKtx+UWkEEruEYBi79VnS9s6xWDj0GTQFQoXsdqQXkbBOdB9xtiDtgsAlBa MzPR2MJW3QhvysCHddELp8RDIx/1fZG7ZyDhwKojGP7DdVZyWLujhsFlwp5WS1ax3Zg3 2g2z19KYiAzWYIeF4Q5Ddv3m1PwP4zmPrj3B2fcrL9jDHMRdK6bG/t+NsmfdcE3FDr44 wO9w==
  • Arc-seal: i=3; a=rsa-sha256; t=1711372699; cv=pass; d=google.com; s=arc-20160816; b=LQr4uK6BQw5WqtZD0Dbb3n/RAKvlRoznrgZAmMdsAlOawX224vgxHHGENlBXR9cpsE 9XrrecBv5DptQ7VZvmUfMh63j8beC/DtXg2J98oKSElFPu7SybeSxSqAE3j5E3Q0M3oJ p5jPfaPXPx00bhV08+CxFh7EVtstt181a4fR+/wrATCD4cV+TtHPn9y4cOu1bHfbYVCx wyzAneSPBzRkmi1MuJV8Oz0I+7+W6LA9JgPBVmVHJk7kcJFzB7i05yX5TVK5zjbli6Sp JDk+kia/mMeomWp9mnSTmV7yBRtkt7oPtn7VKsTQFqFDUx3l7s2UWczL4tHNO3FtXTLt PkBQ==
  • Arc-seal: i=2; a=rsa-sha256; t=1711372699; cv=pass; d=google.com; s=arc-20160816; b=Ka5VQ2BkL5R9ftMevqUO1yyagxPTHNTpejtrZqldfC7NqHSwP2BnXF0qyMUznra1C2 waHdSma1Fj1Je9Zm9xLWD5WskuSwEs3CjRF8PRr82YhQ0NliRUoClYgQ3jdWqG00KLfP iZzi75pjyqhcW2AvuWp5XsQAeEEKZV6Yh74aFxBkkeXt2E9qCRBXkVD7FfdKa8gfi25Z Y17n0z+gk4O1x16Swtf/Y3nuaifyImVaXf661ncr76TMD9ZFhxryfgBH3jyQcZ7p1s2x Fli9691nwahN+K9RmToFkVGBESmXBoQ8ZGy5dBLRYA6WTi2JB31Ey1KXgAAl86JJ+kbB v9XA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=A5MKJ+CXq/J269RgAYbvlP6IcZnwjHg/D8v2EaP7GwUA/EDPVS1Pjs5cf+GWGmTn+WqSN2m+V34bwKWbJ7v/M8jNjH5HwXXbfUQqUYJZiV/FNJJcyX0wed7qtOqqAZfzaG6AwC7g183C7CTtWCOKNQX3aEV+VVK7PpxelPPXMYkcRcgIFRSipKKullFDNi0G86Udm6ooZHs+F29OrmfhyMh6/hv+2b1XgnWSm9/KRby+f3NfhY35ptWHC/97UU6619M+7dw4OAXV2YzMCby7GbEEjTNVyrxeetyYHcvYeptgPLgU2d9bx7OWMNQdEyVcxNB5wrbcE6XSl3NtTTpb5w==
  • Authentication-results: mx04.rrz.uni-hamburg.de (amavisd-new); dkim=pass (2048-bit key) header.d=unifi.it
  • Authentication-results: spool.mail.gandi.net; arc=reject ("cannot verify 4 of 4 signatures: {[1] = sig:google.com:invalid dkim param: fh}"); dmarc=fail reason="SPF not aligned (relaxed), No valid DKIM" header.from=chalmers.se (policy=none); spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed
  • List-archive: <https://groups.google.com/a/unifi.it/group/qest-announce-group/>
  • List-id: <qest-announce-group.unifi.it>
  • Mailing-list: list address@concealed; contact address@concealed
The group for Safe and Trustworthy Autonomous Reasoning at Chalmers University is looking for candidates interested in conducting independent research in the area of formal analysis of autonomous cyber-physical systems (ACPS). The candidate will work on developing a new generation of design and verification techniques, rooted in formal methods, to enable and support the development of assured ACPS. Topics of interest are (but are not limited to): compositional contract-based design, specification formalism for expressing properties of ACPS, statistical verification, and runtime verification under uncertainty.

This position is funded by the Wallenberg AI, Autonomous Systems, and Software Program (WASP https://wasp-sweden.org/). WASP is Sweden’s largest individual research program and provides unique opportunities for achieving international research excellence with industrial relevance.

More information can be found under the following link: https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=11984&rmlang=UK


--
Hazem Torfah
Assistant Professor
Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6476
412 96 Gothenburg, Sweden
address@concealed


--
To unsubscribe from this group and stop receiving emails from it, send an email to address@concealed.

Archive powered by MHonArc 2.6.19+.

Top of Page