-
in computational methods, particularly those with backgrounds in machine learning, artificial intelligence (AI), statistics, bioinformatics, or analysis-acceleration technologies. Candidates should
-
of the mechanism of action of psychostimulants. Particularly, we use C. elegans to identify novel targets of drugs such as amphetamine and cocaine. Methods used range from genetic/epigenetics and
Searches related to formal method
Enter an email to receive alerts for formal-method positions