Experience with programming (Ladder logic, structured text, function block diagram, etc ... OR PhD in a STEM (Science, Technology, Engineering or Mathematics) discipline with 1 years of ...
Experience with programming (Ladder logic, structured text, function block diagram, etc ... OR PhD in a STEM (Science, Technology, Engineering or Mathematics) discipline with 1 years of ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
Mathematics Research Collaborator (Part-time)
$80 - $110/hr
... systems, logic, representation theory, mathematical physics, theoretical computer science ... PhD or postdoctoral training in Mathematics or a closely related STEM discipline from a globally ...
Mathematics Research Collaborator (Part-time)
$80 - $110/hr
... systems, logic, representation theory, mathematical physics, theoretical computer science ... PhD or postdoctoral training in Mathematics or a closely related STEM discipline from a globally ...
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY ยท On-site +1
$115K - $230K/yr
Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory. Preferred Qualifications * PhD in the broader field of ...
Software Engineer (Engineer III to Principal) - Formal Methods
New York, NY ยท On-site +1
$115K - $230K/yr
Demonstrated knowledge of fundamental computer science concepts such as data structures, algorithms, mathematical logic, and automata theory. Preferred Qualifications * PhD in the broader field of ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA ยท On-site
$104K - $142K/yr
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA ยท On-site
$104K - $142K/yr
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
Senior Electrical Design Engineer
Seattle, WA ยท On-site
$118K - $159K/yr
Integrated circuit design examples (power supply decision, cable build, circuit logic are examples ... PhD+4 years' related work experience, Master+7 years' related work experience). In the USA, ABET ...
Senior Electrical Design Engineer
Seattle, WA ยท On-site
$118K - $159K/yr
Integrated circuit design examples (power supply decision, cable build, circuit logic are examples ... PhD+4 years' related work experience, Master+7 years' related work experience). In the USA, ABET ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
BASIC QUALIFICATIONS - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical ...
Software Understanding Researcher (PhD Intern)
Washington, DC ยท On-site
$150 - $200/hr
/ ABOUT ATALANTA Atalanta is a mathematical AI company bringing provably correct decision-making to ... We move fast, but we do so with discipline and logic. We think from first principles and execute ...
Software Understanding Researcher (PhD Intern)
Washington, DC ยท On-site
$150 - $200/hr
/ ABOUT ATALANTA Atalanta is a mathematical AI company bringing provably correct decision-making to ... We move fast, but we do so with discipline and logic. We think from first principles and execute ...
Digital Design Engineer
Lexington, VA ยท On-site
$150 - $200/hr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
Digital Design Engineer
Lexington, VA ยท On-site
$150 - $200/hr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
Digital Design Engineer
Lexington, MA ยท Hybrid
$152K/yr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
Digital Design Engineer
Lexington, MA ยท Hybrid
$152K/yr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
Digital Design Engineer
Lexington, MA ยท Hybrid
$152K/yr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
Quick apply
Digital Design Engineer
Lexington, MA ยท Hybrid
$152K/yr
... PhD in Electrical Engineering, Computer Engineering, Computer Science, Mathematics, Physics, or ... Experience designing and testing programmable logic designs targeting System on Chip (SoC) FPGA ...
... and logic vulnerabilities in firmware at scale * correlate source code and binary data ... Possess a PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a ...
... and logic vulnerabilities in firmware at scale * correlate source code and binary data ... Possess a PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a ...
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Quick apply
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Quick apply
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Level 2 * 2 years' applicable experience with a PhD, OR * 3 years' applicable experience with a ... logic and computation, and advanced mathematics (for example, calculus, discrete mathematics)
Research Scientist, AI & Systems Co-Design (PhD)
Menlo Park, CA ยท On-site
$122K/yr
PhD in Computer Science, Electrical Engineering, Applied Mathematics, or a related technical field ... encompassing logic, architecture, and optimizations for performance, power, and area (Power ...
Research Scientist, AI & Systems Co-Design (PhD)
Menlo Park, CA ยท On-site
$122K/yr
PhD in Computer Science, Electrical Engineering, Applied Mathematics, or a related technical field ... encompassing logic, architecture, and optimizations for performance, power, and area (Power ...
Research Scientist, AI & Systems Co-Design (PhD)
New York, NY ยท On-site
$122K/yr
PhD in Computer Science, Electrical Engineering, Applied Mathematics, or a related technical field ... encompassing logic, architecture, and optimizations for performance, power, and area (Power ...
Research Scientist, AI & Systems Co-Design (PhD)
New York, NY ยท On-site
$122K/yr
PhD in Computer Science, Electrical Engineering, Applied Mathematics, or a related technical field ... encompassing logic, architecture, and optimizations for performance, power, and area (Power ...
Mathematical Logic Phd information
See salary details
$17.31 - $19.69
2% of jobs
$19.69 - $22.07
7% of jobs
$22.07 - $24.45
15% of jobs
$24.52 is the 25th percentile. Wages below this are outliers.
$24.45 - $26.84
19% of jobs
The median wage is $27.68 / hr.
$26.84 - $29.22
18% of jobs
$29.22 - $31.60
9% of jobs
$32.79 is the 75th percentile. Wages above this are outliers.
$31.60 - $33.98
10% of jobs
$33.98 - $36.36
7% of jobs
$36.36 - $38.75
5% of jobs
$38.75 - $41.13
4% of jobs
$41.13 - $43.51
3% of jobs
$17
$29
$43
How much do mathematical logic phd jobs pay per hour?
What is a Mathematical Logic PhD?
What are the key skills and qualifications needed to thrive as a Mathematical Logic PhD, and why are they important?
What are the typical research and collaboration opportunities available to someone with a PhD in Mathematical Logic?
What is the difference between Mathematical Logic Phd vs Data Scientist?
| Aspect | Mathematical Logic Phd | Data Scientist |
|---|---|---|
| Required Credentials | PhD in Mathematics or Logic, strong analytical skills | Bachelor's or Master's in Data Science, Statistics, or related fields |
| Work Environment | Academic, research institutions, or specialized think tanks | Corporate, tech companies, or consulting firms |
| Industry Usage | Research, academia, theoretical development | Data analysis, machine learning, business insights |
| Common Search/Comparison | Mathematical Logic Phd vs Data Scientist |
The Mathematical Logic Phd typically focuses on theoretical research and academic roles requiring advanced mathematical and logical expertise. In contrast, a Data Scientist applies statistical and computational skills to analyze data and solve practical business problems. While both roles require strong analytical skills, their work environments and industry applications differ significantly.
What cities are hiring for Mathematical Logic Phd jobs?
Cities with the most Mathematical Logic Phd job openings:
What states have the most Mathematical Logic Phd jobs?
States with the most job openings for Mathematical Logic Phd jobs include:
What job categories do people searching Mathematical Logic Phd jobs look for?
The top searched job categories for Mathematical Logic Phd jobs are:

Full-time
This job post hasย expired 1 day ago.ย Applications are no longer accepted.
Job description
Location: El Segundo CA 90245
TECHNICAL SKILLS
Must Have
- Applied knowledge of Microsoft Office (Word, Excel, PowerPoint, Microsoft Project).
- Experience with Autoclaves
- Experience with programming (Ladder logic, structured text, function block diagram, etc.) temperature/pressure control loops
- Must have a Bachelor of Science degree in a STEM (Science, Technology, Engineering or Mathematics) discipline with 5 years of relevant experience; OR Master of Science degree in a STEM (Science, Technology, Engineering or Mathematics) discipline with 3 years of relevant experience; OR PhD in a STEM (Science, Technology, Engineering or Mathematics) discipline with 1 years of relevant experience.
- Must have experience in one of the following areas: Power Systems, Power, Electrical, Electronics, Construction, Mechanical Design, Engineering, Design, Facilities, Operations, and/or Aerospace.
- Must have the ability to obtain and maintain Program Access within a reasonable period, as determined by the company to meet its business needs.
- Must have the ability to obtain and maintain U.S. Government Secret Clearance within a reasonable period, as determined by the company to meet its business needs.
Nice To Have
- Experience electrical controls and 24-volt systems
- Experience supporting high-rate manufacturing facilities from a maintenance function.
- Experience with boilers and air compressors
- Experience with Building Automation Systems (Trane Tracer, Tridium, etc.)
- Experience with composite production equipment such as 5-axis machining centres, Automated Fiber Placement (AFP) systems, automatic ultrasonic scanning systems, paint booths, ovens
- Experience with Industrial IoT technology
- Experience with large commercial air handling equipment.
- Experience with large refrigerant-based cooling equipment.
- Experience with large-scale electrical infrastructure, to include primary utility power, transformers and power distribution gear, Uninterruptable Power Supply, Diesel Generators, 400Hz power.
- Experience with maintenance management systems (CMMS/CAFM), including Maximo and work order tracking
- Experience with variety of controllers (Rexroth, Fanuc, Allen Bradley, ABB, Honeywell, Siemens, etc.) and I/O troubleshooting
- Experience with VFD's as well as servo-controlled systems.
- Interpret building and utility drawings and make the revisions as required.
JOB DESCRIPTION
Northrop Grumman Aeronautics Systems (NGAS) is seeking a Principal Facilities Engineer (Level 3). This position is located onsite in El Segundo, CA and will support the 9/80A schedule.
Note: This is an individual contributor role that can be filled at either level.
The selected candidate will be responsible for the design, maintenance, reliability and continuous improvement of manufacturing and operational equipment/infrastructure. This role ensures equipment operates safely, efficiently and with minimal downtime while supporting production goals, quality standards, and cost objectives.
Responsibilities may include, but are not limited to:
- Interact with maintenance technicians to troubleshoot issues; serve as a subject matter expert on Mechanical, Electrical, Plumbing, and Automation/Controls.
- Support project engineers by reviewing plans for new builds and modifications to existing infrastructure, ensuring commonality and compatibility with existing equipment/infrastructure, maintainability, and suitability for the stated need and environment.
- Maintain and improve equipment reliability and performance.
- Collaborate with maintenance, production, and quality teams to optimize processes.
- Schedule contractors and prepare statements of work (SOW).
- Take ownership of equipment, including developing preventive maintenance (PM) plans and identifying/maintaining critical spare parts.
- Create and execute Root Cause and Corrective Action (RCCA).
- Conduct Failure Modes and Effects Analysis (FMEA) and equipment health/risk assessments.
- Demonstrate strong organizational skills in managing time, projects, and resources.
- Develop and implement machine monitoring strategies to support reliability-cantered maintenance, predicting machine failures before they occur using vibration, temperature, and other variable analysis.
- Ensure all equipment performs optimally and maintains a high level of uptime.
- Communicate effectively, both verbally and in writing, in a cross-functional environment.
- Aid in developing standard specifications for future equipment purchases.
- Check design deliverables in accordance with industry codes and standards, contract requirements, and company standards (e.g., ASME, NFPA).
- Prepare training documents and standard operating procedures (SOPs) pertaining to facilities, processes, and equipment.
- Support operations integrated product teams (IPTs).
- Basic Qualifications for Principal Facilities Engineer (Level 3):
- Must have a Bachelor of Science degree in a STEM (Science, Technology, Engineering or Mathematics) discipline with 5 years of relevant experience; OR Master of Science degree in a STEM (Science, Technology, Engineering or Mathematics) discipline with 3 years of relevant experience; OR PhD in a STEM (Science, Technology, Engineering or Mathematics) discipline with 1 years of relevant experience.
- Must have experience in one of the following areas: Power Systems, Power, Electrical, Electronics, Construction, Mechanical Design, Engineering, Design, Facilities, Operations, and/or Aerospace.
- Must have the ability to obtain and maintain U.S. Government Secret Clearance within a reasonable period, as determined by the company to meet its business needs.
- Must have the ability to obtain and maintain Program Access within a reasonable period, as determined by the company to meet its business needs.
- Experience with programming (Ladder logic, structured text, function block diagram, etc.) temperature/pressure control loops
- Experience with Autoclaves
Preferred Qualifications:
- Experience with composite production equipment such as 5-axis machining centers, Automated Fiber Placement (AFP) systems, automatic ultrasonic scanning systems, paint booths, ovens
- Experience supporting high-rate manufacturing facilities from a maintenance function.
- Experience electrical controls and 24-volt systems
- Experience with variety of controllers (Rexroth, Fanuc, Allen Bradley, ABB, Honeywell, Siemens, etc.) and I/O troubleshooting
- Experience with VFD's as well as servo-controlled systems.
- Experience with Industrial IoT technology
- Experience with Building Automation Systems (Trane Tracer, Tridium, etc.)
- Experience with maintenance management systems (CMMS/CAFM), including Maximo and work order tracking
- Interpret building and utility drawings and make the revisions as required.
- Experience with boilers and air compressors
- Experience with large commercial air handling equipment.
- Experience with large refrigerant-based cooling equipment.
- Experience with large-scale electrical infrastructure, to include primary utility power, transformers and power distribution gear, Uninterruptable Power Supply, Diesel Generators, 400Hz power.
About PROLIM
Sourced by ZipRecruiter
Industry
It services
Company size
201 - 500 Employees
Headquarters location
Farmington Hills, MI, US