2 formal-method-phd PhD positions at George Mason University

Research Assistant Professor

George Mason University | Fairfax, Virginia | United States | about 3 hours ago

Intelligence/Machine Learning (AI/ML) methods in agriculture (Agro-AI/ML); and Experience in programming with multiple languages (e.g., Java, C/C++, Python) for geospatial information systems, agro-informatic

Research Assistant Professor

George Mason University | Virginia Beach, Virginia | United States | 3 months ago

models to characterize agricultural and ecological systems; Experience in applying advanced Artificial Intelligence/Machine Learning (AI/ML) methods in agriculture (Agro-AI/ML); and Experience in