User contributions
- 16:42, 12 December 2014 (diff | hist) . . (-1) . . Funded 3-year PhD position in Program Verification (current)
- 16:41, 12 December 2014 (diff | hist) . . (+43) . . Funded 3-year PhD position in Program Verification
- 16:40, 12 December 2014 (diff | hist) . . (+16) . . Funded 3-year PhD position in Program Verification
- 16:39, 12 December 2014 (diff | hist) . . (+349) . . Funded 3-year PhD position in Program Verification
- 16:23, 12 December 2014 (diff | hist) . . (-7) . . Funded 3-year PhD position in Program Verification
- 14:05, 12 December 2014 (diff | hist) . . (+20) . . Funded 3-year PhD position in Program Verification
- 14:05, 12 December 2014 (diff | hist) . . (+1,371) . . N Funded 3-year PhD position in Program Verification (Created page with "'''Job Description''' The goal of this PhD is to develop new methods and tools for program verification using Separation Logic. This is a logical framework suitable for reaso...")
- 13:50, 12 December 2014 (diff | hist) . . (+21) . . Jobs
- 13:50, 12 December 2014 (diff | hist) . . (+4) . . Jobs
- 13:50, 12 December 2014 (diff | hist) . . (+82) . . N Jobs (Created page with "* Funded 3-year PhD position in Program Verification at VERIMAG (Grenoble, France)")
- 17:06, 10 December 2014 (diff | hist) . . (-2) . . Main Page