comp.software-eng

1–30 of 36324

0 selected

Satish Chaturvedi

May 19

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

unread,

GOLANG Developer _ Dallas , Texas_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as GOLANG Developer. Job Title:- GOLANG

May 19

Alvaro Miyazawa

May 18

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

unread,

[Final CFP - Extended Deadline] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

*Apologies for multiple copies of this CFP* # Final Call for Papers - Extended Deadline ## Special

May 18

May 16

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

unread,

Ada-Europe - AEiC 2022 early registration deadline approaching

----------------------------------------------------------------------- UPDATED Call for

May 16

Satish Chaturvedi

May 16

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

unread,

Python Developer _ Dallas, TX_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Python Developer. Please share your

May 16

Satish Chaturvedi

May 13

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

unread,

Java Developer _ Atlanta GA_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Java Developer. Please share your

May 13

May 3

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

unread,

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2022

----------------------------------------------------------------------- Call for Participation ***

May 3

Satish Chaturvedi

Apr 29

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

unread,

IWM/WM Deployment Specialist _ Peoria, IL (Remote -anywhere in EST/CST time zone with a mandatory requirement of frequent travel to Clayton, Nc)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as IWM/WM Deployment Specialist. Please

Apr 29

Satish Chaturvedi2

Apr 22

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

unread,

Urgent role_Solution Architect_Kansas City, Missouri / Atlanta GA (Remote prefer Atlanta as an alternate. 20% travel is expected.)_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Solution Architect. Please share your

Apr 22

Satish Chaturvedi

Apr 20

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

unread,

Urgent role_Sr. Java Developer_St. Louis, MO location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Sr. Java Developer. Please share your

Apr 20

Satish Chaturvedi

Apr 19

Urgent role_Test Automation Engineer_(Remote) location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Test Automation Engineer. Please share

unread,

Urgent role_Test Automation Engineer_(Remote) location_12 month plus C2C

Hello, Hope you are doing well. I have an urgent position as Test Automation Engineer. Please share

Apr 19

Alvaro Miyazawa

Apr 7

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

unread,

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

Apr 7

Feb 20

Ada Developer Room at FOSDEM 2022 - videos online

----------------------------------------------------------------------- *** Presentations and video

unread,

Ada Developer Room at FOSDEM 2022 - videos online

----------------------------------------------------------------------- *** Presentations and video

Feb 20

Jan 31

Re: Concise refutation of halting problem proofs V55 [ halt deciders ]

On 1/31/2022 11:15 AM, olcott wrote: > On 1/31/2022 11:05 AM, Mr Flibble wrote: >> On Fri,

unread,

Re: Concise refutation of halting problem proofs V55 [ halt deciders ]

On 1/31/2022 11:15 AM, olcott wrote: > On 1/31/2022 11:05 AM, Mr Flibble wrote: >> On Fri,

Jan 31

Jan 31

CfC Ada-Europe 2022 Conference - 27 Feb - second deadline

----------------------------------------------------------------------- UPDATED Call for

unread,

CfC Ada-Europe 2022 Conference - 27 Feb - second deadline

----------------------------------------------------------------------- UPDATED Call for

Jan 31

Jan 29

Re: Concise refutation of halting problem proofs V52 [ THE KEY QUESTION ]

On 1/29/2022 11:34 AM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org>

unread,

Re: Concise refutation of halting problem proofs V52 [ THE KEY QUESTION ]

On 1/29/2022 11:34 AM, Ben Bacarisse wrote: > Richard Damon <Richard@Damon-Family.org>

Jan 29

Jan 20

Crowdsourcing the search for software engineering data

All, This year I am taking a proactive approach to finding software engineering data. Previously I

unread,

Crowdsourcing the search for software engineering data

All, This year I am taking a proactive approach to finding software engineering data. Previously I

Jan 20

Jan 2

Ada-Europe 2022 Conference - 1st deadline approaching 16 Jan

----------------------------------------------------------------------- 2nd Call for Contributions

unread,

Ada-Europe 2022 Conference - 1st deadline approaching 16 Jan

----------------------------------------------------------------------- 2nd Call for Contributions

Jan 2

Satish Chaturvedi

12/13/21

Urgent role_Data Engineer_Culver City CA (initially remote) location_6-12 month plus C2H

Hello, Hope you are doing well. I have an urgent position for Data Engineer. Please share profile to

unread,

Urgent role_Data Engineer_Culver City CA (initially remote) location_6-12 month plus C2H

Hello, Hope you are doing well. I have an urgent position for Data Engineer. Please share profile to

12/13/21

Alvaro Miyazawa

12/13/21

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

unread,

