Skip to Content.
Sympa Menu

petri-net-world - [PN-world] (PN) [qest-announce] PhD Position in Formal Verification of Autonomous Systems

Subject: Animation and exchanges in the Petri Nets community

List archive

[PN-world] (PN) [qest-announce] PhD Position in Formal Verification of Autonomous Systems


Chronological Thread  
    < Chronological >       < Thread >
  • From: Hazem Torfah via Petrinet <address@concealed>
  • Subject: [PN-world] (PN) [qest-announce] PhD Position in Formal Verification of Autonomous Systems
  • Date: Fri, 12 Apr 2024 15:28:19 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=4; mx.google.com; dkim=pass address@concealed header.s=selector1 header.b=aTkPhAMb; 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=aTkPhAMb; 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=aTkPhAMb; 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:c203:: 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=bwzg2dHeBiQC0MYC1Fl/HEGTvFCYK10En8GWwjTG2V8=; fh=GDolbfAS0SXYSdMuFS4yAkYpMlV7GrGaH87PVM3APmg=; b=qh7nsWqpLUhEd+cgZxzfy1BpE/KIyzbNFSIMTh9rQ6GkHXdu+rF54Mu0ghh55sbBux 3z3xw/IucRHczVMlcFM4Wr0+RXdCrRXCdzs3BP+xOiqSIVtrRetvIFgPaUmy7z39iwe2 xq3F/LOSJa09HtCBPSkuRchnYlP8YYIMPxI/ifAHYarOmqcXp4B7bH+ZUlYb7VYR18wK q9g54FDbUz/TeGVsKo2ptNMfpyPDQrgCkH/LMGvlY4103vHkQSDaFBgVC6yJohKfOKpA kXCzVfHu3Yf145s4taSbSIMUNKvOkkg/ldKxrJt6Mnmn7Q2C1dWtQsHsLqmbtN/pSJoV P5hw==; 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=u8fhDiETucT2RYfDLo+qiCNLPOyH7knsBMMTd2KYwAo=; fh=sFD6/i6acfcwLePr09az+8UEK5VTbQbfVJuFvGM5gxU=; b=Ua8sk+N9sSE2B8/nvEph17SHj5WyZOH1m97Of0Hld0ALk7smM4F047MehodZbKvRHK tQX5xWdaa1FZUnpNLVE+ppR0mZCw3nXUY8qzqehe1JOyJD4MvHO9LHIdaZ/mOFsjExEz 7PVFXtm+imlED5S+85RjwxK4+IqsoFNCls7ozgiQB3zTG/8snwrqoMh+674KAUQMOZGn roelMdUGnqlpSKWlonuNRMSecpX51wzF2UBsQTDLQNK0Ag3RuHZaQGQ9bF+DJMylqm/d Ndoq8EEK0TQSU32cxqcRyHNBMS7XxTyB+a/257R0B8KBl0I6wynIysD9I3m+HaYyDWdS m0qw==; 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=u8fhDiETucT2RYfDLo+qiCNLPOyH7knsBMMTd2KYwAo=; fh=47DEQpj8HBSa+/TImW+5JCeuQeRkm5NMpJWZG3hSuFU=; b=yQ6qiwIXcNpDsAOpBEQIR1+GuR+lD9edu46fWpo+3LCUc9vTexgIIeT+yNcR5wwvAr ZndPxWV6roHe6n9vp21EkqkMfLKDNY1HRyoJRVQOUDxYlISyrw1KXXNuCZOYjdt0hjZ/ ALYIzrZ+Siqj59reGJ70KCOMQANIpBmhSEQHarJvr6U8xi+7NJW8V2ExYpBKMPRaeqSY 1x0O/YWwYl8jLingDWFLEWhYl7UJs7a/2+/1nCtBVo2+M8MCau7mjgYsFS3PvsDcDVs7 gwutEbuQeEvSZ4yNnr78ixOn99lNUyST47qGNKXN6+A4fKycnQRFwjfoVwgaiYD5Ka6a s2TA==; 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=u8fhDiETucT2RYfDLo+qiCNLPOyH7knsBMMTd2KYwAo=; b=cbTnpaQ3TkDmspTfKyazqjou1x1jgifHsPcJX1FChk5GITKHReyMrJVG7Zap7RjwTXWBAKfJ0cv/6qVt4V+tQpLJMlB6jEZMHFBI2zsJSCF70M2rqUh3BFqRej287B3M24oKB1jxij8rSkol5xdkHLlf/WAbDmlGfmQj0yNSqrVCxFgHZNISNfOK/aTuJsk23Aez6s/1SPRgQeMJMPrw1GlCgCTVCG/pKaqe/vZuHF9d2PAmdDA5hojWTOkRB9ei0sX39ZwlTIlXPvCmTiTEKZBVWPTCkQj4f3K7OwI5rYgAFM2wRChkSNDvxNHByneuxVi9A5r7Wgb8MMbr4/Pl2w==
  • Arc-seal: i=4; a=rsa-sha256; t=1714070644; cv=pass; d=google.com; s=arc-20160816; b=sDmMJgtYmluaWlLFaQgYjgwudIWafvmN5c5tS1htRRjZ3n6WyKd/A1Qk1I2pQJAmNP C1o9d/1aF/X2dHCWItvb1f1BEYloMyQF78Xq3wCNXti0nN15CKgSLnI0SETjKfLUNSZs TUJLDp5aNLAXuZTtQ8wi8iXyCq41Nrw4+xtNIxDlB+hIfAi9c0qRpXs3VBCOoD8wO5pj SKtFDrIFPKRDkp7enuXYBMU4sVSXIXzDNmbRss9J5L01FtygHasv2g5KpnXOKvjXgTGe 3jQ46CvUgFIgZr4ERnEB8g1nE85xhg4PISIESf/sJd8LL67XG5GOxCCrDUJ2riHShPCM JqfA==
  • Arc-seal: i=3; a=rsa-sha256; t=1712935705; cv=pass; d=google.com; s=arc-20160816; b=myVMNj4K6SqS32WG5CA+YYFizu7sIWBU9ng6J2WjV+hEnYp3Xg6DtgFUhQMI+LhjFM zfQng8w3+3gBsIKXIPFBVydbqFcwNxXqMIWpBNkeRxmdNEj2q/L/JDVeFAD3/+oDz9l4 Wr0VYo0dcip7bz8inljh1wdm4gj5rZxC9x78LdFGCovyWREikmyexALr7BoIBjcjiFD5 GSiPgFX4bwPeEJoHvf0fVgpxVzn1INoSHo4jMOGbtEvBYduKrfKeqIFF7ExyWeHDfa/e M//uk39J6Uvyxj/geRdRYUba4iBeo6kbzb6cqh6GEjM9AdSYdTfxC7FiM/6XUv0K0Kjj a2BQ==
  • Arc-seal: i=2; a=rsa-sha256; t=1712935705; cv=pass; d=google.com; s=arc-20160816; b=AJ4HwE3b5Vi5Cgehk1TBIvCF2zS5+6uzsUEt5iwrdLVkS87UblkqANxtMPQuI3AzBk uvHEeE0DT1gzwclO07wvNMvu52nvSSzxr0CB16BI2A1Gve9XzWZYJmEtRFGdqQY6sRMx ROQbMeIa3mfTuKZ6DEs6gE5snlB8+y7jh0B2d5eOkrgtG+nfkUxkASVkU18ROYmxy+Dv b99MfKptjhNIk+Q939hKjo3sgv/QgFU1zQpWzSzHg+PPUqkR0F/rHp26nYsx6n1eLzsu axCAKNsH6mt4gNZ0HlO81WhHG18gkQrv0OCtmj4/j2iVKixzXQgc/FYUwsr4QGT9Dbhp rLPA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Ud4ZqlaFORE7utMvVQb9S5X7K3ADCMh8/o1TAGKIuW4m5fvqCKmIGqzweNVDfg6QIiq/LN4LPNMAwjVZUDTq1ktfoXHS2VVVl98xNwDPK2IZ2o2W0OiRhxqHsEQ1jdsyK0DloKV0ZHqb7qrLTALPKyO5BFBDqKyKJfwx9LBDDbJ+l6O+IPA/RmFBKJLCy/azosgodhcpCovLoqpo1nt0G2zKNVy1tJi8nElsauymszPdl+z4Gsja33NXCCSviOYMKG5Ac2SjZ6T5nLtBL/+tVitCe/9gKUjOYAoNFUVb1ahMZgqzupweePXlBgzDrZcvkcOk6cLt9g7CoVcBku4bOQ==
  • Authentication-results: spool.mail.gandi.net; arc=reject ("cannot verify 4 of 4 signatures: {[1] = sig:google.com:invalid dkim param: fh}"); dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 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 PhD candidates interested in conduction research in Formal Verification of Autonomous Cyber-Physical Systems (ACPS). The goal of the PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools for the construction of runtime monitors that capture under what conditions an ACPS is guaranteed to maintain safety. A key challenge in developing such monitors is to handle noisy, missing, or delayed data. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods that allow for building monitors with formal guarantees on their correctness and reliability.


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.


For questions please reach out Hazem Torfah at address@concealed

Deadline April 30, 2024. 


--
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.

  • [PN-world] (PN) [qest-announce] PhD Position in Formal Verification of Autonomous Systems, Hazem Torfah via Petrinet, 04/26/2024

Archive powered by MHonArc 2.6.19+.

Top of Page