|
Naletio sam na ovo na jednoj mailing listi. Možda će nekome biti zanimljivo.
[quote="[url=http://www.nottingham.ac.uk/index.aspx]University of Nottingham[/url]"]
The School of Computer Science in Nottingham is advertising 10
fully-funded PhD studentships. Applicants in the area of the
Functional Programming lab ([url=http://fp.cs.nott.ac.uk/]fp.cs.nott.ac.uk[/url]) are encouraged!
If you are interested in applying, please contact a potential
supervisor in the FP lab prior to submitting your application:
[b]Thorsten Altenkirch[/b] - constructive logic, proof assistants,
(homotopy) type theory, category theory, lambda calculus,
quantum computing.
[b]Venanzio Capretta[/b] - type theory, mathematical logic, corecursive
structures, proof assistants, dependently-typed programming.
[b]Henrik Nilsson[/b] - functional reactive programming, modelling
and simulation languages, domain-specific languages,
generalized notions of computation
[b]Graham Hutton[/b] - program construction and verification,
category theory, recursion operators, coinductive types.
See [url]http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1674[/url]
for details.
Closing date: [b]Sunday, 22nd January 2017[/b]
[/quote]
Naletio sam na ovo na jednoj mailing listi. Možda će nekome biti zanimljivo.
| University of Nottingham (napisa): |
The School of Computer Science in Nottingham is advertising 10
fully-funded PhD studentships. Applicants in the area of the
Functional Programming lab (fp.cs.nott.ac.uk) are encouraged!
If you are interested in applying, please contact a potential
supervisor in the FP lab prior to submitting your application:
Thorsten Altenkirch - constructive logic, proof assistants,
(homotopy) type theory, category theory, lambda calculus,
quantum computing.
Venanzio Capretta - type theory, mathematical logic, corecursive
structures, proof assistants, dependently-typed programming.
Henrik Nilsson - functional reactive programming, modelling
and simulation languages, domain-specific languages,
generalized notions of computation
Graham Hutton - program construction and verification,
category theory, recursion operators, coinductive types.
See http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1674
for details.
Closing date: Sunday, 22nd January 2017
|
_________________
Extraordinary claims require extraordinary evidence. – Carl Sagan
|
