Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Consiglio Nazionale delle Ricerche
- Fundació per a la Universitat Oberta de Catalunya
- Monash University
- NTNU - Norwegian University of Science and Technology
- Nature Careers
- Technical University of Denmark
- University of Luxembourg
-
Field
-
, Distance Less than 40 Mpc, SAGUARO, and Global Supernova Project. Here are a few examples of students' projects that can be adapted to suit the interests of students. Constraining the mass loss rate of red
-
the development of a higher-layer semantic planning, the decomposition of the plan in subsegments and dedicated controller (such as MPC) for combined planning and control on a subsegment of the XS-Graph
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 29 days ago
: This grant aims to develop methods based on reachability analysis to design robust MPC controllers for the final approach of a tethered spacecraft for active debris removal. This grant will investigate
-
Multi-Party Computation (MPC) and Zero-Knowledge (ZK) Proofs. The successful candidate will investigate the formal design and security analysis of MPC protocols and ZK proofs, with a particular emphasis
-
the development of a higher-layer semantic planning, the decomposition of the plan in subsegments and dedicated controller (such as MPC) for combined planning and control on a subsegment of the XS-Graph
-
-functionalized Monolayer-Protected Clusters (MPCs); predict interaction with biomolecules and oxygen-singlet generation; validate with PWR (Wrocław University of Science and Technology, Poland) and CNRS (National
-
similar tasks and subject matter. Technical Skills: Cryptography and programming skills. Knowledge of one or more of the following areas: Homomorphic Encryption (FHE). Multi-Party Computation (MPC). Zero
-
Computation (MPC), and Zero-Knowledge Proofs (ZKPs). The candidate will design, analyze, and implement advanced privacy-preserving cryptographic protocols, with applications to real-world domains such as