Sort by
Refine Your Search
-
-efficient LLM following a hardware-software co-design approach that enables real-time computation on resource-constrained devices. Example applications include portable speech understanding and rehabilitation
-
the form of a research course report or master’s thesis; Good programming skills. Preferably you have provable experience with deep learning; software (e.g., Pytorch, Jax, Tensorflow) and large-scale
Searches related to software verification
Enter an email to receive alerts for software-verification positions