[robotics-worldwide] [jobs] Funded PhD - Architectural and Data Modelling for Robotic Applications

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[robotics-worldwide] [jobs] Funded PhD - Architectural and Data Modelling for Robotic Applications

Wei Li
Project Description
Robotics is a very exciting area of application; not only is it fun, but it
also has potential for huge economic and social impact. A lot has been
achieved, and a lot is expected to happen in the next decade or so.
Software engineering techniques that provide appropriate and specific
support for robot engineers, however, are few and far between.

This project will identify how robot engineers can use a diagrammatic
notation to model and simulate data-intensive robotic applications. It will
adopt and extend a domain-specific notation for mobile and autonomous
robots called RoboChart. It is being developed under a five-year project
involving a team of seven researchers in York, and collaborators worldwide (
https://urldefense.proofpoint.com/v2/url?u=https-3A__www.cs.york.ac.uk_circus_RoboCalc_&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=1NTA6VvRsIJv3dvsFDbuU1Bml7ibFqbzfYehi9Apt-I&e=
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww.cs.york.ac.uk-252fcircus-252fRoboCalc-252f&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=3KDEFbrLMzfwmYOt6W2bttcst67_mHZ8tn5TTwlct20&e=>
).

Using RoboChart, we can define packages that specify data used and
generated in a robotic system. We can also specify the design and
deployment architectures of a system. This project will investigate
commonly used design patterns and specialise the modelling, verification,
and simulation techniques to deal with them. The outcome is a catalogue of
design patterns described in RoboChart with associated verification and
simulation approaches, whose feasibility is demonstrated by a number of
example applications from the literature and industry.

Applications and examples are available from https://urldefense.proofpoint.com/v2/url?u=https-3A__www.cs.york.ac.uk&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=Oy3CzFNKfu4KxBaRgAatU23VycYS07nmLYbs89VuZdo&e=
/circus/RoboCalc/
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww.cs.york.ac.uk-252fcircus-252fRoboCalc-252f&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=3KDEFbrLMzfwmYOt6W2bttcst67_mHZ8tn5TTwlct20&e=>
 and the York Robotics Laboratory (https://urldefense.proofpoint.com/v2/url?u=https-3A__www.york.ac.uk_robot-2Dlab_&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=Mx9oSu7BCoutFaMC0NpTk5DDlX1PHDN4LNKibLo-79s&e=
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww.york.ac.uk-252frobot-2Dlab-252f&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=1Tvg7bj17loQI2NnmjarnUYjqDAZt5-2ime53kTq-fs&e=>
).

RoboChart is supported by RoboTool (https://urldefense.proofpoint.com/v2/url?u=https-3A__www.cs.york.ac.uk_cir&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=-8mrzQWcI6YEEfaqdnWH90cQ1lbGLftARZXXyeikyAw&e=
cus/RoboCalc/robotool/
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww.cs.york.ac.uk-252fcircus-252fRoboCalc-252frobotool-252f&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=YYVJEzJaINE_slL61UjCLs3rpT_U6PFAHr8rKNxxSc0&e=>)
and is described in a reference manual ( https://urldefense.proofpoint.com/v2/url?u=http-3A__barom.org.uk_robochar&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=bB0YuYnMp19cynCyK5xg6UOG9fPRXXXXdf8H2UAN9go&e=
t/documents/robochart-reference.pdf
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttp-253a-252f-252fbarom.org.uk-252frobochart-252fdocuments-252frobochart-2Dreference.pdf&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=C7NFFkG_UQxtSytR0OqaQIyZx6hD_J3wEMn4pyYDdbo&e=>
).

See recent publications on RoboChart in references section.

