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
- Law
- Chemistry
- Electrical Engineering
- Humanities
- Philosophy
- Environment
- Sports and Recreation
- Design
- Physics
- Earth Sciences
- Linguistics
- 14 more »
- « less
-
, program synthesis, semantic parsing, tool-augmented/agentic workflows) 2. Symbolic methods (logic/constraints, SAT/SMT, theorem proving, planning) * Strong software engineering skills (typically Python
-
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
-
19 Jan 2026 Job Information Organisation/Company The University of Manchester Department Computer Science Research Field Computer science Researcher Profile First Stage Researcher (R1) Positions PhD
-
Max Planck Institute for Gravitational Physics (Hanover), Hannover | Hannover, Niedersachsen | Germany | about 1 hour 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
-
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
-
equivalent in Computer Science, Informatics, Software Engineering or a related field The ideal candidate should have some knowledge and experience in a number of the following topics: Software Cybersecurity
-
about this on the UK Visas and Immigration Website . This is an exciting opportunity to work in R&D in ground-breaking EU border security project. The Department of Computer Science within the School