[Agda] Permanent position at the University of Sussex

[Martin Berger]

Hello fellow functional programmers and theorem provers.
                                                                                                                                                                                            
The Department of Informatics at the University of Sussex is hiring a                                                                                                                       
Lecturer,  Senior Lecturer or Reader. This is a permanent position. 
Somebody with experience in the theory and implementation of 
dependently typed programming languages would be a good fit 
for this position.                                                                                                                                                      
                                                                                                                                                                                            
All details at                                                                                                                                                                              
                                                                                                                                                                                            
http://www.sussex.ac.uk/aboutus/jobs/352                                                                                                                                                    
                                                                                                                                                                                            
Deadline is October 7th.    

Martin