Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of Washington
- University of Cincinnati
- Virginia Community College
- University of California, San Francisco
- The California State University
- University of Texas at Austin
- Washington University in St. Louis
- University of Arkansas
- Binghamton University
- Kennesaw State University
- University of New Mexico
- George Washington University
- Washington State University
- California State University, San Bernardino
- Texas A&M University
- University System of Georgia
- Bowling Green State University
- Georgia College
- University of Oklahoma
- National University of Science and Technology POLITEHNICA Bucharest
- European Space Agency
- University of Minnesota
- Broward College
- Columbus State University
- University of Utah
- Fayetteville State University
- Instituto Politécnico de Bragança
- Texas A&M AgriLife Extension
- Texas A&m Engineering
- Cleveland State University
- Florida International University
- Oak Ridge National Laboratory
- University of Saskatchewan
- Brown University
- TCAT-Dickson
- University of California Davis
- Bowdoin College
- Colorado State University
- Indiana State University
- University of Luxembourg
- University of Michigan - Ann Arbor
- University of Silesia in Katowice
- Coast Community College District
- Johns Hopkins University
- National University of Science and Technology POLITEHNICA Bucharest, Pitesti Branch
- Purdue University
- Sierra College
- South Dakota State University
- TTI
- University of New South Wales
- University of San Diego
- University of South Carolina
- California State University East Bay
- California State University, Northridge
- Christopher Newport University
- Nature Careers
- Rollins College
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- San Francisco State University
- Swarthmore College
- Technical University of Munich
- The Ohio State University
- Universitat Politècnica de Catalunya (UPC)- BarcelonaTECH
- University of California Irvine Health
- University of Mary Washington
- University of North Carolina Wilmington
- Wroclaw University of Science and Technology
- AALTO UNIVERSITY
- AGH University of Krakow
- Atlanta Metropolitan State College
- Bellevue College
- Boise State University
- Boston College
- California State University
- California State University, Fullerton
- Commonwealth University of Pennsylvania
- Dana-Farber Cancer Institute
- Delft University of Technology (TU Delft)
- Duke University
- East Carolina University
- George Mason University
- Hennepin Technical College
- INESC TEC
- Indiana University
- LNEC, I.P.
- Los Angeles Community College District
- Medical College of Wisconsin
- Michigan State University
- National Institute of Research and Development for Electrochemistry and Condensed Matter
- Rutgers University
- SUNY
- St. Cloud State University
- Stanford University
- The John Paul II Catholic University of Lublin
- The University of Manchester
- Universidade Católica Portuguesa - Porto
- University of Bergen
- University of California
- University of Colorado
- University of Illinois at Urbana Champaign
- 90 more »
- « less
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Business
- Materials Science
- Biology
- Education
- Science
- Social Sciences
- Arts and Literature
- Mathematics
- Psychology
- Law
- Humanities
- Chemistry
- Electrical Engineering
- Environment
- Philosophy
- Design
- Physics
- Sports and Recreation
- Earth Sciences
- Linguistics
- 14 more »
- « less
-
of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
. in Computer Science, Computer Engineering or a closely related field. Areas of expertise may include, but not limited to, software design and architecture, software testing and verification, software
-
Field Engineering » Communication engineering Engineering » Computer engineering Engineering » Electronic engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Application
-
upstream activities, such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, primarily software testing and analysis. For further
-
techniques in the safety analysis of software components of a new dialysis machine , Science of Computer Programming, Volume-175, 2019, p17-34 [4] MC/DC . Modified Condition/Decision Coverage criterion. [5
-
EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The position is opened by the Formal Methods for System and Software Research Unit (FM Unit
-
Summary Provides campus-wide technology support with client satisfaction and excellent customer service as the ultimate goal. Technology support involves a variety of computers, systems, software
-
: Computer Science or Management Information Systems or related field is preferred The following Experience is required: 3 year of experience with enterprise resource platforms (ERP’s) The following Experience is
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | 4 days ago
, and test reports. Collaborate with system engineering, electronics, software teams, and external partners. Support integration and verification campaigns at AEI and partner facilities. Ensure compliance