730 formal-methods "https:" positions

  • CNRS | Montpellier, Languedoc-Roussillon | France | about 2 months ago

    leverage and enhance fundamental models and modern methods in theoretical chemistry to better describe the relationships between structure and physicochemical properties for complex architectures

  • University of Groningen | Groningen, Provincie Groningen | Netherlands | about 2 months ago

    form a permanent reality of how we experience our cities. These barriers signify an “informal” layer of inaccessibility superimposed on more structural or “formal” accessibility problems in the city

  • Arkansas State University | Jonesboro, Arkansas | United States | 21 days ago

    bathroom fixtures and stocks restrooms with soap, toilet tissue, and paper towels, cleans areas requiring special cleaning methods, by using specific cleansers, sterilizing equipment, and/or disposing

  • Queen's University Belfast | Belfast, Northern Ireland | United Kingdom | 11 days ago

    discipline. Recent relevant research experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal

  • Instituto de Engenharia Mecânica | Lisboa, Lisboa | Portugal | 5 days ago

    design needs to find a delicate balance between fluid dynamics, electro-mechanical performance, and safety. Computational Fluid Dynamics (CFD) methods, widely used for this purpose, require large

  • Nottingham Trent University | Nottingham, England | United Kingdom | about 22 hours ago

    applicant will be part of the Creative Practices, Methods and Analysis CPMA research cluster. More PhD opportunities are listed on the CPMA website: https://www.ntu.ac.uk/research/groups-and-centres

  • Texas A&M University | College Station, Texas | United States | about 4 hours ago

    computational methods with 9-month academic appointments to begin in Fall 2027.  Associate Professor and Professor candidates will be considered for tenure review upon hire. We seek applicants whose

  • Yale University | New Haven, Connecticut | United States | about 1 month ago

    organize and analyze biomedical and healthcare data to promote health for all. More information about BIDS can be found here:   https://medicine.yale.edu/biomedical-informatics-data-science/ (Link is

  • Instituto de Engenharia Mecânica | Lisboa, Lisboa | Portugal | 5 days ago

    . Computational Fluid Dynamics (CFD) methods, widely used for this purpose, require large amounts of computational resources. However, poor scalability of the current CFD methods limits their applications. CFD

  • University of Worcester | Worcester, England | United Kingdom | about 1 month ago

    Assistance Programme In-house training and development support A friendly, inclusive and supportive culture and work environment Selection methods: Shortlisted candidates will be asked to deliver a

Enter an email to receive alerts for formal-methods "https:" positions