2 formal-verification-computer-science PhD positions at University of Maryland, Baltimore
-
scholarly activity in areas of interest. Scholarly activity is defined broadly and includes, for example, proteomics, LC-MS/MS-based approaches, data analysis and informatics for mass spectrometry-based data
-
college or university in neurosciences, psychology, biomedical engineering, or other related fields. Ideal candidates will have one to three (1-3) years of relevant experience in cognitive systems and/ or
Searches related to formal verification computer science
Enter an email to receive alerts for formal-verification-computer-science positions