71 formal-verification-computer-science positions at Edith Cowan University in Australia

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

Hypertension and cognitive screening and management for preventing haemorrhagic stroke in high-risk groups

Edith Cowan University | Mount Lawley, Western Australia | Australia | about 20 hours ago

Project Outline: Intracerebral haemorrhage (ICH) or haemorrhagic stroke is defined as bleeding within the brain parenchyma and occurs without trauma or known bleeding causes such as an arteriovenous malformation, cerebral aneurysm, or tumour. ICH accounts for at least 10-15% of all strokes and...

Enter an email to receive alerts for formal-verification-computer-science positions