- Battelle Memorial Institute (Columbus, OH)
- …closely related area of expertise are still encouraged to apply.) + Algebra, Number Theory , Cryptography + Graph Theory + Quantum Physics, Mathematical ... Simulation + Symbolic Computation or Solvers + Dynamical Systems, Control Theory , Stochastic Processes, Operations Research, or ODEs + Demonstrated experience… more
- Cadence Design Systems, Inc. (Austin, TX)
- …possible R&D projects (Fastspice event-driven algorithms, circuit partitioning, graph traversal, circuit detection, multi-threading, memory/cpu optimization) and be ... responsible for advancing and creating state-of-the-art circuit simulation technologies and solutions. Our ideal candidate must be proficient in C/C++ Unix development. + A thorough knowledge of transistor-level circuit behavior, such as… more
- University of South Carolina (Columbia, SC)
- …theory and existing research areas in the Department, such as analysis, applied mathematics, graph theory , number theory , or data science; and 3) provide ... mathematics courses at all levels, as well as probability theory courses at the graduate level; and 2) contribute...include, but are not limited to, stochastic analysis, ergodic theory , random matrix theory , random graphs, and… more
- Lockheed Martin (Fort Worth, TX)
- …decision making and theory of mind *Solid mathematical foundation: linear algebra, graph theory *Game theory , control theory , optimization, ... intelligence, and machine learning\. A strong background in signal processing theory and application \(radar, communication, electronic warfare, sonar, audio, or… more
- Auburn University (Auburn, AL)
- …and Numerical PDE's - **Advised by Dr. Yanzhao Cao** + Probabilistic Graph Theory (Network Traversal Optimization, Operations Research, Probabilistic Graph ... Dr. Brian Freidin** + Analysis of Partial Differential Equations and Spectral Theory - **Advised by Dr. Selim Sukhtaiev** **Minimum Qualifications** Applicants must… more
- Amazon (Cupertino, CA)
- …development experience - 2+ years of experience developing compiler optimization, graph - theory , hardware bring-up, FPGA placement and routing algorithms, or ... limited to instruction scheduling, memory allocation, data transfer optimization, graph partitioning, parallel programing, code generation, Instruction Set Architectures,… more
- Citizenship and Immigration Services (Camp Springs, MD)
- …and produce recommendations on how algorithms can be used in the organization to solve graph matching problems in graph theory . Represent FOD and/or the ... Agency at meetings and conferences; respond to ad-hoc projects; complete research projects that arise from other projects within FOD; train employees in new and existing procedures and protocols; and serve as an consultant. Coordinate with information… more
- NVIDIA (Santa Clara, CA)
- …in software development with C++ + Good understanding of computational geometry and graph theory + Familiarity with VLSI floorplan concepts such as routability, ... position broadly spans all levels of development from computational geometry to graph optimization and visualization. Constant creativity and a self-drive to explore… more
- Genentech (South San Francisco, CA)
- …data. + Familiarity with machine learning topics such as representation learning, graph theory , interpretability, and feature disentanglement. + Familiarity with ... scRNA-seq data, GWAS data, and human genetics. + Track record of tackling challenging biological problems with advanced computational methods. **Preferred Knowledge, Skills, and Qualifications** + Excellent communication, collaboration, and interpersonal… more
- Themis Insight (Omaha, NE)
- …missing data, time series), advanced mathematical foundations (eg numerical methods, graph theory ), artificial intelligence, workflow and reproducibility, data ... management and curation, data modeling and assessment (eg model selection, evaluation, and sensitivity analysis), experience as a data scientist working to support a single or multiple domain areas, and/or software engineering. Experience in more than three… more
- Iowa State University (Ames, IA)
- …interests of Prof. Bernard Lidicky and Prof. Shira Zerbib. This includes graph theory , discrete geometry, topological combinatorics, extremal combinatorics, and ... flag algebras. The position has a 2-1 teaching load and a requirement to be involved with mentoring undergraduate students in research through the Iowa State Math Research Teams (ISMaRT, https://sites.google.com/view/ismart-iastate ). Required Minimum… more
- Cadence Design Systems, Inc. (Austin, TX)
- …algebra, computational electromagnetics, parallel numerical algorithms), EDA algorithms based on graph theory , or software optimization is required. Applicant ... should be a candidate for an advanced degree in the electrical engineering, computer science, or related field. Understanding of analog/memory/custom IC design and verification practices is a strong plus. We're doing work that matters. Help us solve what… more
- Meta (Fremont, CA)
- …and ranking 17. Demonstrated grasp of data structures and algorithms, including graph theory and optimization techniques **Public Compensation:** $85.10/hour to ... $251,000/year + bonus + equity + benefits **Industry:** Internet **Equal Opportunity:** Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex… more
- Cadence Design Systems, Inc. (San Jose, CA)
- …used by designers across multiple verticals. We use advanced math, computer science, graph theory and machine learning to turn design concepts into reality. ... Responsibilities will include software development, debugging and fixing of software errors, implementing new features, along with writing and running tests. Position Requirements: + Enrolled in a MS or BS program in computer science, electrical engineering,… more
- Meta (Sunnyvale, CA)
- …20. Demonstrated experience with data structures and algorithms, including graph theory and optimization techniques **Public Compensation:** $213,000/year ... to $293,000/year + bonus + equity + benefits **Industry:** Internet **Equal Opportunity:** Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex… more
- MIT Lincoln Laboratory (Lexington, MA)
- …Group combines expertise in deep learning, computer vision, natural language processing, graph theory , big data architectures, operations research, and system ... autonomy. The group's mission is to enhance national security by leading the nation in developing and deploying advanced decision support systems that leverage cutting-edge AI and machine learning technologies. The group is seeking motivated graduate students… more
- Cadence Design Systems, Inc. (San Jose, CA)
- …end compute servers to your favorite tablet. We use advanced math, computer science, graph theory and machine learning to solve challenging problems. Many of our ... customers (top semiconductor companies), government research agencies and universities have partnered with us on this journey. Responsibilities will include software development, debug and fixing of software errors, implementing new features, and writing and… more
- University of Virginia (Charlottesville, VA)
- …+ Machine Learning and Analytics (eg, predictive modeling, algorithm development, statistical methods, graph theory ) The school is open to all areas of research ... and scholarship in data science. Presently, the school is especially looking to grow in the following areas. + Generative AI, large language models, and trustworthy AI + Health data science (eg, neuroscience, biomedicine, and genetics/genomics) + Data and… more
- University of Virginia (Charlottesville, VA)
- …+ Machine Learning and Analytics (eg, predictive modeling, algorithm development, statistical methods, graph theory ) The school is open to all areas of research ... and scholarship in data science. Presently, the school is especially looking to grow in the following areas. + Generative AI, large language models, and trustworthy AI + Health data science (eg, neuroscience, biomedicine, and genetics/genomics) + Data and… more
- Lockheed Martin (Arlington, VA)
- …Intelligence \(AI\) and Machine Learning \(ML\) techniques \(e\.g\., reinforcement learning, graph neural networks, game theory , causal fusion, neuro\-symbolic ... reasoning, GenAI \) \- Formal methods for assurance, optimization, and verification/validation \(e\.g\., formal specification, model\-checking, theorem proving, reactive synthesis, cyber\-physical systems\.\.\.\) \- Safety\-critical Systems Engineering:… more
