Doktorand i datalogi med fokus på automatiserad verifiering av numerisk kod
Uppsala universitet - Uppsala
tekniska samarbeten träffas gruppen regelbundet och erbjuder en engagerande och stödjande miljö. Projektbeskrivning Numerisk... med detta avhandlingsprojekt är att utveckla en rigorös verifieringsmetod och verktyg för existerande numerisk programvara...
24 Mars
Doktorand i datalogi med fokus på automatiserad verifiering av numerisk kod
Uppsala universitet - Uppsala
och erbjuder en engagerande och stödjande miljö. Projektbeskrivning Numerisk programvara används i stor utsträckning för att modellera... en rigorös verifieringsmetod och verktyg för existerande numerisk programvara. Projektet kommer att utforska, utveckla...
24 Mars
Doktorand i beräkningsvetenskap
Uppsala universitet - Uppsala
ditt arbete beroende på intresse. Arbetet kan fokusera på teoretisk numerisk analys eller vara mer programmeringsinriktat...
23 Mars
Postdoktor inom Maskininlärning
Uppsala universitet - Uppsala
och cybersäkerhet, till verktyg för cancerforskning och metoder för numerisk analys och maskininlärning. Bland våra aktiva forskare...
21 Mars
Postdoktor inom Maskininlärning
Uppsala universitet - Uppsala
numerisk analys och maskininlärning. Bland våra aktiva forskare inom återfinns Thomas Schön och David Sumpter...
21 Mars