×
Register Here to Apply for Jobs or Post Jobs. X

Postdoc: Language- Security & Formal Reasoning

Job in City of Syracuse, Syracuse, Onondaga County, New York, 13201, USA
Listing for: Byrne Dairy
Full Time position
Listed on 2026-06-18
Job specializations:
  • Research/Development
    Research Scientist
Salary/Wage Range or Industry Benchmark: 60000 - 80000 USD Yearly USD 60000.00 80000.00 YEAR
Job Description & How to Apply Below
Position: Postdoc: Language-Based Security & Formal Reasoning
Location: City of Syracuse

Byrne Dairy is seeking a Postdoctoral Researcher to work in language-based security at Syracuse University. The successful candidate will engage in various projects, including large-scale binary analysis and automated reasoning, while publishing research papers and mentoring students.

The position requires a Doctoral degree in Computer Science and a strong track record in publishing. Experience with static/dynamic security mechanisms and proof assistants is desired. The role offers collaboration opportunities within a dynamic research group.

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary