Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
and research, in and outside academia. The Software Engineering group conducts research in a wide range of topics related to design, development, verification, and operation of complex software systems
-
Researcher (R1) Positions PhD Positions Application Deadline 30 Sep 2026 - 23:59 (Europe/Berlin) Country Germany Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Mar 2027
-
the new research track on verification, validation and quality assurance of autonomous systems. SE's research builds on decades of empirical studies of large-scale software development, requirements
-
of Informatics, Computing, and Engineering, visit: https://luddy.iu.edu/ Basic Qualifications Minimum Qualifications: Applicants should possess a PhD in computer science (or a related field) and be committed
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
). Design and fabrication of the calibration test phantoms Developing and testing acquisition software, and implementing image analysis algorithms and localization methods. Where to apply E-mail
-
: Leading the software development for the research project, and possibly mentoring Ph.D. and/or undergraduate students in the software development effort. Assisting with data collection and performance
-
MSCA Doctoral Network position “Electric solar wind sail mission design” We are now looking for two (2) Doctoral Researchers. This PhD topic is part of the “Electric solar wind sail doctors” (E
-
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