Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Texas at Austin
- University of Arkansas
- Virginia Community College
- Florida International University
- University of Washington
- The John Paul II Catholic University of Lublin
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Texas A&M AgriLife Extension
- Universidade Católica Portuguesa - Porto
- AGH University of Krakow
- University of New Mexico
- Washington State University
- George Washington University
- Texas A&M University
- Kennesaw State University
- University of Utah
- Naval Postgraduate School
- The California State University
- Broward College
- University System of Georgia
- University of Saskatchewan
- CNRS
- The University of Chicago
- University of Luxembourg
- University of Nevada Las Vegas
- University of New South Wales
- University of Silesia in Katowice
- Bowling Green State University
- California State University, San Bernardino
- Fondazione Bruno Kessler
- Instituto de Telecomunicações
- Technical University of Munich
- University of California
- University of Sheffield
- Washington University in St. Louis
- Brookhaven National Laboratory
- Coast Community College District
- Columbus State University
- Fayetteville State University
- Georgia State University
- Graz University of Technology
- Hanken School of Economics
- INESC ID
- INSTYTUT ROZWOJU MIAST I REGIONÓW
- Imperial College London;
- Indiana University
- Johns Hopkins University
- Luxembourg Institute of Science and Technology (LIST)
- Universidade de Trás-os-Montes e Alto Douro
- Universitat Pompeu Fabra - Department / School of Engineering
- University of Cincinnati
- University of Illinois at Urbana Champaign
- University of Minnesota
- University of North Carolina at Charlotte
- University of Texas Rio Grande Valley
- University of Toronto
- Aalborg Universitet
- Aalborg University
- Arkansas State University
- Bemidji State University
- Boston University
- Bowdoin College
- Bridgewater State University
- Chalmers University of Technology
- Cleveland State University
- Duke University
- East Carolina University
- Eindhoven University of Technology (TU/e)
- Faculdade de Medicina Veterinária
- Fields Institute
- Hannover Medical School •
- Harvard University
- Heriot Watt University
- IMEC
- IMT School for Advanced Studies Lucca
- INCLIVA Biomedical Research Institute
- Imperial College London
- Indiana University Bloomington
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- Institute of Urban and Regional Development
- Instituto Politécnico de Bragança
- Instituto Superior de Agronomia
- Instituto de Educação da Universidade de Lisboa
- Johannes Kepler University
- KTH Royal Institute of Technology
- Luxembourg Institute of Science and Technology
- Massachusetts Institute of Technology (MIT)
- NEW YORK UNIVERSITY ABU DHABI
- NIST
- National University of Science and Technology POLITEHNICA Bucharest
- New York University
- Pennsylvania State University
- Poznan University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- Silesian University of Technology
- Stanford University
- Swarthmore College
- The University of Arizona
- Tilburg University
- UNIVERSIDAD POLITECNICA DE MADRID
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Business
- Engineering
- Science
- Education
- Law
- Mathematics
- Arts and Literature
- Materials Science
- Biology
- Humanities
- Psychology
- Linguistics
- Philosophy
- Electrical Engineering
- Social Sciences
- Sports and Recreation
- Environment
- Earth Sciences
- Physics
- 12 more »
- « less
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
Is the Job related to staff position within a Research Infrastructure? No Offer Description Public selection for n.1 post doctoral fellow position in "Formal modeling and verification of security and
-
Website https://phd.fbk.eu/calls/detail/formal-verification-of-configurable-safety-crit… Requirements Research FieldOtherEducation LevelMaster Degree or equivalent Additional Information Work Location(s
-
Posting Details Position Information Title Formal Verification Research Specialist (Grant Funded) Department Summary Tbd Position Summary This NSF-funded, full-time research position will support a
-
Are you interested in working for a world top 100 university, performing cutting-edge research in formal verification Applications are invited for a postdoctoral research associate on the EPSRC
-
Location: South Kensington Campus About the role: We are looking for motivated individuals to Join the Formal Methods in AI (FMAI) lab at Imperial College London, led by Dr. Francesco Belardinelli
-
of five years of experience practicing as a registered psychologist. Experience providing clinical supervision and formal training in supervision practices, including experience in crisis intervention and
-
verification process. A list of acceptable documents can be seen here: https://www.uscis.gov/i-9-central/form-i-9-acceptable-documents
-
of Openings: 1 Work Location: On Campus The successful applicant will be required to provide the following current verification(s) where 'Yes' is indicated below. Further information is available at: https
-
Two Research Associate Positions - Automated Formal Verification, Stochastic Games, Algebraic Reasoning, Security Two posts starting from October 20th 2026 to conclude October 19th 2027 with