Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Narges Khakpour <address@concealed>
- To: "address@concealed" <address@concealed>
- Subject: [PN-world] Postdoc Position in Cybersecurity and Formal Analysis
- Date: Mon, 7 Jul 2025 16:23:30 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=newcastle.ac.uk; dmarc=pass action=none header.from=newcastle.ac.uk; dkim=pass header.d=newcastle.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=LBFaSTqyJ2IB21uEZ/j23KsAZoansHJANKGyAoLYZZE=; b=dshJR6gDC7dFm/67J7CoSghiJ/rg2I7zCnZvPeHwLbFApPkWgT4ly5dKnSgqlIPP4nYeGX6W5+cCPr2BSqMz30ktr8L/LDssARqNArMPAGm/PuOgJvne2K5HuMa4H93An5npYCF7d/gMuHu73/cGzoDAUrKTZKzeQ7LSAp/nUJ37OrjMfAIAHlccWDOmyrVA+U+TdFz+zHBG5mP9Uc5689fX60WO99Zj3hMP34dLIvcwf7UUtdoZybR5oojhUrfHLpGQEf9BFJIuRULLZzb3dl6mgPDZw4lXpaC2bZpqzSlne7i/jujquidKIRue3+DWaNSt9MBiYW29O8gJBWDhpg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=FYTqK9CZU9H6UiAlSsKEXvzr5zX/xbeci949AlxoD7xMi5Iyqu0zTwNIfaAcirx5w8RcTkjlWQm/iK9KF7gpI6wrI3F17u94yLKsLyAyzlz3ahaK2Cm3cBDgX0xX7y4s6K2sbK/ngV3kim83T1OHeeW1z80AJXqHlzKJtvytBjbqjeb8f9TxJoEM1t4rxaZ3claXnBdS/MH16wI/uxwq4X3gkTYVWigNZP5QjMMWNtjT0ImqbeR3Kb9LmseX8WHWwt2PuaQyyunqITZgf9tT/Iv0rcY7FLJaICQ3icSY5t9BOT4P5gLHseyh/lMaLdElKAMCDq3quXSWJzdP9B0XqQ==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=newcastle.ac.uk header.s=selector2 header.b=mEkOjHIO; dmarc=pass (policy=quarantine) header.from=newcastle.ac.uk; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a01:111:f403:c205::1 as permitted sender) address@concealed; arc=pass ("microsoft.com:s=arcselector10001:i=1")
We have an open postdoc position in cybersecurity and formal verification at Newcastle University, UK. The role involves designing and developing formal theories and their supporting tools for security analysis of software systems. Applicants should have
a PhD awarded or nearing completion in an area related to security, formal methods, program analysis or software engineering.
The position is available on a full-time basis until February 2027. To submit your application, please follow this link or contact Narges Khakpour
at address@concealed
- [PN-world] Postdoc Position in Cybersecurity and Formal Analysis, Narges Khakpour, 07/07/2025
Archive powered by MHonArc 2.6.19+.