Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
. About us The Department of Computer Science and Engineering , a joint department of Chalmers and the University of Gothenburg, spans the breadth of computing disciplines. Our internationally
-
Surrey for a new project on formal verification, seL4 security and AI-assisted theorem proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project
-
background in formal methods, logic, theoretical computer science, or related areas Strong background in computer science and mathematics Demonstrated interest in formal modelling, verification, or
-
Tenure-Track Assistant Professor / Associate Professor in AI-Driven SW Specification, Development...
development, software architecture, distributed systems, cloud computing, cybersecurity, formal methods, cryptography, and quantum programming languages. The Department of Mathematics and Computer Science
-
Department of Computer Science and Engineering (CSE). Applications will be considered at all ranks (Assistant, Associate, and Full Professor), with particular interest in candidates who bring several
-
Computer Science, with a focus on AI-Driven SW Specification, Development, Verification and Validation . The targeted starting period is Spring 2027, with room for flexibility. The successful candidate
-
learning. Formal proof assistants (Lean, Coq, Isabelle, or similar). Programming. Strong mathematical maturity. Requirements:a Bachelor’s degree in mathematics or computer science, with evidence of
-
consider candidates across all areas of computer science, whose research connects to the following sub-areas of AI: Physical AI: Designing AI systems that sense, reason and act within real-world
-
, and individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI
-
3 Sep 2026 Job Information Organisation/Company Uppsala universitet Department Uppsala University, Department of Information Technology Research Field Computer science Researcher Profile First Stage