DIAS Fellow in Formal Methods and Future Computing

The position of DIAS Fellow in Formal Methods and Future Computing requires advanced expertise in formal methods, which typically involves rigorous mathematical techniques for specifying, developing, and verifying software and hardware systems. Candidates should possess a strong foundation in theoretical computer science, including logic, automata theory, and formal verification methods. Experience with model checking, theorem proving, and formal specification languages (such as Z, Alloy, or TLA+) is highly relevant. The role likely demands familiarity with future computing paradigms, which may encompass quantum computing, neuromorphic computing, or other emerging computational models. Proficiency in programming languages commonly used in formal methods research, such as Haskell, OCaml, or Python, and tools like Coq, Isabelle, or SPIN, would be advantageous. A strong academic background, potentially at the doctoral level, in computer science or a related discipline is expected, emphasizing research capability and publication record. The fellow is expected to contribute to cutting-edge research, collaborate across interdisciplinary teams, and possibly engage in teaching or mentoring activities. Analytical thinking, problem-solving skills, and the ability to communicate complex technical concepts clearly are essential. Overall, the role suits candidates with a deep theoretical understanding combined with practical experience in applying formal methods to advance future computing technologies.