Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Assistant Professor (tenure-track) and Associate Professor (tenured) Positions in Computer Scienc...
for collaboration, personal growth, and mentoring for starting independent research groups. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic
-
. Applications must be formalized in the online application submission system, available on the FMUP website: https://sigarra.up.pt/FMUP/pt/CNT_CAND_GERAL.CONCURSOS_LIST (Ref. 2025/105, Pr. 376). 16.3
-
, threats, and mitigations. Structure assets into a formal ontology usable in software/system engineering tools. Formal Taxonomy of Security Properties Refine high-level security goals into verifiable design
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
, contact or collision sensors, proprioceptive arrays) on mobile platforms (wheeled/rolling and/or aerial). Designing and integrating a soft shell for protecting the robot from collisions. Developing methods
-
as amended) and who meet the following requirements: 1. PhD in physical sciences. 2. Fulfilled formal requirements regarding the date of obtaining the doctoral degree in accordance with the regulations
-
that the candidate considers relevant to assess his or her merit. 15.2. Applications must be formalized in the online application submission system, available on the FMUP website: https://sigarra.up.pt/fmup/pt
-
of the specified research, including taking a leading role in the planning and conduct of insect single-nucleus RNA sequencing. Identify and develop new and bespoke methods to optimise research outputs. 3
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
or higher. Proven experience and solid knowledge in molecular and cellular neurobiology; Be enrolled in a PhD programme, preferably in Biochemistry or Biology or related fields, at a higher education