Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] (PN) Postdoc positions in Software Security and Formal Verification at Newcastle University
Chronological Thread
- From: Narges Khakpour via Petrinet <address@concealed>
- Subject: [PN-world] (PN) Postdoc positions in Software Security and Formal Verification at Newcastle University
- Date: Tue, 11 Jun 2024 11:33:49 +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=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=FrKVl9bNuWCg5Xyr9HfQYkCMzQt/szyPAgxnxiU++5o=; b=GRkNZkOqTh8X/CsJf1J8hAIn7aFXP8WvOttTtpflFO4DPFdIDwn2YyKSPk10fGt8gCRUYE0c8s/Snr2GfexdVlLuWSpdRkyMwzvQTTvzkhAbKNaWza394e87ygYI+DEJ/rrUDd1HWRBQYbN5rSBfwYi+oZqagdh1aa0ASfBFc4/wrgI7dx0AK6igE/VAuDBkKOe74ZDjfVymM26xkCvRhZP3/Hc5W/K/5EhACUrnU0hFH9OrwrGLDDp8QxSPrHfEbrgtEEhHdS62KqdCwZ97IMYf/V3208rNseDNGCYgALqTJN4vnG0cZ+IMcMyJmMaSXrTtM9PWAevU8kL4dtNpNg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=nwKbpXOOqDkW7FJH3QZaEvUYFrr8h2h6A+WljivTPY8LziR3dFNIpkYzm/jXpYNrKRnWh6MblW1PpAndNzETmSqxccuS7AoDtNJKZmPDzvSvUsx99RkBBfsT9aQx5fUpctybleYfHA5yRReTYaVAP4mBmSkNyexza3fOTkdyjm1+oqJhKCTafJtqcR5AkpaG3LYcjUIWUZ17S4/SFUuRzFdf3dxnlzzww3MZr7XOY2NPqZlCh+rOJaZtWd9H6Q2fSryrHJu2gi70cGjlMAjEmQq070sf8m4Sllgq71rSSzqk/7KeGPRDHSnDkOMezMKlnzeEKT6NTPwKUoUekdEd5g==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=informatik.uni-hamburg.de header.s=rrzs003 header.b=iEVJfn6r; dkim=fail ("headers rsa verify failed") header.d=newcastle.ac.uk header.s=selector2 header.b=pLOn0aWZ; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}"); dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.114 as permitted sender) address@concealed
We have an open postdoc position in the context of the EPSRC research project TRUSTED at Newcastle University, UK. The role involves designing and developing theories and tools with solid foundations for
secure open-source software development. The developed solutions will protect against software supply chain attacks, where attackers compromise any steps in the software development process by deliberately incorporating vulnerabilities to be triggered at a
later stage of the software life cycle.
Applicants should have a PhD awarded or nearing completion in an area related to (software) security, formal methods, program analysis, or software engineering.
The successful candidate will join the AMBER group, engaged in modelling and verification research at the School of Computing. We have been accredited by the National Cyber Security Center (NCSC)
and the Engineering and Physical Sciences Research Council (EPSRC) as an Academic Center of Excellence in Cyber Security Research (ACE-CSR), one of the few accredited centers of excellence in the UK.
The position is available on a full-time basis for a period of 24 months from start date (with possibility of extension).
To submit your application, please follow this link or contact Narges Khakpour at address@concealed.
We will continue accepting applications until we find a suitable candidate. Please feel free to reach out by email, if the submission system is closed.
- [PN-world] (PN) Postdoc positions in Software Security and Formal Verification at Newcastle University, Narges Khakpour via Petrinet, 06/13/2024
Archive powered by MHonArc 2.6.19+.