发信人: atan (tantan), 信区: Computer
标  题: 上海浦东张江外企--上海纳拓软件有限公司招聘C/C++软件工程师 
发信站: BBS 哈工大紫丁香站 (Sat Nov 25 10:36:29 2006)

纳拓软件（Nextop Software）是一家根植于硅谷和上海张江的新兴高科技软件公司，公司
创始人都曾在美国著名大学获得博士学位，是计算机算法及电子设计自动化(EDA)领域的著
名专家，具有丰富的硅谷产品开发经验。 
纳拓软件为价值数十亿美元的电子设计自动化(EDA)市场提供先进的软件工具．我们开发拥
有多项美国专利算法的软件产品．我们的技术将使硬件IC设计和验证流程发生革命性的变
化。 
纳拓软件拥有硅谷高技术创业文化, 为员工提供一个有朝气, 灵活和愉快的工作环境，优
厚的薪酬及期权, 广阔的发展空间. 最重要的是, 研发人员将参与核心代码的开发, 技术
上的挑战会充分展示他们的天赋，并进一步提高他们的技能． 
纳拓信奉"人"是第一位的资产。我们拥有世界级的团队。现在正在寻找天才的，有远大志
向的和积极的成员与我们一起创业．如果你擅长计算机理论和算法设计，如果你有丰富的
Linux下C++编程和编译器开发经验，如果你对以下的问题感兴趣，欢迎你联系我们（ job
@nextopsoftware.com）。 
Problem 1 : Fast one-hot checker A bit vector is one-hot if and only if there 
is at most one 1 in the vector. For example, 0000 and 00100 are one-hot and 00
110 is not one-hot. Please find the fastest way to check whether a bit vector 
is one-hot or not. 
Problem 2 : 3-Inverter Assume that a module has three Boolean inputs x, y, z a
nd three Boolean outputs X, Y, Z where the outputs are defined as 
X = ~x 
Y = ~y 
Z = ~z 
Note that ~ stands for logical negation. Please realize this module using only
 two NOT gates, and as many as possible AND and OR gates. 
Problem 3 : Is it a loop ? Assume that we have a head pointer to a singly-link
ed list. Can you come up an algorithm to check whether this link list includes
 a loop by using O(n) time and O(1) space where n is the length of the list? F
urthermore, can you do so with O(n) time and only one register? 
Problem 4 : Detect same sequence Assume that we have a m*n matrix A, where m >
 1000 and n > 100000. X_i is a column of the matrix A, where 1 <= i <= m. In o
ther words, A = {X_1, X_2, ..., X_m}. Please find a fast algorithm to detect a
ll pairs (X_i, X_j), where X_i == X_j. 
C/C++高级软件研发工程师 
工作形式： 
- 全职
- 为学生提供实习机会 
工作地点： 
- 上海浦东张江高科技园区 
工作职责： 
- 设计并实现高效的算法和数据结构. 
- 开发一个或多个关键软件组件并且负责他们的接口定义，实现，优化，调试和维护.
- 与本地和海外的项目组成员交流. 
技能要求: 
必须具备: 
1. 团队积极成员并且擅长解决困难的编程和算法问题. 
2. 精通Unix/Linux下的C或者C++语言编程. 
3. 丰富的大型软件开发经验. 
4. 具有计算机系,电子工程系或相关专业的研究生学历； 或3年以上相关工作经验的本科
学历. 
5. 良好的英语交流技能.
优先考虑有一项或多项以下背景的人才: 
1. 熟悉硬件描述语言HDL, 如Verilog等. 
2. 了解RTL设计和验证. 
3. 熟悉UNIX/LINUX环境下的GUI开发.
4. 熟悉Perl, Tcl/Tk. 
5. 具备电子自动化设计背景，如EDA或者ICCAD. 
6. 具备数理逻辑及计算机理论背景. 
7. 熟悉yacc/lex和编译原理. 
--
曾梦想仗剑走天涯
看一看世界的繁华
年少的心总有些轻狂
如今已四海为家

※ 来源:·哈工大紫丁香 http://bbs.hit.edu.cn·[FROM: 161.88.255.139]