* Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK
@ 2020-01-15 15:59 Sergiy Bogomolov
0 siblings, 0 replies; only message in thread
From: Sergiy Bogomolov @ 2020-01-15 15:59 UTC (permalink / raw)
To: categories
At the School of Computing of Newcastle University (UK), I am looking for a
postdoc to work on algorithms and techniques to support scalable
verification of hybrid systems. Candidates working on adjacent topics, which
contribute to the broad goal of ensuring safety of autonomous systems such
as synthesis of hybrid systems, are encouraged to apply as well. Interest in
investigating links between formal methods and areas of artificial
intelligence such as AI planning and verification of machine learning
algorithms is welcome.
More information is available at the following
link: https://www.jobs.ac.uk/job/BXW951/research-assistant-associate-cyber-p
hysical-system
Sharing and forwarding of this note is very much appreciated.
Thanks a lot, Sergiy
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-01-15 15:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-15 15:59 Postdoctoral position in Cyber-Physical Systems, Newcastle University, UK Sergiy Bogomolov
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).