Computer Science at NYU spans the Courant Institute and the Tandon School of Engineering, located ... formal methods and programming languages, graphics, vision and multimedia, machine learning and ...
Computer Science at NYU spans the Courant Institute and the Tandon School of Engineering, located ... formal methods and programming languages, graphics, vision and multimedia, machine learning and ...
Senior Formal Verification Engineer, GPU Kernels
$143K - $189K/yr
MS or PhD in Computer Science, Compute Engineering or equivalent experience. * 6+ years of relevant work experience. * Formal methods experience: symbolic execution, SMT solving, interactive theorem ...
Senior Formal Verification Engineer, GPU Kernels
$143K - $189K/yr
MS or PhD in Computer Science, Compute Engineering or equivalent experience. * 6+ years of relevant work experience. * Formal methods experience: symbolic execution, SMT solving, interactive theorem ...
Formal Verification - AI/ML Engineer
$181K - $318K/yr
Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical ...
Formal Verification - AI/ML Engineer
$181K - $318K/yr
Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical ...
Formal Verification - AI/ML Engineer
$181K - $318K/yr
Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical ...
Formal Verification - AI/ML Engineer
$181K - $318K/yr
Familiarity with formal methods, SAT/SMT solvers, model checking, or theorem proving. Experience with code generation or analysis tasks using LLMs. MS or PhD in Computer Science, Electrical ...
Full-Time Computer Science Faculty
$80K - $100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Full-Time Computer Science Faculty
$80K - $100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Full-Time Computer Science Faculty
Manhattan, NY · On-site
$100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Full-Time Computer Science Faculty
Manhattan, NY · On-site
$100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Full-Time Computer Science Faculty
Manhattan, NY · On-site
$100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Full-Time Computer Science Faculty
Manhattan, NY · On-site
$100K/yr
Hold regular office hours and continuously work on improving classes and teaching methodologies ... Mentor adjunct instructors, including conducting both informal and formal observations of selected ...
Computer Science Teacher
Villa Park, IL · On-site
$49K - $68K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Quick apply
Computer Science Teacher
Villa Park, IL · On-site
$49K - $68K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Computer Science Teacher
Villa Park, IL · On-site
$50K - $55K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Computer Science Teacher
Villa Park, IL · On-site
$50K - $55K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Computer Science Teacher
$49K - $68K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Computer Science Teacher
$49K - $68K/yr
Incorporate innovative teaching methods and technology tools to enhance learning experiences ... Stay current with advancements in computer science and educational best practices * Collaborate ...
Computer Science Teacher
Boston, MA · On-site
$54K - $75K/yr
Design formal and informal assessments that measure student progress. Employ a variety of formative ... Bachelor's degree in computer science or a related field are required. * Advanced studies ...
Computer Science Teacher
Boston, MA · On-site
$54K - $75K/yr
Design formal and informal assessments that measure student progress. Employ a variety of formative ... Bachelor's degree in computer science or a related field are required. * Advanced studies ...
Experience with SystemVerilog Assertions (SVA) and formal verification methods. Preferred qualifications: * Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science ...
Experience with SystemVerilog Assertions (SVA) and formal verification methods. Preferred qualifications: * Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science ...
... methods to cater to diverse learning styles, including project-based, hands-on, and lab-based ... computer science, including robotics, cybersecurity, data analytics, and Artificial Intelligence ...
... methods to cater to diverse learning styles, including project-based, hands-on, and lab-based ... computer science, including robotics, cybersecurity, data analytics, and Artificial Intelligence ...
Computer Science Instructor
New Rochelle, NY · On-site
$47K - $60K/yr
... methods to cater to diverse learning styles, including project-based, hands-on, and lab-based ... computer science, including robotics, cybersecurity, data analytics, and Artificial Intelligence ...
Computer Science Instructor
New Rochelle, NY · On-site
$47K - $60K/yr
... methods to cater to diverse learning styles, including project-based, hands-on, and lab-based ... computer science, including robotics, cybersecurity, data analytics, and Artificial Intelligence ...
Assistant/Associate Professor of Computer Science City: West Lafayette Job Summary The Department ... formal methods for AI systems; as well as applications of AI in the life sciences. We are also ...
Assistant/Associate Professor of Computer Science City: West Lafayette Job Summary The Department ... formal methods for AI systems; as well as applications of AI in the life sciences. We are also ...
Principal Scientist
Portland, OR · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Principal Scientist
Portland, OR · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Principal Scientist
Dayton, OH · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Principal Scientist
Dayton, OH · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Principal Scientist
Dayton, OH · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Principal Scientist
Dayton, OH · On-site
Formal Methods Experience: Ph.D. (or equivalent) in Computer Science, Applied Mathematics, or a related field, with a track record of high-quality research (publications, patents, or open-source ...
Formal Methods Computer Science information
What is the difference between Formal Methods Computer Science vs Software Engineer?
| Aspect | Formal Methods Computer Science | Software Engineer |
|---|---|---|
| Required Credentials | Degree in Computer Science, Mathematics, or related field; certifications in formal methods | Degree in Computer Science or Software Engineering; coding certifications often preferred |
| Work Environment | Research labs, safety-critical industries, academia | Tech companies, startups, enterprise software development |
| Industry Usage | High-assurance systems, aerospace, defense, safety-critical applications | Web, mobile, enterprise applications, general software development |
| Comparison Search Intent | Understanding specialized roles in formal verification and correctness | General software development and coding practices |
Formal Methods Computer Science focuses on mathematically verifying software correctness, often in safety-critical industries. Software Engineers develop and maintain a wide range of software applications. While both roles require a strong foundation in computer science, Formal Methods Computer Science emphasizes formal verification techniques, whereas Software Engineers focus on coding, system design, and implementation.
What cities are hiring for Formal Methods Computer Science jobs? Cities with the most Formal Methods Computer Science job openings:
Full-time
Posted 5 days ago
New York University rating
8.3
Based on 43 frontline employees who took The Breakroom Quiz
95th of 532 rated colleges and universities
Job description
Description
New York University expects to have several tenure-track faculty positions in Computer Science and invites candidates at all levels and all research areas to apply.
Faculty members are expected to be outstanding scholars and to participate in teaching at all levels, from undergraduate to doctoral. New appointees will be offered competitive salaries and startup packages.
Computer Science at NYU spans the Courant Institute and the Tandon School of Engineering, located across two vibrant campuses in Manhattan and Brooklyn, and consists of 93 regular faculty members as well as contract, research, adjunct, and visiting faculty members. Research activities span algorithms, cryptography and theory, computational biology and health, data management and mining, distributed computing and networking, formal methods and programming languages, graphics, vision and multimedia, machine learning and data science, natural language processing, scientific computing, as well as security and privacy.
Collaborative research with industry is facilitated by geographic proximity to computer science activities at Facebook, Google, DeepMind, Amazon, Microsoft Research, IBM, Bell Labs, AT&T Research, Flatiron Institute, and many other companies with research divisions in the NYC area.
In compliance with NYC's Pay Transparency Act, the annual base salary ranges for this position are as follows: For the rank of Assistant Professor, $145,000 - $185,000; for the rank of Associate Professor, $155,000 - $225,000; and for the rank of Full Professor, $225,000 - $325,000. New York University considers factors such as (but not limited to) the scope and responsibilities of the position, the candidate's work experience, education/training, key skills, and internal peer equity, as well as market and organization considerations.
Qualifications
A PhD in Computer Science or a related area is required. Successful candidates are expected to pursue an active research program and contribute significantly to the department's teaching programs.
Application Instructions
Applicants should submit a CV, research statement, teaching statement, three confidential letters of recommendation, and three of your most significant publications, software, or research products. All application materials should be uploaded through Interfolio. For full consideration, we recommend that applicants apply by December 15, 2025, though we will continue to review applications past that date as needed.
New York University expects to have several tenure-track faculty positions in Computer Science and invites candidates at all levels and all research areas to apply.
Faculty members are expected to be outstanding scholars and to participate in teaching at all levels, from undergraduate to doctoral. New appointees will be offered competitive salaries and startup packages.
Computer Science at NYU spans the Courant Institute and the Tandon School of Engineering, located across two vibrant campuses in Manhattan and Brooklyn, and consists of 93 regular faculty members as well as contract, research, adjunct, and visiting faculty members. Research activities span algorithms, cryptography and theory, computational biology and health, data management and mining, distributed computing and networking, formal methods and programming languages, graphics, vision and multimedia, machine learning and data science, natural language processing, scientific computing, as well as security and privacy.
Collaborative research with industry is facilitated by geographic proximity to computer science activities at Facebook, Google, DeepMind, Amazon, Microsoft Research, IBM, Bell Labs, AT&T Research, Flatiron Institute, and many other companies with research divisions in the NYC area.
In compliance with NYC's Pay Transparency Act, the annual base salary ranges for this position are as follows: For the rank of Assistant Professor, $145,000 - $185,000; for the rank of Associate Professor, $155,000 - $225,000; and for the rank of Full Professor, $225,000 - $325,000. New York University considers factors such as (but not limited to) the scope and responsibilities of the position, the candidate's work experience, education/training, key skills, and internal peer equity, as well as market and organization considerations.
Qualifications
A PhD in Computer Science or a related area is required. Successful candidates are expected to pursue an active research program and contribute significantly to the department's teaching programs.
Application Instructions
Applicants should submit a CV, research statement, teaching statement, three confidential letters of recommendation, and three of your most significant publications, software, or research products. All application materials should be uploaded through Interfolio. For full consideration, we recommend that applicants apply by December 15, 2025, though we will continue to review applications past that date as needed.
What New York University employees say
Pay
Benefits
Hours and flexibility
Workplace
Get the full story on Breakroom
About New York University
Sourced by ZipRecruiter
Since its founding in 1831, NYU has been an innovator in higher education, reaching out to an emerging middle class, embracing an urban identity and professional focus, and promoting a global vision that informs its 20 schools and colleges. Today, that trailblazing spirit makes NYU one of the most prominent and respected research universities in the world, featuring top-ranked academic programs and accepting fewer than one in eight undergraduates. Anchored in New York City and with degree-granting campuses in Abu Dhabi and Shanghai as well as 12 study away sites throughout the world, NYU is a leader in global education, with more international students and more students studying abroad than any other US university.
Industry
Colleges, universities, and professional schools
Company size
10,000+ Employees
Headquarters location
New York, NY, US
Year founded
1831