Project Flyspeck cua NSF (USA)
#1
Đã gửi 26-06-2008 - 11:18
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 ).
#2
Đã gửi 08-07-2008 - 12:26
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 ).
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh