It took only a few decades for robotic underwater, surface and air vehicles to revolutionize ocean exploration. But this is just the beginning. Vehicle heterogeneity and functional diversity will enable new teamed capabilities and new concepts of operation that could not have been imagined before. This work will focus on networked vehicle systems in which physical and computational processes evolve and interact over time and space.
The goal is to develop an appropriate model of computation (MoC) for processes that are hosted by a network of vehicles with a dynamic binding of processes to vehicles. Process execution should be resilient/adaptive to changes in the underlying vehicle network that may occur, for instance, due to physical motion, communication topology changes, or vehicle turnover due to limited battery life. A process execution should continue through appropriate state persistence and code migration when required by underlying changes at the vehicle network. Both processes and vehicles may be governed by constraints regarding time, space, and communication. Given an abstract specification for a process and a vehicle network, we should be able to formally assert whether the network is able to realize the behavior of the process.
The project builds on experience of LSTS-UPORTO (https://lsts.fe.up.pt/) in the development and deployment of networked vehicle systems for ocean observation https://schmidtocean.org/cruise/exploring_fronts_with_multiple_aerial-surface-underwater-vehicles/. The proposed developments are applicable to other areas involving exploration and exploitation in remote and communications challenged environments.
Notice of the call
Download english version here
Tasks and Responsibilities
- Familiarize yourself with current state-of-the-art in the fields of (1) networked robotics, (2) models of computation for concurrent/distributed systems, (3) formal methods, and (4) software frameworks for networked vehicles.
- Develop the theoretical framework, guided by use-cases and real-world application examples with focus on maritime operations of multi-domain vehicles.
- Develop a prototype system for expressing and verifying/compiling specifications, and its abstract execution.
- Evaluate and test the planning and execution control framework in a simulation environment.
- Deploy the framework on LSTS’s multi-domain vehicles for evaluation and testing in operational environments.
Candidate must hold a Master’s degree (or equivalent) in any of the following fields: computer science, mechanical/electrical engineering, physics, mathematics, or related fields. The degree should have been completed in the last 5 years at most. The candidate must have strong analytical skills and be able to work at the intersection of computation and control. Prior experience in autonomous vehicles, concurrent systems theory, formal verification, and related fields will be a plus.
Hiring institution specific remarks – PhD Enrollment:
PhD position at the Laboratório de Sistemas e Tecnologias Subaquática – LSTS (Underwater Systems and Technologies Lab) at FEUP from University of Porto (https://lsts.fe.up.pt/). The project involves collaboration with the DCC/FCUP from University of Porto and the DINF/FCT-UAc from the University of the Azores.
Prof. João Sousa (LSTS/FEUP), contact: firstname.lastname@example.org, Prof. Eduardo Marques (DCC/FCUP), Prof. Francisco Martins (DINF/FCT-UAc).
The AIR Centre PhD Scholarship Programme aims at training the leaders of the future
Enhancing scientific research and technology development capabilities of AIR Centre Network in order to better respond to national priorities and global challenges in the Atlantic region;
- Strengthening existing collaboration ties and exploring or developing new collaboration ties between the AIR Centre and the Portuguese scientific community in areas of common interest;
- Promoting bilateral/multilateral cooperation between Portuguese scientific institutions and other institutions from diverse Atlantic countries through inclusive knowledge and data sharing to promote job creation, young entrepreneurship and inclusive sustainable development;
- Expanding the reach of the AIR Centre scientific agenda through a wider engagement with the academia to demonstrate the societal relevance and public value of research.
Doctoral research work will be carried out entirely or partially in a Portuguese institution.
Scholarships are annual, renewable to a maximum of 4 years.
Applications and all supporting documents must be submitted online using the Application Form available on each scholarship page. Applications submitted by other means will not be accepted.
Please note that you will need the items listed below. To ease the submission process, we suggest you gather them before you start your application:
- Copy of your Identification Document (ID card, passport);
- Recognition of the foreign academic degrees and the conversion of the respective final grade to the Portuguese grading scale, if applicable;
- Your Curriculum Vitae and saved as PDF;
- A Motivation Letter;
- Your PhD work plan, if applicable (please check scholarship link for details before working on this);
- 2 Recommendation letters.
- Ciência ID
Except for official documents, application and all related documents must be submitted in English.
Notification of results
Evaluation results will be communicated to the email address provided by the candidates in the application form.
Before applying, IT IS STRONGLY RECOMMEND that you carefully read the Public Notice of the Call for detailed information on the application, evaluation and selection process. Public Notice can be found on each scholarship page.
To access the Application Form (found within each scholarship page), you need to Register (create an account). When doing so, please make sure to write your email address correctly since all relevant information regarding your application will be sent to that email. Once you register, a password will be sent to your email and you can then Log In. Access the Scholarship Programme tab and scroll down to see all the available scholarships.
You can only submit one application for each scholarship. You can edit and save the application form at any time. The form will be available on the platform for editing until the application deadline, or until you submit the application. Once you submit your application, you will not be able to un-submit or make any changes.
Please note that the application to this scholarship program does not grant you a place in a PhD programme. Make sure you apply to the PhD programme identified in each scholarship.
Questions related to the application process or Application Form should be addressed to the AIR Centre through the email email@example.com using the following subject line: AIR Centre PhD Scholarship Programme – [your name]. The AIR Centre will reply to all information requests up to 3 working days before the applications submission deadline. Before contacting the AIR Centre carefully read all the documents related to the Call and the information available on the AIR Centre’s website.
To find out more, click here.