Sort by
Refine Your Search
-
Employer
-
Field
-
symbols reshape political communities, historical memory, and claims to justice across different world regions. The successful candidate will lead an original ethnographic subproject on either: Liberal
-
ferroelectric memory, photonic integrated circuits and next-generation telecommunications. You'll work at the exciting intersection of experimental materials science and materials informatics, collaborating in
-
, memory safety, data race freedom, functional correctness) Implementing and verifying the inference coordination layer (batching, KV-cache management, scheduling) in Rocq/Lean, with extraction to executable
-
applications such as ferroelectric memory, photonic integrated circuits and next-generation telecommunications. You'll work at the exciting intersection of experimental materials science and materials