Sort by
Refine Your Search
-
Employer
-
Field
-
to increase the number of women and minorities in systems security, eligible candidates are therefore encouraged to apply Profile You need to have already obtained or be close to obtaining your PhD degree in
-
provable guarantees AI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive
-
experimental research, including experimental campaigns, data analysis and process optimization, while ensuring high standards of laboratory practice, documentation, scientific integrity and safety. You will
-
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
-
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
-
, decoupling energy density from active-material solubility while preserving the modularity and safety of aqueous flow batteries. The performance of such batteries hinges on the solid booster formulation
-
, consumables and laboratory supplies. ● Place and track orders and communicate with suppliers and institutional services. ● Maintain laboratory inventories, equipment records, safety documentation and shared