27 software-verification-computer-science-"Prof"-"Washington-University-in-St" positions
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- Technical University of Munich
- Colorado State University
- Nature Careers
- Virginia Community College
- ;
- Chalmers University of Technology
- Embry-Riddle Aeronautical University
- KINGS COLLEGE LONDON
- Technical University of Denmark
- The University of Arizona
- UNIVERSITY OF JOHANNESBURG
- University of Cincinnati
- University of Mary Washington
- University of Sheffield
- Virginia Tech
- 5 more »
- « less
-
Field
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Fabrizio Pastore
-
Computer Science). Outstanding candidates who do not have a PhD but wish to pursue one on the topic of this project will also be considered. x Knowledge and experience in software developments or formal
-
reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Domenico Bianculli
-
Full-time: 35 hours per week Fixed-term: 31st March 2026 The School of Informatics at the University of Edinburgh invites applications for 2 Post-doctoral Researcher positions in Quantum Machine
-
Posting Details Posting Detail Information Working Title Data Architect and Report Developer Position Location Fort Collins, CO Work Location Position qualifies for hybrid/in-office work Research
-
Position No Posting Number 202500897AP Position Type Admin Professional/ Research Professional Classification Title Prof/Indiv Contrib III Number of Vacancies Work Hours/Week 40 Proposed Annual Salary Range
-
software and LMS; Communicates with marketing for effective and accurate distribution of information; Communicates with faculty to gather needs; Prepares/maintains/organizes schedule for programs
-
, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv The successful candidate will work with Prof. Domenico Bianculli
-
of Computer Science and Engineering (CSE)Chalmers University of Technology University of Gothenburg You will be part of the Computing Science Division The appointed candidates will also join a vibrant community of over