[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