-
, 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
-
, Linux, and Mac environments; hardware (processors, memory, graphics cards) Server management: iDRAC, Proxmox Storage management: Synology, QNAP Authentication: keycloak, OIDC Web & hosting WordPress
Searches related to memory
Enter an email to receive alerts for memory positions