Job opportunities PhD Position F/M Resource-Aware Quantum Lambda Calculi with Coherent Control Read more about PhD Position F/M Resource-Aware Quantum Lambda Calculi with Coherent Control
Job opportunities Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants Read more about Post-Doctoral Research Visit F/M Reasoning up to equivalent representations in proof assistants
Job opportunities Post-Doctoral Research Visit F/M Generative Formal Code Annotations Read more about Post-Doctoral Research Visit F/M Generative Formal Code Annotations
Job opportunities Post-Doctoral Research Visit F/M Safe AI Planning and Reinforcement learning using Formal Methods Read more about Post-Doctoral Research Visit F/M Safe AI Planning and Reinforcement learning using Formal Methods
