Sort by
Refine Your Search
-
Listed
-
Employer
-
programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Postdoctoral position in Systems and Hardware Security The Computer Security Group is a research group in
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
the electrolyte exchange charge with solid booster materials held in the storage tanks, decoupling energy density from active-material solubility while preserving the modularity and safety of aqueous flow batteries
-
Programme? Horizon Europe Is the Job related to staff position within a Research Infrastructure? No Offer Description Materials science and technology are our passion. With our cutting-edge research, Empa's