Research supervision
If successful, you will conduct your research under the supervision of
Prof. Ana Cavalcanti (https://urldefense.proofpoint.com/v2/url?u=https-3A__www-2Dusers.cs.york.ac.uk_-7Ealcc_&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=LdG13xSNB8X5EyMOLdCIsLRMWmIQiG1dSFeLnkjF_iM&e=
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww-2Dusers.cs.york.ac.uk-252f-257ealcc-252f&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=lnOSX4EpnlRMVWAdjFDiF31TCOwkaUREWWahNEoIADU&e=>).
She holds a Royal Academy of Engineering Chair on Emerging Technologies to
carry out work on Software Engineering for Robotics (
https://urldefense.proofpoint.com/v2/url?u=https-3A__www.raeng.org.uk_news_news-2Dreleases_2018_april_acad&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=JlCAxNzH9t3Q9k6T5FAPZkVDArSUv8zjdLNq74E324w&e=
emy-funds-global-research-visionaries-to-advan
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttps-253a-252f-252fwww.raeng.org.uk-252fnews-252fnews-2Dreleases-252f2018-252fapril-252facademy-2Dfunds-2Dglobal-2Dresearch-2Dvisionaries-2Dto-2Dadvan&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=J71fcjeytrRvpzxnDbvnU22IaDvL6L7KaB-LwWobir4&e=>).
The project will contribute to that agenda of work and involve interaction
with the industrial patterns in RoboCalc and in a new EPSRC project
RoboTest (https://urldefense.proofpoint.com/v2/url?u=http-3A__gow.epsrc.ac.uk_NGBOViewGrant.aspx-3FGrantRef-3DEP_R025479_1&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=q7WHl3Aj6p5trOBuw2IF8mMS0mxc0Z54RtuIkrfY3CQ&e=
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttp-253a-252f-252fgow.epsrc.ac.uk-252fNGBOViewGrant.aspx-253fGrantRef-253dEP-252fR025479-252f1&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=ablai6hQJc-1oOte4AeOPQbKJPdsRCExk7bAwTzx6HI&e=>
 and https://urldefense.proofpoint.com/v2/url?u=http-3A__gow.epsrc.ac.uk_NGBOViewGrant.aspx-3FGrantRef-3DEP_R025134_1&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=pE0ig8cQwJCSSBEIr42wb3kXKJDRHuyrHseGgNGM9uk&e=
<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.findaphd.com_common_clickCount.aspx-3Ftheid-3D97022-26type-3D184-26DID-3D1599-26url-3Dhttp-253a-252f-252fgow.epsrc.ac.uk-252fNGBOViewGrant.aspx-253fGrantRef-253dEP-252fR025134-252f1&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=OyUM3QzOpJTjQ513bZ-06TmmQyHDpRhc6t7O-f5lRg0&e=>)
.

To be considered for this funding you must:
meet the entrance requirements for a PhD in Computer Science,
be eligible to pay home/EU fees.

We will look favourably on applicants that can demonstrate knowledge of
verification techniques and who have strong programming and mathematical
skills.
Funding Notes

If successful, you will be supported for three years. Funding includes:
£14,777 (2018/19 rate) per year stipend,
Home/EU tuition fees,
RTSG (training/consumables/travel) provision.

1. Apply to study
You must apply online for a full-time PhD in Computer Science.
You must quote the project title (Architectural and Data Modelling for
Robotic Applications Studentship) in your application.
There is no need to write a full formal research proposal as this
studentship is for a specific project.

2. Provide a personal statement of 500-1,000 words with your initial
thoughts on the research topic.
References

1. A. Miyazawa, P. Ribeiro, W. Li, A. L. C. Cavalcanti, and J. Timmis.
Automatic property checking of robotic applications. In IEEE/RSJ
International Conference on Intelligent Robots and Systems, pages
3869--3876, 2017. [https://urldefense.proofpoint.com/v2/url?u=https-3A__www-2Dusers.cs.york.ac&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=1Vxk_M8HxYSFAr4VSvDKiJ4Rp8qwNa4k5IwRplFHiYQ&e=.
uk/~alcc/publications/papers/RMLCT17.pdf]

2. P. Ribeiro, A. Miyazawa, W. Li, A. L. C. Cavalcanti, and J. Timmis.
Modelling and verification of timed robotic controllers. In N. Polikarpova
and S. Schneider, editors, Integrated Formal Methods, pages 18--33.
Springer, 2017. [https://urldefense.proofpoint.com/v2/url?u=https-3A__www-2Dusers.cs.york.ac.uk_-7Ealcc_publications_papers_R&d=DwIFaQ&c=clK7kQUTWtAVEOVIgvi0NU5BOUHhpN0H8p7CSfnc_gI&r=0w3solp5fswiyWF2RL6rSs8MCeFamFEPafDTOhgTfYI&m=huWTw-V1esKTjyNOVsXRNEGlaD4o2WF7JjYlomDOImw&s=d79k2QR8Q1zx0vhd9kZmYxNkbxkFRb0cezfmVn0j_Yg&e=
MLCT17.pdf]
_______________________________________________
robotics-worldwide mailing list
[hidden email]
http://duerer.usc.edu/mailman/listinfo.cgi/robotics-worldwide