Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Texas at Austin
- University of Arkansas
- Florida International University
- Broward College
- Washington State University
- The California State University
- Colorado State University
- University of Cincinnati
- University of New Mexico
- Texas A&M University
- University of Washington
- Medical College of Wisconsin
- Virginia Community College
- Texas A&M AgriLife Extension
- University of Maryland, Baltimore
- California State University, San Bernardino
- George Washington University
- University of Saskatchewan
- University of Silesia in Katowice
- Oak Ridge National Laboratory
- University of Colorado
- Instituto de Telecomunicações
- Universidade Católica Portuguesa - Porto
- University of Michigan
- University of San Diego
- University of Sheffield
- FESB, Split
- Nature Careers
- Texas A&M University System
- University System of Georgia
- University of Houston Central Campus
- Washington University in St. Louis
- Bellevue College
- Kennesaw State University
- TTI
- The John Paul II Catholic University of Lublin
- University of North Carolina at Chapel Hill
- University of North Texas at Dallas
- Warsaw University of Technology - Centre for Credible AI
- Brown University
- European Space Agency
- IRIT, Université de Toulouse
- Instituto Português do Mar e da Atmosfera, I.P.
- Johns Hopkins University
- Malopolska Centre of Biotechnology
- Pennsylvania State University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Denmark
- Universidade Católica Portuguesa - RIO
- University of California, San Francisco
- University of Illinois at Urbana Champaign
- University of Massachusetts Medical School
- University of Nevada Las Vegas
- University of Oklahoma
- University of Vermont Medical Center
- Virginia Tech
- AGH University of Krakow
- Aalborg University
- Arizona State University
- Austin Community College District
- Barry University
- Bowling Green State University
- Brookhaven National Laboratory
- CNRS
- Cal Poly Pomona
- California Institute of Technology
- California State University East Bay
- Central Michigan University
- Dana-Farber Cancer Institute
- Drexel University
- Embry-Riddle Aeronautical University
- Emory University
- FUNDACIÓN PÚBLICA GALEGA DE INVESTIGACIÓN BIOMÉDICA INIBIC
- Fayetteville State University
- Florida Atlantic University
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Georgia College
- Hirszfeld Institute of Immunology and Experimental Therapy Polish Academy of Sciences
- ICFO - The Institute of Photonic Sciences
- INESC ID
- Imperial College London
- Jagiellonian University
- Johannes Kepler University
- Kent State University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Massachusetts Institute of Technology
- Montgomery College
- NTNU Norwegian University of Science and Technology
- Nanyang Technological University
- Novac
- RMIT University
- Rutgers University
- South Dakota State University
- Texas A&M Forest Service
- Texas State University-San Marcos
- The University of Chicago
- The University of Edinburgh;
- Umeå University
- Umeå universitet
- University of Bristol
- 90 more »
- « less
-
Field
- Economics
- Computer Science
- Medical Sciences
- Engineering
- Materials Science
- Business
- Science
- Education
- Arts and Literature
- Electrical Engineering
- Mathematics
- Biology
- Philosophy
- Psychology
- Law
- Linguistics
- Social Sciences
- Chemistry
- Humanities
- Earth Sciences
- Environment
- Sports and Recreation
- 12 more »
- « less
-
checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be
-
would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework. We plan
-
(Level B) PhD in computer science or a related discipline with focus on formal methods. Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving
-
28 Nov 2025 Job Information Organisation/Company FESB, Split Research Field Engineering » Electrical engineering Researcher Profile Leading Researcher (R4) Positions Postdoc Positions Country
-
jointly supervised by Dr Wenda Li (AI for Mathematics) and Dr Mai Luo (ML Systems), and will collaborate with team members based at the School of Informatics, University of Edinburgh, and the University
-
the competition procedure is the formal verification of submitted documents. Applications that pass the formal verification are subject to substantive evaluation, during which a recruitment interview may be
-
26 Nov 2025 Job Information Organisation/Company FESB, Split Research Field Engineering » Other Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Country Croatia Application
-
Requirements: Preferably Master in Computer Science or relevant fields. Background in formal verification and programming language theory. Experience in interactive theorem proving and/or Web programming is
-
Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Candidates must meet the requirements set out in Articles 113 and
-
terminal degree) in the field of biological engineering, biology, statistics, computer science, mathematical sciences, biophysics, chemical engineering or a related field by the start of employment. The pay