Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Economics
- Medical Sciences
- Computer Science
- Engineering
- Business
- Materials Science
- Biology
- Science
- Education
- Social Sciences
- Arts and Literature
- Mathematics
- Psychology
- Sports and Recreation
- Chemistry
- Environment
- Philosophy
- Humanities
- Law
- Electrical Engineering
- Design
- Physics
- Earth Sciences
- Linguistics
- 14 more »
- « less
-
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
-
12 Dec 2025 Job Information Organisation/Company IMEC Research Field Engineering » Computer engineering Engineering » Other Researcher Profile First Stage Researcher (R1) Recognised Researcher (R2
-
compliance, 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
-
the significance of our benefits package. This position may be eligible to participate in the Cal State East Bay hybrid telecommute program subject to management approval. Classification Software Developer I About
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
position in the area of AI for Software Engineering. SCAI (https://scai.engineering.asu.edu/ ), one of the eight Fulton Schools, houses a vibrant Industrial Engineering and Computer Science Engineering
-
Details Posted: Unknown Location: Salary: Summary: Summary here. Details Posted: 17-Dec-25 Location: Pullman, Washington Type: Full-time Categories: Academic/Faculty Computer/Information Sciences
-
program generation and optimization Verification, testing and security of software systems Explainability of AI and of software engineering Software for distributed, highly-parallel AI systems Intelligent
-
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 verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions