วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีคืออะไร

นอกเหนือจากภาคการศึกษาซึ่งเป็นที่ตั้งของนักทฤษฎีอย่างชัดเจนแล้วฉันก็สงสัยว่างานอุตสาหกรรมที่เกี่ยวข้องกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีเป็นสิ่งที่ต้องการภูมิหลังทางคณิตศาสตร์ที่บริสุทธิ์

ไชโย!

career computational-mathematics

— usul
แหล่งที่มา

มีงานที่ทำงานให้กับ บริษัท ที่ทำการวิจัยที่บริสุทธิ์หรือเกือบบริสุทธิ์ แต่คุณอาจพิจารณาว่าพวกเขาเป็นนักวิชาการ

— usul

คุณสามารถรหัสได้หรือไม่ คุณรู้วิธีใช้สิ่งที่คุณเรียนรู้ในโรงเรียนเพื่อออกแบบอัลกอริทึมที่มีประสิทธิภาพสำหรับปัญหาที่เกิดขึ้นจริงหรือไม่? คุณรู้วิธีพูดคุยกับวิศวกรและหาว่าปัญหาการคำนวณที่แสดงถึงความช่วยเหลือจริง ๆ นั้นมีอะไรบ้าง? คุณสนใจที่จะทำสิ่งนี้หรือไม่?

— Peter Shor

ฉันไม่ได้อธิบายงานเดียว ฉันทำงานที่ Bell Labs / AT & T Labs เป็นเวลา 17 ปีและฉันอธิบายความสามารถที่ทำให้นักวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีมีประโยชน์ในอุตสาหกรรม หากคุณไม่มีความสามารถเหล่านี้คุณอาจจะไม่สามารถหางานในอุตสาหกรรมได้ (หรือถ้าคุณทำได้คุณจะไม่อยู่ที่นั่นนาน) หากคุณมีความสามารถทั้งหมดนี้คุณจะมีค่าต่อนายจ้างหลายราย หากคุณสามารถโน้มน้าวให้นายจ้างที่มีศักยภาพในเรื่องนี้คุณควรจะดี

— Peter Shor

แนะนำ? นี่อาจเป็นอคติต่อมุมมองของ Bell Labs ในอุตสาหกรรมของฉัน แต่: รับการฝึกเขียนโค้ดจำนวนมาก เรียนรู้อัลกอริทึมมากมาย บางทีการเพิ่มประสิทธิภาพบางอย่าง ใช้หลักสูตรการสร้างแบบจำลองทางคณิตศาสตร์ / การคำนวณ (ฟิสิกส์ของคุณจะช่วยได้ที่นี่) ค้นหาการฝึกงาน บางทีคุณอาจจะไม่ได้งานอุตสาหกรรมในการวิจัย (แม้ว่าคุณจะโชคดี) แต่คุณควรจะได้งานอุตสาหกรรมที่น่าสนใจทางปัญญา ( แต่ถ้าคุณวางแผนที่จะไปลงในคอมพิวเตอร์ควอนตัมก็เป็นรายการที่แตกต่างกันของสิ่งและถ้าคุณต้องการมีอาชีพทำทฤษฎีความซับซ้อนคุณควรอาจจะมองไปที่สถาบันการศึกษา..)

— ปีเตอร์เชอร์

@Stella Biderman: สถานที่เหล่านี้หมดหวังสำหรับผู้ที่รู้ทั้งวิทยาการคอมพิวเตอร์ขั้นสูงและฟิสิกส์ควอนตัม คุณไม่ต้องการปริญญาเอก ฉันคาดว่าชุดวิชาควอนตัมฟิสิกส์ระดับปริญญาตรีทั้งหมดจะมีมากเกินพอ

— Peter Shor

คำตอบ:

ฉันมีพื้นฐานทฤษฎี CS และทำงานในอุตสาหกรรมที่ทำวิจัยที่ บริษัท ที่ปรึกษา เราได้รับการว่าจ้างจากผู้ที่ต้องการใช้คอมพิวเตอร์หลายรุ่นและไม่มีความเชี่ยวชาญในการสร้างมันเอง นี่คือ (บางส่วน) งานวิจัยเพราะโดยทั่วไปแล้วลูกค้าของเรามักจะไม่สนใจในงานวิชาการดังนั้นสัญญาของเรามักจะส่งผลให้เราสร้างแบบจำลองและเทคนิคใหม่ ๆ ที่ทำงานในบริบทของพวกเขา ขณะนี้ฉันกำลังทำงานนำเสนอโปสเตอร์เพื่อการประชุมทางวิชาการ แต่หนึ่งในวิธีการทางรัฐศาสตร์มากกว่า CS

กลุ่มของฉันมีความเชี่ยวชาญในการเรียนรู้ของเครื่องและการวิเคราะห์เครือข่ายทางสังคมหรือที่เรียกว่าพีชคณิตเชิงเส้นประยุกต์และทฤษฎีกราฟ ลูกค้าของเรามักจะสนใจที่จะใช้สิ่งนี้กับหัวข้อต่าง ๆ เช่นความสัมพันธ์ระหว่างประเทศโลจิสติกส์การค้าระหว่างประเทศและความปลอดภัยทางไซเบอร์ เพื่อนร่วมงานของฉันมีภูมิหลังเช่นปริญญาเอกสาขาคณิตศาสตร์ประยุกต์ปริญญาเอกสาขาวิทยาศาสตร์สังคมคอมพิวเตอร์และปริญญาโทสาขาภาษาศาสตร์คอมพิวเตอร์ ฉันเป็นนักทฤษฎีในกลุ่มของฉันและได้รับการว่าจ้างโดยเฉพาะสำหรับความรู้คณิตศาสตร์ที่บริสุทธิ์ของฉัน ฉันทำงานเกี่ยวกับการออกแบบและการตรวจสอบความถูกต้องเป็นหลักโดยเฉพาะอย่างยิ่งเกี่ยวกับการใช้ประโยชน์จากโครงสร้างทางทฤษฎีของกราฟในปรากฏการณ์ที่ถูกสร้างแบบจำลองเพื่อแจ้งการออกแบบโมเดล ฉันยังเป็นบุคคลสำคัญในการตรวจสอบงานวิจัยใหม่และประเมินว่ามันเหมาะสมกับสิ่งที่เรากำลังทำงานอยู่หรือไม่

ฉันขอแนะนำทักษะที่แนะนำของ Peter Shor เป็นอย่างยิ่ง กุญแจสู่การเป็นนักทฤษฎีที่ประสบความสำเร็จในอุตสาหกรรมคือการสามารถเป็นสะพานเชื่อมระหว่างวิศวกรนักวิเคราะห์ข้อมูลและนักพัฒนาได้ด้วยมือเดียวและนักวิชาการในอีกด้านหนึ่ง

— Stella Biderman
แหล่งที่มา

"กลุ่มของฉันมีความเชี่ยวชาญในการเรียนรู้ของเครื่องและการวิเคราะห์เครือข่ายทางสังคมหรือที่เรียกว่าพีชคณิตเชิงเส้นประยุกต์และทฤษฎีกราฟ" คำพูดนี้ช่างน่ายินดีอย่างยิ่งที่ฉันถูกบังคับให้แสดงความชื่นชมต่อสิ่งนี้ :)

— Neel Krishnaswami

"บริษัท ที่ปรึกษา", "สะพานเชื่อมระหว่างนักวิชาการและวิศวกร" คุณจะอธิบายเพิ่มเติมหรือไม่ โดเมนที่ บริษัท เหล่านั้นทำงานอยู่ข้างๆตัวอย่างของคุณคืออะไร

@Stella Biderman คุณจะแนะนำและอธิบายให้ฉันสองสามโดเมนที่เกี่ยวข้องกับสิ่งที่ทับซ้อนกันระหว่างคณิตศาสตร์และการคำนวณทางเทคนิคหรือไม่โดยเฉพาะอย่างยิ่งทฤษฎีการคำนวณ

ทฤษฎีเกี่ยวกับออโตมาตะ, ภาษาทางการ, ไวยากรณ์เป็นทางการ, ทฤษฎีการคำนวณ .... มีความต้องการ / การใช้งานเหล่านี้ในงานอุตสาหกรรมหรือไม่?

— เคท

ToC สามารถเห็นแอปพลิเคชั่นมากมายหรือน้อยมากขึ้นอยู่กับสิ่งที่กำลังพูดถึง ชุดรูปแบบพื้นฐานในแอปพลิเคชันที่ฉันพูดถึงในคำตอบของฉันคือการมีโครงสร้างเครือข่ายดังนั้นฉันจึงใช้ทฤษฎีกราฟเป็นจำนวนมาก ทฤษฎีกราฟเชิงสเปกตรัมใช้วิธีการที่ทันสมัยมากมายสำหรับการวิเคราะห์เครือข่าย ทฤษฎีสารสนเทศเป็นที่นิยมมากขึ้นในการตรวจจับความผิดปกติ ในทางตรงกันข้ามทฤษฎีความซับซ้อนและความสามารถคำนวณได้เห็นแอปพลิเคชั่นน้อยมากเพราะมันถูกตัดการเชื่อมต่อจากการคำนวณจริง ความซับซ้อนอย่างละเอียดเป็นสิ่งที่เห็นได้จากการใช้งานเช่น GKR

— Stella Biderman

John Cook เป็นหมอที่ใช้คณิตศาสตร์ในการแก้ปัญหา บริษัท https://johndcook.com