AdaCore Company
Industry: Company
DescriptionFounder: Robert Dewar Founded: 1994 Headquarters: New York City, NY
AdaCore List of Employees There's an exhaustive list of past and present employees! Get comprehensive information on the number of employees at AdaCore. You can filter them based on skills, years of employment, job, education, department, and prior employment.
AdaCore Salaries. You can even request information on how much does AdaCore pay if you want to. Learn about salaries, pros and cons of working for AdaCore directly from the past employees.
Find People by Employers You can rekindle an old relationship, reconnect with a long-lost friend, former boss, business acquaintance who might be useful in your new line of work. With our employee database, the possibilities are endless. All you have to do is type in a couple of keywords and we'll bring you the exact information you wanted!
16 AdaCore employees in database. Find out everything there's to know about AdaCore employees. We offer you a great deal of unbiased information from the internal database, personal records, and many other details that might be of interest to you.
AdaCore Employees
Google June 2015 - Present
Amazon April 2015 - May 2015
Amazon.com 2012 - April 2015
AdaCore 2000 - 2012
Skills
Scalability, Perl, Algorithms, Distributed Systems, Java, Software Development, Software Engineering, Object Oriented Design, Git, Subversion, Software Design, OOP, Python, Shell Scripting, REST, Embedded Software, Linux, C, Eclipse, Computer Science, Agile Methodologies, Unix, C++
Education
New York University 1997 — 2000
Bachelor of Science (BS), Computer Science
AdaCore July 2012 - Present
AdaCore July 2012 - December 2014
AdaCore February 2000 - June 2012
Aonix/Alsys 1983 - 2000
Stanford University January 1982 - July 1983
Skills
VxWorks, Software Engineering, Embedded Software, Software Design, Software Development, C, DO-178B, System Architecture, Organizational Design, organizational..., strategy
Education
Stanford University 1980 — 1982
MS, Computer Science / Computer Engineering
Western Connecticut State University 1977 — 1980
BA, Mathematics, Magna cum Laude
Boston College 1969 — 1971
none, Psychology
AdaCore Senior Sofware EngineerAonix1995 - 2000
Education
Amherst College 1963 — 1967
Security Critical Technologies, Inc February 2013 - Present
AdaCore October 1999 - November 2012
Silicon Graphics April 1988 - October 1999
Daisy Systems September 1982 - November 1986
Skills
Distributed Systems, Software Engineering, Embedded Systems, Software Development, Eclipse, Software Design, System Design, Simulations, Computer Science, System Architecture, Linux
Education
The University of Texas at Austin 1972 — 1976
BS, Computer Science
Keystone School - High School
The IDEA Center December 2008 - Present
AdaCore January 2009 - June 2009
Kansas State University May 2002 - December 2008
Loudfire December 2000 - August 2001
Innovision Corporation May 1998 - November 2000
Information Systems Office, K-State August 1998 - May 1999
Air Intelligence Agency, USAF May 1998 - August 1998
Information Systems Office, K-State May 1996 - May 1998
Skills
Java, Grails, Git, Jenkins, Eclipse, DocBook, Github, Subversion, Ant, XML, Apache, Software Development, Linux, HTML, Agile Methodologies, Testing, Tomcat, Software Engineering, Web Development, Agile Testing, Software Solution..., JUnit, Automated Software..., Selenium Testing, RESTful WebServices, APIs
Education
Kansas State University 1998 — 2002
Master of Science, Computer Science
Kansas State University 1995 — 1998
Bachelor of Science, Computer Science
University of Missouri-Rolla 1994 — 1995
Computer Science
Amazon May 2015 - August 2015
AdaCore May 2014 - August 2014
New York University September 2012 - January 2014
New York University January 2013 - May 2013
Fudan University December 2008 - July 2012
Synovate February 2012 - May 2012
Education
New York University 2014 — 2015
Master's Degree, Computer Science, 3.8
New York University 2012 — 2013
Master's Degree, Biomathematics, Bioinformatics, and Computational Biology, 3.7
Fudan University 2008 — 2012
Bachelor of Science (BS), Biology, General
Rolex Watch USA February 2015 - Present
New York Jidokwan June 2011 - February 2014
AdaCore 2010 - February 2014
Samsung C&T America, Inc. July 2010 - November 2010
Skills
Customer Service, Research, Program Development, Small Business, Leadership, Social Media, Public Speaking, Communication, Logistics, SAP, Korean, Administration
Education
New York University 2003 — 2008
Bachelor's Degree
AdaCore June 2005 - Present
Skills
Software Engineering, Software Development, Software Design, Algorithms, Ada programming, Computer Science, Compilers, Compiler Construction, Programming Languages, Subversion, Java, Git, MISRA C, Code Generation, SPARK 2014, C
Education
New York University 2003 — 2005
Master of Science (M.S.), Computer Science
The George Washington University 1999 — 2003
Bachelor of Science (B.S.), Computer Science
AdaCore 2000 - Present
Ada Core Technologies, Inc. 2000 - Present
Alsys 1983 - 1991
Intermetrics 1973 - 1983
Education
Amherst College 1963 — 1967
BA, Mathematics
Harvard University
MS, PhD, Applied Math
AdaCore November 2007 - Present
Harris Corporation 2004 - 2007
Aonix Corporation 1999 - 2004
Aonix 1999 - 2004
GTE Government Systems 1998 - 1999
Skills
Leadership, Channel Partners, Enterprise Software, Management, Selling
Education
The George Washington University 1995 — 1997
BS, Mechanical Engineering
Northern Virginia Community College 1992 — 1995
Verocel, Inc. June 2013 - Present
AdaCore 2003 - May 2013
Aonix 1990 - 2003
Skills
Aerospace, Embedded Systems, Linux, C, Systems Engineering, DO-178B, Embedded Software, Benchmarking, Software Engineering, RTOS, Safety Critical Software, Software Development, Subversion, Distributed Systems, Eclipse, System Architecture
Education
University of Massachusetts Dartmouth
MongoDB May 2014 - Present
AdaCore October 1999 - April 2014
ACT Europe September 1997 - September 1999
Bosch Software & Services January 1995 - October 1997
Skills
Software Engineering, Software Design, Distributed Systems, Compilers, Computer Architecture, Concurrent Programming, Algorithms, MongoDB, Databases, Embedded Software, Numerical Analysis, Ada programming, C, C++, Embedded Systems, Unix, Linux, Unix Shell Scripting, VHDL, Object Oriented Design, DO-178B
Education
New York University 1999 — 2003
MS, Computer Science
Twente University 1990 — 1995
Bachelor's degree, Computer Science
Marnix College 1984 — 1990
AdaCore September 2001 - Present
Ada Core August 1995 - August 2001
Directions for Our Youth July 1994 - July 1995
Skills
Grants, System Administration, Microsoft Excel, Start-ups, Community Outreach, Fundraising, Nonprofits, Public Speaking, Strategic Planning, Leadership Development, Training, Leadership, Budgets, Organizational..., Program Management
Education
New York University 1989 — 1992
Bachelor of Arts (B.A.), English Literature (British and Commonwealth)
Silberman School of Social Work at Hunter College
AdaCore November 1995 - Present
EG&G Washington Analytical October 1986 - March 1992
US Navy October 1983 - October 1986
Skills
VxWorks, Embedded Systems, QEMU, Software, Ada, Linux, VMS, Interix, Fortran, Hydropower, Submarines, C++, Software Engineering, Distributed Systems, Embedded Software, RTOS, DO-178B, Embedded Linux, GCC, Ada programming, Unix
Education
George Mason University 1988 — 1990
Master of Science (MS)
Naval Officer Candidate School 1983 — 1983
Commissioned as an Ensign in the US Navy
Brigham Young University 1974 — 1979
Bachelor of Science (BS)
Alliance Francaise, Paris, FR