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
-
intelligence can support the development and use of computer algebra systems, including mathematical programming, software verification and testing, documentation, and new ways for researchers to interact with
-
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
-
Constructor Technology, invites applications for a PhD position in machine learning for software engineering and formal methods, on the Constructor Fabric project. Constructor Fabric turns a company's informal
-
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
-
. Qualifications PhD in a related field A well-qualified candidate may also possess: Doctoral degree in Chemistry or a closely related field. Familiarity with appropriate laboratory and/or technical equipment
-
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