Computer Science
[Open soon]
Work description
The work plan addresses the needs in current Research and Development (R&D) projects in INESC TEC to build software prototypes with high assurance and interoperability guarantees, that can leverage from the ecosystem of cloud service providers. The specific objectives are detailed in the objectives section.
Academic Qualifications
MSc in Informatics Engineering, Computer Science or alike
Minimum profile required
a) Knowledge and experience in the development of Java applications;b) Knowledge and experience with orchestration tools in cloud providers;c) Knowledge and experience with relational and non-relational database management systems;d) Knowledge and experience with the following virtualization/orchestration tools: Ansible, Docker, Kubernetes;e) Knowledge and experience with Linux operating systems;f) Language skills (written and spoken) for Portuguese and English.
Preference factors
g) Knowledge and experience with Spring and/or Angular Boot Framework; h) Knowledge and experience with Rest APIs; i) Knowledge and experience with PostgreSQL and MongoDB; j) Knowledge and proven experience in the design and development of benchmarking systems for data management systems targeting the edge and the cloud.
Application Period
Since 02 May 2025 to 15 May 2025
[Open soon]
Centre
High-Assurance Software