Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
scientific knowledge. Where to apply Website https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=19523&nPos… Requirements Research Field Computer science Education Level PhD or
-
debt management, cloud and edge computing, sustainable software systems, and AI-assisted software development. More information about the SustainAI research group is available at: https
-
Tenure-Track Assistant Professor / Associate Professor in AI-Driven SW Specification, Development...
systems, and AI-assisted software development. More information about the SustainAI research group is available at: https://sustainai.sdu.dk/ We encourage applications from researchers that can
-
, 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/svv
-
, software components, data interfaces, and simulation platforms into functional prototypes, as well as supporting system testing, verification, and validation in realistic ATM environments, contributing
-
theoretical insights and software artifacts advancing the state of the art in quantum program verification. Duties The doctoral student will primarily devote their time to doctoral education. Other
-
outstanding 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
-
components. The subject thus complements related, more component-level/mathematically oriented ML verification research at LTH, and builds on SE's expertise in empirical and applied software and
-
reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing expressive languages for specifying network behavior Developing verification
-
fields (PhD is preferred) and have a background in imaging, image analyses, machine learning, and software engineering. References: (1) A. J. Brooks et al, “Neutron interferometry detection of early