[CFP] Special Issue "Software Engineering for Robotics" (Robotics and Autonomous Systems Journal)

# Special Issue: Software Engineering for Robotics # Robotics and Autonomous Systems Journal,

12/13/21

11/20/21

Concise refutation of halting problem proofs V22 [ precisely defined sets ]

#include <stdint.h> #include <stdio.h> typedef int (*ptr)(); int H(ptr x, ptr y) { x(y);

unread,

Concise refutation of halting problem proofs V22 [ precisely defined sets ]

#include <stdint.h> #include <stdio.h> typedef int (*ptr)(); int H(ptr x, ptr y) { x(y);

11/20/21

11/19/21

Concise refutation of halting problem proofs V19

typedef void (*ptr)(); int H(ptr x, ptr y) { x(y); // direct execution of P(P) return 1; } // Minimal

unread,

Concise refutation of halting problem proofs V19

typedef void (*ptr)(); int H(ptr x, ptr y) { x(y); // direct execution of P(P) return 1; } // Minimal

11/19/21

11/14/21

Concise refutation of halting problem proofs V12

Glossary of Terms computation that halts a computation is said to halt whenever it enters a final

unread,

Concise refutation of halting problem proofs V12

Glossary of Terms computation that halts a computation is said to halt whenever it enters a final

11/14/21

olcott, … Joe Pfeiffer10

11/11/21

Does the call from P() to H() specify infinite recursion?

On 11/11/2021 6:47 PM, Joe Pfeiffer wrote: > Marcel Mueller <news.5.maazl@spamgourmet.org>

unread,

Does the call from P() to H() specify infinite recursion?

On 11/11/2021 6:47 PM, Joe Pfeiffer wrote: > Marcel Mueller <news.5.maazl@spamgourmet.org>

11/11/21

11/10/21

Re: Olcott wrong about infinite recursion [ H as a pure function ]

On 11/10/2021 3:53 PM, Mr Flibble wrote: > Olcott is barking up the wrong tree re infinite

unread,

Re: Olcott wrong about infinite recursion [ H as a pure function ]

On 11/10/2021 3:53 PM, Mr Flibble wrote: > Olcott is barking up the wrong tree re infinite

11/10/21

10/20/21

CfC 26th Ada-Europe Int. Conf. Reliable Software Technologies

----------------------------------------------------------------------- Call for Contributions 26th

unread,

CfC 26th Ada-Europe Int. Conf. Reliable Software Technologies

----------------------------------------------------------------------- Call for Contributions 26th

10/20/21

10/12/21

Front-End Software Development Engineer

Hi, This is Rakesh Ranjan .I am a Recruiter at Prism IT Corp. One of our client is looking for a

unread,

Front-End Software Development Engineer

Hi, This is Rakesh Ranjan .I am a Recruiter at Prism IT Corp. One of our client is looking for a

10/12/21

Satish Chaturvedi

10/5/21

Urgent role_ReactJS Developer_NEW YORK NY (initially remote) location_6-12 month plus C2H

Hello, Hope you are doing well. I have an urgent position for ReactJS Developer. Please share profile

unread,

Urgent role_ReactJS Developer_NEW YORK NY (initially remote) location_6-12 month plus C2H

Hello, Hope you are doing well. I have an urgent position for ReactJS Developer. Please share profile

10/5/21

Musenga JD木森, Julio Di Egidio3

10/2/21

Survey on how software engineers search for architectural information

On Wednesday, 29 September 2021 at 17:33:45 UTC+2, Julio Di Egidio wrote: > On Tuesday, 28

unread,

Survey on how software engineers search for architectural information

On Wednesday, 29 September 2021 at 17:33:45 UTC+2, Julio Di Egidio wrote: > On Tuesday, 28

10/2/21

Satish Chaturvedi

9/20/21

Urgent role_Python Developer_New York NY (initially remote) location_6-12 month plus C2C

Hello, Hope you are doing well. I have an urgent position for Python Developer. Please share profile

unread,

Urgent role_Python Developer_New York NY (initially remote) location_6-12 month plus C2C

Hello, Hope you are doing well. I have an urgent position for Python Developer. Please share profile

9/20/21

Satish Chaturvedi

9/16/21

Urgent role_.Net Lead Developer_Dallas TX (initially remote) location_6-12 month plus C2C

Hello, Hope you are doing well. I have an urgent position for .Net Lead Developer. Please share

unread,

Urgent role_.Net Lead Developer_Dallas TX (initially remote) location_6-12 month plus C2C

Hello, Hope you are doing well. I have an urgent position for .Net Lead Developer. Please share

9/16/21

Search

Clear search

Close search

Google apps

Main menu