Đến nội dung

Hình ảnh

Project Flyspeck cua NSF (USA)

- - - - -

  • Please log in to reply
Chủ đề này có 1 trả lời

#1
noproof

noproof

    Trung sĩ

  • Thành viên
  • 104 Bài viết
Project Flyspeck của NSF (USA) cần tìm sinh viên đang học ngành Toán, có tư duy tốt
về logic, biết sử dụng máy tính, biết tiếng Anh chuyên ngành. Công việc partime, có
thể làm tại nhà.

Công việc cụ thể là dùng chương trình HOL Light (có thể download miễn phí từ internet) để viết lại các chứng minh của giả thuyết Kepler cho máy tính.

Có thể tìm đọc chứng minh và một số ví dụ của công việc từ trang web:
http://code.google.com/p/flyspeck/

Tiền lương phụ thuộc vào khối lượng công việc thực hiện được (trung bình khỏang
200-400$/tháng).

Ưu tiên hơn cho sinh viên học ở các lớp tài năng, gia đình có hòan cảnh khó khăn.

Chi tiết xin liên hệ: 0989244910
Hoặc phòng 116, viện Toán học, 18 Hoàng Quốc Việt (Điện thoại: 04 7563474, số máy lẻ 116).

Thời gian: đến hết ngày 15/7/2008


Chú thích: (1) Tớ chỉ là người đưa thông tin, mọi thắc mắc có thể hỏi trực tiếp đến địa chỉ, số điến thoại ở trên.
(2) Nếu Ban quản lý diễn đàn nếu thấy đây là một bài spam, không đúng với Mục này thì làm ơn gửi vào Mục Quán cóc, đừng xóa, vì dù sao đây là một cơ hội cho những người nghèo (như tớ chẳng hạn :D ).

#2
htt1084

htt1084

    Lính mới

  • Thành viên
  • 1 Bài viết
Anh ơi, cái project này chính là cái của Thomas Hales đó ạ ? Em nghe nói tháng 6 năm nay ông ấy lại sang Việt Nam làm việc tiếp, mà giờ tháng 7 rồi vẫn chưa thấy là sao hả anh ?

Project Flyspeck của NSF (USA) cần tìm sinh viên đang học ngành Toán, có tư duy tốt
về logic, biết sử dụng máy tính, biết tiếng Anh chuyên ngành. Công việc partime, có
thể làm tại nhà.

Công việc cụ thể là dùng chương trình HOL Light (có thể download miễn phí từ internet) để viết lại các chứng minh của giả thuyết Kepler cho máy tính.

Có thể tìm đọc chứng minh và một số ví dụ của công việc từ trang web:
http://code.google.com/p/flyspeck/

Tiền lương phụ thuộc vào khối lượng công việc thực hiện được (trung bình khỏang
200-400$/tháng).

Ưu tiên hơn cho sinh viên học ở các lớp tài năng, gia đình có hòan cảnh khó khăn.

Chi tiết xin liên hệ: 0989244910
Hoặc phòng 116, viện Toán học, 18 Hoàng Quốc Việt (Điện thoại: 04 7563474, số máy lẻ 116).

Thời gian: đến hết ngày 15/7/2008
Chú thích: (1) Tớ chỉ là người đưa thông tin, mọi thắc mắc có thể hỏi trực tiếp đến địa chỉ, số điến thoại ở trên.
(2) Nếu Ban quản lý diễn đàn nếu thấy đây là một bài spam, không đúng với Mục này thì làm ơn gửi vào Mục Quán cóc, đừng xóa, vì dù sao đây là một cơ hội cho những người nghèo (như tớ chẳng hạn :in ).






1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh