[SystemSafety] Fwd: [Concurrency] 2 PhD + 2 Postdocs on ERC project CAESAR: integrating safety and cybersecurity through stochastic model checking.
Peter Bernard Ladkin
ladkin at causalis.com
Fri Dec 27 12:30:11 CET 2019
Most potential PhD candidates here won't have seen this. The "Concurrency" list is pretty specialised
PBL
-------- Forwarded Message --------
Subject: [Concurrency] 2 PhD + 2 Postdocs on ERC project CAESAR: integrating safety and
cybersecurity through stochastic model checking.
Date: Fri, 27 Dec 2019 08:20:00 +0100
From: Marielle Stoelinga <m.i.a.stoelinga at utwente.nl>
To: <concurrency-request at listserver.tue.nl> <concurrency-request at listserver.tue.nl>, Concurrency
Mailing List <concurrency at listserver.tue.nl>
*/Integrate safety and security analysis? /*Come join us on the ERC-funded project CAESAR:
/integrating safety and cybersecurity through stochastic model checking. /
/ /
Safety (no disruption due to unintended failures) and security (no malicious attacks) are
historically separated fields, but heavily intertwined. A simple example: locking your door at night
is great for security, but bad for safety in case of a fire.
The goal of the CAESAR project is to develop an effective framework for the joint analysis of safety
and security risks. In this way, safety-security decision making will become more accountable, i.e.,
more systematic, transparent and quantitative.
* *The core scientific objectives are concerned with integral safety-security modelling; analysis
via stochastic model checking; and risk quantification under uncertainty via fuzzy logic, Bayesian
reasoning and Dempster-Schafer theory.
*We seek *two excellent PhD candidates and two great postdocs to join our team. More information on
the PhD positions is available here
<https://www.utwente.nl/en/organization/careers/!/584904/two-phd-positions-on-the-erc-funded-project-caesar-integrating-safety-and-cybersecurity-through-stochastic-model-checking>;
postdocs see here
<https://www.utwente.nl/en/organization/careers/!/584905/two-postdoc-positions-on-the-erc-funded-project-caesar-integrating-safety-and-cybersecurity-through-stochastic-model-checking>.
*We offer *a fully paid PhD and postdoc positions, with excellent salary and benefits, at a very
strong and inspiring research department. To apply, see here
<https://www.utwente.nl/en/organization/careers/!/584904/two-phd-positions-on-the-erc-funded-project-caesar-integrating-safety-and-cybersecurity-through-stochastic-model-checking/apply>
(PhD positions) and here
<https://www.utwente.nl/en/organization/careers/!/584905/two-postdoc-positions-on-the-erc-funded-project-caesar-integrating-safety-and-cybersecurity-through-stochastic-model-checking>
(Postdocs).
*We are *the Formal Methods & Tools at the University of Twente, the Netherlands. Ranked 1^st in
the last Dutch National Research Assessment. The project is led by Prof.dr. Marielle Stoelinga.
Feel free to contact me!
m.i.a.stoelinga at utwente.nl <mailto:m.i.a.stoelinga at utwente.nl>
--
Prof.dr. Marielle Stoelinga
Professor of risk management for high-tech systems
University of Twente & Radboud University, the Netherlands
+31 53 489 3773 | Address & contact
<http://wwwhome.ewi.utwente.nl/~marielle/coordinates.html> | www.ewi.utwente.nl/~marielle/
<http://wwwhome.ewi.utwente.nl/~marielle/>
--
Prof.dr. Marielle Stoelinga
Professor of risk management for high-tech systems
University of Twente & Radboud University, the Netherlands
+31 53 489 3773 | Address & contact
<http://wwwhome.ewi.utwente.nl/~marielle/coordinates.html> | www.ewi.utwente.nl/~marielle/
<http://wwwhome.ewi.utwente.nl/~marielle/>
-------------- next part --------------
_______________________________________________
Concurrency mailing list
Concurrency at listserver.tue.nl
https://listserver.tue.nl/mailman/listinfo/concurrency
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/pipermail/systemsafety/attachments/20191227/cda9a925/attachment.sig>
More information about the systemsafety
mailing list