Postdoc in Interactive Theorem Proving
København
Department of Computer Science
Faculty of Science
University of Copenhagen
Interactive theorem proving (ITP) is concerned with carrying out machine-checked proofs and developing the s...
Faculty of Science
University of Copenhagen
Interactive theorem proving (ITP) is concerned with carrying out machine-checked proofs and developing the s...
Information og data
Denne ledige stilling har jobtypen "Forsker", og befinder sig i kategorien "Sundhed og forskning".
Arbejdsstedet er beliggende i København
Dagligt opdateret: Dette job opdateres dagligt ud fra jobudbyderens hjemmeside via vores søgemaskineteknologi og er aktivt lige nu.
- Forsker
- København
- Torsdag den 30. maj 2024