浦东张江外企--纳拓软件招聘C/C++软件工程师

浦东张江外企--纳拓软件招聘C/C++软件工程师
发信站: 饮水思源 (2007年01月04日12:58:11 星期四)

上海浦东张江外企--上海纳拓软件有限公司招聘C/C++软件工程师


纳拓软件（Nextop Software）是一家根植于硅谷和上海张江的新兴高科技软件
公司，公司创始人都曾在美国著名大学获得博士学位，是电子设计自动化(EDA)
领域的著名专家，具有丰富的硅谷产品开发经验。

纳拓软件为价值数十亿美元的电子设计自动化(EDA)市场提供先进的软件工具．
我们的技术将使硬件IC设计和验证流程发生革命性的变化。公司的短期目标是开
发拥有多项美国专利算法的软件产品,占领欧美及亚太市场；长期目标是发展成为
EDA行业领先的软件企业．

纳拓软件拥有硅谷高技术创业文化, 为员工提供一个有朝气, 灵活和愉快的工作
环境，优厚的薪酬及期权, 广阔的发展空间. 最重要的是, 研发人员将参与核心
代码的开发, 技术上的挑战会充分展示他们的天赋，并进一步提高他们的技能．

纳拓信奉“人”是第一位的资产。我们拥有世界级的团队。现在正在寻找天才的，
有远大志向的和积极的成员与我们一起创业．如果你是一名EDA综合或硬件验证
领域的专家，如果你有丰富的Linux下C++编程和编译器开发的经验，如果你对
以下的问题感兴趣，欢迎你联系我们（job@）。 

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 00110 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 logical blackbox has three Boolean inputs x, y, z and 
three Boolean outputs X, Y, Z where the outputs are defined as 

 X = ~x  

 Y = ~y  

 Z = ~z  

Note that ~ stands for a NOT gate. Please realize this blackbox 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 link-list. Also assume that 
we know the list is single-linked. 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? Furthermore, 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 both m >= 1K and n >= 100K. X_i is 
a row vector of A where 1 <= i <= m. In other words, A = {X_1, X_2, ..., X_m}.
 
Please find a fastest algorithm to detect all 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. 熟悉yacc/lex和编译原理.