Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
software dependability, verification and validation, software quality and testing, secure software engineering, and software architecture and design. As a member of our Department, you will: Teach and
-
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
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
responsible for developing and executing a NASA space-based mission through coordinated work across science, payload, spacecraft bus, software, systems engineering, integration and test, mission assurance, and
-
statistical software to analyze and present data; search pertinent scientific literature as needed. Supervise other personnel in the laboratory; participate in training of fellows, residents, students and
-
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
-
» Archaeology History » Art history History » Archaeology Researcher Profile First Stage Researcher (R1) Other Profession Positions PhD Positions Application Deadline 8 Oct 2026 - 16:00 (Europe/Bucharest) Country
-
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
-
software development. Partner with cross-disciplinary researchers to design, prototype, and operationalize AI solutions that advance funded research and scholarly impact. Build industry collaborations