Offer Description The Project Applications are invited for a PhD student to work on machine-learning guided and verifiably correct code... consists of PostDocs and PhD students investigating performance, reliability and security in future many-core systems...
University of CambridgeOffer Description The Project Applications are invited for a PhD student to work on machine-learning guided.... Research Group Our group consists of PostDocs and PhD students investigating performance, reliability and security in future...
Fixed-term: The funds for this post are available for 48 months. The Project Applications are invited for a PhD... student to work on machine-learning guided and verifiably correct code generation. Creating optimised libraries...
University of Cambridge