Today's ride with Dennis was witness to this progress, and also encouraging if I'm to ride 100km at 30km/h. This evening I rode 67km at 30.2km/h, including a rather fast 50km at 31km/h with Dennis. I still have a long way to go to reach Dennis level of fitness, but I'm reaching new heights of Dave fitness. (I can't wait to meet the Belgian hills next year.)
Wednesday, July 23, 2008
Intermediate fast ride
Ok. It's not that I haven't been riding. Just that I've been to conferences and the weather has been quite crap. So I haven't managed to break 100km, and so didn't feel that my minor achievements were worth reporting. I've been training hills and doing a bit of interval training, and I've been seeing progress, I'm starting to feel stronger.
Friday, July 18, 2008
Two PhD Positions
I'm offering Two PhD Positions in Secure Software and Languages as a part of my new job at the Department of Computer Science at the Katholieke Universiteit Leuven in Belgium.
These positions are devoted to research on secure software and languages, including, but not limited to:
* modelling highly adaptable trustworthy systems
* types and models for software families
* logic and type systems for security; ownership types; pluggable types
* programming languages for secure software
I'm looking for students with the following profile and skills:
* Clear interest in and knowledge of the subject, based on education, work or research experience
* Masters in Computer Science or Informatics
* Team player; capability to work in an international research team
* Proficiency in English and excellent communication skills, both oral and written
* Prior knowledge in the areas of type systems, security, programming languages and/or formal methods is an advantage.
The research will take place within the DistriNet research group. The "Distributed systems and computer Networks‚" (DistriNet) research group was founded in 1984 as part of the Department of Computer Science at the K.U.Leuven. DistriNet's research focus and scope is twofold: distributed systems and secure software. The group works on a wide range of topics including computer networks, middleware, internet architectures, network and software security, embedded systems and multi-agent systems. DistriNet's research is generally application driven and often conducted in collaboration with industry partners.
Currently DistriNet counts 60 members (8 professors, 12 post-docs and 45 junior researchers) and participates in about 30 national and international research projects. The annual budget amounts to approximately 5MEuro. More information on projects and publications can be found on the DistriNet web pages:
http://distrinet.cs.kuleuven.be/
Requests for further information and other informal enquiries can be sent to:
Dr. David Clarke
David.Clarke at cs.kuleuven.be
Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority.
The PhD positions are for 4 years.
The start date is negotiable, 1 October 2008 at the earliest.
These positions are devoted to research on secure software and languages, including, but not limited to:
* modelling highly adaptable trustworthy systems
* types and models for software families
* logic and type systems for security; ownership types; pluggable types
* programming languages for secure software
I'm looking for students with the following profile and skills:
* Clear interest in and knowledge of the subject, based on education, work or research experience
* Masters in Computer Science or Informatics
* Team player; capability to work in an international research team
* Proficiency in English and excellent communication skills, both oral and written
* Prior knowledge in the areas of type systems, security, programming languages and/or formal methods is an advantage.
The research will take place within the DistriNet research group. The "Distributed systems and computer Networks‚" (DistriNet) research group was founded in 1984 as part of the Department of Computer Science at the K.U.Leuven. DistriNet's research focus and scope is twofold: distributed systems and secure software. The group works on a wide range of topics including computer networks, middleware, internet architectures, network and software security, embedded systems and multi-agent systems. DistriNet's research is generally application driven and often conducted in collaboration with industry partners.
Currently DistriNet counts 60 members (8 professors, 12 post-docs and 45 junior researchers) and participates in about 30 national and international research projects. The annual budget amounts to approximately 5MEuro. More information on projects and publications can be found on the DistriNet web pages:
http://distrinet.cs.kuleuven.be/
Requests for further information and other informal enquiries can be sent to:
Dr. David Clarke
David.Clarke at cs.kuleuven.be
Applications will be considered until the position is filled, but those received on or before 15 August 2008 will have priority.
The PhD positions are for 4 years.
The start date is negotiable, 1 October 2008 at the earliest.
Subscribe to:
Posts (Atom)