-
of state voting legislation for the Voting Laws Roundup. This work includes developing computational tools (e.g., using large language models, machine learning for text analysis and classification, etc
-
that have produced forecasts of changing heat and humidity regimes in the United States and globally Develop and implement a model to integrate data on cattle/other livestock vulnerability to heat and
-
.). The work will mostly consist of creating detailed neutronics models of the CROCUS reactor and the specific modifications for PETALE. The position will require extensive traveling to Lausanne, Switzerland
Searches related to model checking
Enter an email to receive alerts for model-checking positions